[論文レビュー] Spacetimes with Semantics (II), Scaling of agency, semantics, and tenancy

Mark Burgess|arXiv (Cornell University)|May 7, 2015

Advanced Algebra and Logic被引用数 4

ひとこと要約

本稿では、アgeny、意味、空間的占有を定義するための約束を用いる自律的エージェントによって構造化される、意味的時空をスケーラブルにモデル化するフレームワークを提案する。スーパーエージェントと粗粒度化ルールを導入することで、スケールを越えた動的かつ意味的連続性を実現し、機能的非対称性、占有、マルチテナント性が約束に基づく相互作用から自然に生じることを示している。

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 約束ベースのシステムは、意味的時空における階層的で分散的かつスケーラブルな知識組織をどのように支援できるか？

主な発見

• スーパーエージェントを通じてアジェンシーのスケールを定義でき、上位レベルでの約束行動が下位レベルのエージェント相互作用から導かれるため、意味的連続性が保持される。
• 約束の粗粒度化は、外部行動を維持しながら内部詳細を抽象化するが、失われた情報を記録するディレクトリやインデックスがその情報を保持する。
• テナントは条件付き約束によって支配される意味的関係として生じ、空間リソースの私的利用と共有利用の両方が可能になる。
• マルチテナント性により、単一の時空の構造内に複数の論理的「世界」が共存可能となり、ゲートキーピングとネームスペースの階層がその媒介を担う。
• 機能的非対称性は意味的豊かさにとって不可欠であり、単に動的性質に還元することはできず、各スケールで新たな約束構造が必然的に必要となる。
• 本フレームワークでは、スケールの経済が自然に生じ、例えば書籍やクラウドサービスといったホスティング構造が、集団的なテナント組織と抽象化を通じて価値を獲得する。