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

抄録

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