/ プログラム/ 発表一覧/ 著者一覧/ 企業展示一覧/ jsai2013ホーム /

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

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2013 このエントリーをはてなブックマークに追加

06月04日(Tue) 18:40〜20:20 B会場(-国際会議場201号室)
1B5 基礎・理論「基礎・理論-1」

演題番号1B5-4
題目連続した状態空間を扱うエージェント向け論理における神託を伴う演繹系
著者新出 尚之(奈良女子大学研究院自然科学系情報科学領域)
藤田 恵(奈良女子大学大学院人間文化研究科)
後藤 勇樹(京都大学 数理解析研究所)
高田 司郎(近畿大学理工学部)
時間06月04日(Tue) 19:20〜19:40
概要著者らは、実世界における合理的エージェントの行為選択に関する研究の一環として、BDI logicを拡張して、行為の結果到達する状態が連続的な確率分布をするような時相論理体系C-TOMATOesを論理モデルとして提案した。しかし、このような論理には演繹系を与えることは困難である。本発表ではその部分的な試みとして、確率分布に関しては数学的計算を神託として用いることによる演繹系の構築について考察する。
論文PDFファイル