エージェントの相互信念を扱う拡張BDI logic の演繹体系

• 新出, 尚之

• 高田, 司郎

• 櫟粛之

書誌事項

タイトル別名

• エージェント ノ ソウゴ シンネン オ アツカウ カクチョウ BDI logic ノ エンエキタイケイ
• A Deduction System of Extended BDI logic to Handle Mutual Belief

抄録

BDI logic は，合理的エージェントの記述に用いられる時相論理体系で，CTL*にエージェントの心的状態を記述する様相オペレータを導入し，述語論理に拡張したものである．我々は，CTL ベースの命題論理に限定したBDI logic に対し，sequent calculus による完全な演繹体系を与えた．しかし，もともとのBDI logic は，単独のエージェントの心的状態に対応する様相オペレータしか持たず，マルチエージェント環境でのエージェントの相互心的環境の記述はできない．本論文では，我々の演繹体系に対し，マルチエージェント環境におけるエージェントごとの心的状態様相オペレータ，および相互心的状態の記述を許すように拡張したものを与え，またその体系によるいくつかの証明の例を示す．

BDI logics are extensions of the predicate variant of CTL* to represent the behavior of rational agents by introducing mental state operators. We previously presented deduction systems for CTL-based propositional BDI logics using sequent calculus. However, since the original BDI logics have only operators to represent the mental states of individual agents, they cannot handle mutual mental states for multiple agents. In this paper, we extend our deduction systems so that we can handle individual and mutual mental states for multiple agents in multi-agent environments. We also show some examples of proof in our system.

収録刊行物

• 情報処理学会論文誌数理モデル化と応用（TOM）

  情報処理学会論文誌数理モデル化と応用（TOM） 46 (SIG2(TOM11)), 85-99, 2005-01-15

  東京 : 情報処理学会

キーワード

• オリジナル論文

詳細情報

• CRID: 1050282812868482560
• NII論文ID: 110002768732
• NII書誌ID: AA11464803
• ISSN: 18827780
• ISSN: 03875806
• NDL書誌ID: 7237457
• Web Site: http://id.nii.ac.jp/1001/00017221/
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I7237457
• 本文言語コード: ja
• 資料種別: article
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles