連続した状態空間を扱うエージェント向け論理における神託を伴う演繹系

書誌事項

タイトル別名
  • レンゾク シタ ジョウタイ クウカン オ アツカウ エージェント ムケ ロンリ ニ オケル シンタク オ トモナウ エンエキケイ

この論文をさがす

抄録

<p>著者らは、実世界における合理的エージェントの行為選択に関する研究の一環として、BDI logicを拡張して、行為の結果到達する状態が連続的な確率分布をするような時相論理体系C-TOMATOesを論理モデルとして提案した。しかし、このような論理には演繹系を与えることは困難である。本発表ではその部分的な試みとして、確率分布に関しては数学的計算を神託として用いることによる演繹系の構築について考察する。</p>

収録刊行物

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

問題の指摘

ページトップへ