[論文レビュー] A static theory of promises

J.A. Bergstra, Mark Burgess|arXiv (Cornell University)|Oct 18, 2008

Psychology of Social Influence参考文献 16被引用数 20

ひとこと要約

この論文は、多エージェントシステムにおける不確実性を低減するための義務の単純で実用的な代替手段として、静的プロンプティス理論を提唱する。プロンプティスは明示的かつ局所的なコミットメントとしてモデル化され、形式的に分析・検証可能である。論文は、プロンプティスが義務よりも論理的に優先され、分散システムおよび組織的文脈における協調性においてより効果的であることを示している。

ABSTRACT

We discuss for the concept of promises within a framework that can be applied to either humans or technology. We compare promises to the more established notion of obligations and find promises to be both simpler and more effective at reducing uncertainty in behavioural outcomes.

研究の動機と目的

• 多エージェントシステムにおける義務とは明確に区別される、プロンプティスを根本的で独立した概念として確立すること。
• プロンプティスが局所的かつ検証可能である性質のおかげで、義務よりも不確実性をより効果的に低減できることを示すこと。
• 技術分野、法的分野、組織行動におけるプロンプティスのモデル化のための形式的枠組みを提供すること。
• エンジニアリングおよび分散システムにおける協調性の観点から、義務よりもプロンプティスが単純で実用的であることを主張すること。
• プロンプティス理論を、計算機科学、経済学、経営科学に応用可能な非形式的論理およびシステムモデリングの基盤として位置づけること。

提案手法

• エージェントが将来の行動や状態について行う文書化された明示的意図としてプロンプティスをモデル化すること。
• 暗黙的プロンプティスと明示的プロンプティスを区別し、ソースレベルでの検証可能性と制御性に重点を置くこと。
• 意図、コミットメント、プロンプティス本体を含む、形式的なプロンプティス構造を導入すること。
• コンポーネント（例：ルータ、論理ゲート、ヘルプデスク）にプロンプティスを割り当てることで、技術的システムへのプロンプティス理論の適用を行うこと。
• 非形式的論理および哲学的分析を用いて、プロンプティス評価、信頼、および偽善の考察を行うこと。
• 論理的および実用的分析を通じてプロンプティスと義務を比較し、プロンプティスは設計上一貫性を有するが、義務は複数の出所から矛盾を生じうることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、多エージェントシステムにおける静的かつ検証可能な構造としてプロンプティスを形式的にモデル化できるか？
• RQ2 なぜプロンプティスは、エージェント行動における不確実性を義務よりも効果的に低減できるのか？
• RQ3 プロンプティス、意図、コミットメントの間の論理的および実用的関係は何か？
• RQ4 プロンプティスは、システム理論において義務とは独立した基盤的概念として機能できるか？
• RQ5 プロンプティスの局所性は、非局所的な義務と比較して、どのように協調性を向上させるか？

主な発見

• プロンプティスは、多エージェント間の相互作用における不確実性低減において、義務よりも単純で効果的である。
• プロンプティスは、約束行動を制御できるエージェントによって提示される限り、本質的に一貫性を有するが、義務は複数の出所から矛盾を生じうる。
• プロンプティスの出所は局所的であるため、エージェントレベルでの検証と衝突解決が可能であり、分散された義務とは対照的である。
• プロンプティスは、倫理的・法的義務とは独立して形式的に文書化・検証可能であるため、技術的システムに適している。
• プロンプティス理論は、分散コンピューティングおよび組織設計において、義務ベースのモデルを上回る分散型で信頼に基づく協調モデルを支援する。
• 論文は、論理的および実用的優先順位において、義務よりもプロンプティスが先に来るという結論に至る。これは、従来の義務がより根本的であるという見解に挑戦する。