[論文レビュー] Modeling Ambiguity in a Multi-Agent System

Christof Monz|ArXiv.org|Sep 19, 2000

Multi-Agent Systems and Negotiation参考文献 7被引用数 4

ひとこと要約

この論文は、Kripke構造とGriceの規範に制約けたTELL関数を用いて、マルチエージェント通信における曖昧さをモデル化し、曖昧な発話がエージェント間の相互知識に与える影響を形式的に分析することを可能にする。文脈的曖昧さと意味的曖昧さを区別し、論理的選言と曖昧表現の情報更新ダイナミクスの違いを示している。

ABSTRACT

This paper investigates the formal pragmatics of ambiguous expressions by modeling ambiguity in a multi-agent system. Such a framework allows us to give a more refined notion of the kind of information that is conveyed by ambiguous expressions. We analyze how ambiguity affects the knowledge of the dialog participants and, especially, what they know about each other after an ambiguous sentence has been uttered. The agents communicate with each other by means of a TELL-function, whose application is constrained by an implementation of some of Grice's maxims. The information states of the multi-agent system itself are represented as a Kripke structures and TELL is an update function on those structures. This framework enables us to distinguish between the information conveyed by ambiguous sentences vs. the information conveyed by disjunctions, and between semantic ambiguity vs. perceived ambiguity.

研究の動機と目的

• 曒意味な表現の弁別的効果を形式化すること。
• 曒意味な発話を聞いた後、エージェントがどのように知識状態を更新するかをモデル化すること。
• 対話文脈における意味的曒意味さと認識的曒意味さの違いを特定すること。
• 曒意味さが相互知識（エージェントが他者の知識について知っていること）に与える影響を分析すること。
• 曒意味表現の情報的効果と選言的代替案の情報的効果を対比すること。

提案手法

• エージェントの知識状態をKripke構造として表現し、認識的知識をモデル化すること。
• Kripke構造への更新メカニズムとしてTELL関数を定義し、通信をシミュレートすること。
• 合理的な通信を反映させるために、Griceの会話規範の実装でTELLを制約すること。
• 形式的意味論を用いて、意味的曒意味さ（複数の意味）と認識的曒意味さ（意図された意味が不明）を区別すること。
• 曒意味な発話が認識的状態に与える更新の仕組みが、選言的文とはどのように異なるかを分析すること。
• 動的認識論理を用いて、曒意味な通信後の知識の進化をモデル化すること。

実験結果

リサーチクエスチョン

• RQ1 曒意味な発話は、マルチエージェントシステム内のエージェントの認識的状態にどのように影響するか？
• RQ2 情報更新の観点から、意味的曒意味さと認識的曒意味さの違いは何か？
• RQ3 曒意味な発話が発せられた後、エージェントはどのようにして他者が何を知っているかを理解するのか？
• RQ4 TELL関数は、曒意味表現と選言に対して、知識構造をどのように異なる方法で更新するか？
• RQ5 Griceの規範は、この枠組みにおいて、曒意味表現の解釈と通信をどのように制約するか？

主な発見

• 論理的に同等であっても、曒意味な表現は選言よりも情報が曇ったものとなる。
• このフレームワークは、意味的曒意味さ（複数の意味）と認識的曒意味さ（意図された意味が不明）を明確に区別する。
• 曒意味な発話を通じて、エージェント同士が互いの信念について同じ知識を持たないことがあり、認識的不確実性が生じる。
• TELL関数は、合理的でGrice的通信を反映する形でKripke構造を更新し、会話の規範と整合性を保つ。
• このモデルは、相互知識が曒意味さに関しては、情報状態の構造と通信プロトコルに依存することを示している。
• 選言は曒意味表現よりも明確な認識的更新をもたらす。なぜなら、選言は明示的に代替意味を提示するからである。