[논문 리뷰] Spacetimes with Semantics (II), Scaling of agency, semantics, and tenancy

Mark Burgess|arXiv (Cornell University)|2015. 05. 07.

Advanced Algebra and Logic인용 수 4

한 줄 요약

이 논문은 약속 이론을 활용하여 의미적 시공간을 스케일러블한 프레임워크로 모델링하는 것을 제안한다. 여기서 시공간은 자율 에이전트가 약속을 통해 기관성, 의미성, 공간 점유를 정의함으로써 구성된다. 슈퍼 에이전트와 굴곡 규칙을 도입함으로써 다양한 척도에서 동적이고 의미적인 연속성이 가능해지며, 功能 비대칭성, 점유, 다중 점유가 약속 기반 상호작용에서 자연스럽게 유도됨을 보여준다.

ABSTRACT

Using Promise Theory as a calculus, I review how to define agency in a scalable way, for the purpose of understanding semantic spacetimes. By following simple scaling rules, replacing individual agents with `super-agents' (sub-spaces), it is shown how agency can be scaled both dynamically and semantically. The notion of occupancy and tenancy, or how space is used and filled in different ways, is also defined, showing how spacetime can be shared between independent parties, both by remote association and local encapsulation. I describe how to build up dynamic and semantic continuity, by joining discrete individual atoms and molecules of space into quasi-continuous lattices.

연구 동기 및 목표

• 의사결정성과 동역학을 통합한 의미론적 시공간을 모델링하기 위한 스케일러블한 형식 체계를 개발한다.
• 의도, 소유권, 기능 비대칭성과 같은 의미적 성질이 공간 구조에 어떻게 표현될 수 있는지 규명한다.
• 시공간 내 점유와 점유의 개념을 형식화하여 공유, 계층적, 다중 점유 공간 조직을 가능하게 한다.
• 에이전트를 슈퍼 에이전트로 굴곡시키는 규칙을 수립하면서 의미적 정합성과 약속 일관성을 유지한다.
• 약속 기반 의미론을 통해 물리적 공간과 추상적 지식 구조를 통합적으로 표현한다.

제안 방법

• 자율 에이전트를 기관의 단위로 간주하고, 약속을 통한 의사소통을 통해 모델링하기 위해 약속 이론을 기본 계산 체계로 사용한다.
• 에이전트 간의 구조적 및 의미적 관계를 표현하기 위해 약속 행렬과 텐서를 정의한다.
• 계층적 척도 확장을 가능하게 하기 위해 부분공간과 슈퍼 에이전트를 도입하며, 경계 약속이 상호작용을 지배한다.
• 에이전트를 집계하기 위해 굴곡 기법을 적용하여 내부 세부 정보를 추상화하면서 외부 약속 행동을 유지한다.
• 조건부 약속과 구조적 기억을 통해 점유를 형식화하여 국소적 봉인과 원격 연결을 모두 가능하게 한다.
• 게이트웨이와 광고를 통해 스케일 간의 매체화를 실현하고, 다양한 에이전트 척도와 약속 범위 간의 상호작용을 조율한다.

실험 결과

연구 질문

• RQ1 의사결정성의 척도가 여러 수준의 추상화에서 유지되도록 하면서 의미 일관성을 보존할 수 있는가?
• RQ2 개별 에이전트를 슈퍼 에이전트로 굴곡시킬 때 의미적 또는 동역학적 정보를 잃지 않기 위한 규칙은 무엇인가?
• RQ3 공간 점유와 점유를 공식적으로 정의하면 다중 점유, 비대칭성, 자원 복수 사용이 가능해지는가?
• RQ4 기능 비대칭성이 의미적 시공간을 형성하고 비환원적 행동을 가능하게 하기 위해 어떤 역할을 하는가?
• RQ5 약속 기반 시스템이 의미적 시공간에서 계층적, 분산적, 스케일러블한 지식 조직을 어떻게 지원할 수 있는가?

주요 결과

• 슈퍼 에이전트를 통해 의사결정성 척도를 정의할 수 있으며, 고차원에서의 약속 행동은 저차원 에이전트 상호작용에서 유도되어 의미적 연속성이 유지된다.
• 약속의 굴곡은 외부 행동을 유지하면서 내부 세부 정보를 추상화하며, 손실된 정보는 디렉터리 또는 인덱스로 기록된다.
• 점유가 조건부 약속에 의해 지배되는 의미적 관계로서 나타나며, 공간 자원의 개인적 사용과 공유 사용을 모두 가능하게 한다.
• 다중 점유를 통해 하나의 시공간 기반 구조 내에서 여러 개의 논리적 '세계'가 공존할 수 있으며, 이는 게이트키핑과 네임스페이스 계층에 의해 매개된다.
• 기능 비대칭성은 의미의 풍부성을 위해 필수적이며, 단지 동역학적 성질로 환원될 수 없으며, 각 척도에서 새로운 약속 구조가 필요하다.
• 이 프레임워크 내에서 스케일의 경제성이 자연스럽게 발생하며, 책, 클라우드 서비스와 같은 호스팅 구조는 공동 점유 조직과 추상화를 통해 가치를 얻는다.