信念と状態遷移を確率的に扱う合理的エージェント向け論理

DOI

書誌事項

タイトル別名
  • A Logic for Rational Agents Which Handles Beliefs and State Transitions Probabilistically

説明

合理的エージェントのモデルであるBDIモデルでは，時相論理体系BDI logicによってエージェントの振る舞いの形式的記述が行える．我々はこれを拡張し，強化学習との結合などを形式化するために必要となる確率的状態遷移の記述を可能にした時相論理体系TOMATOesを提案した．しかしTOMATOesでは，状態遷移を表す時相オペレータは確率的に扱えるが，確率的な信念は扱えなかった．一方，実際のエージェントでは確率的な信念を扱うことが必要な応用も多い．そこで，信念と状態遷移をともに確率的に扱える論理モデルが必要となるが，同時にそれは，合理的エージェントに要請される心的状態の整合性も扱えることをも要請される．本論文ではそのような論理モデルとして，TOMATOesに確率的信念オペレータを導入して拡張した論理体系B-TOMATOesを提案し，また，確率的な信念を用いたエージェントの行為決定の記述例について述べる．

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1390846637104177024
  • DOI
    10.14923/transinfj.2014swp0022
  • ISSN
    18810225
    18804535
  • 本文言語コード
    ja
  • データソース種別
    • JaLC
  • 抄録ライセンスフラグ
    使用不可

問題の指摘

ページトップへ