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