[2L5-GS-1] 基礎・理論：

[2L5-GS-1-02] BDI logic推論系GrAssBox Proverの提案と評価

〇権藤 拓¹、坂地 泰紀¹、野田 五十樹¹ (1. 北海道大学)

キーワード：BDI logic、推論システム、定理証明器

本研究では、BDIオペレーターに関する計算を山登り法による近似計算とビット演算、集合の枝刈りを用いて効率化した、新たなBDI logicの実行系GrassBox Proverを提案する。現在まで、BDIオペレーターに関する計算が非常に時間を要することから、BDI Logicの述語論理を処理するためのシステムは提案されてこなかった。そこで、本研究はこの問題にチャレンジし、新たなBDI logicの実行系の構築を行った。加えて、提案したGrassBox Proverについて、BDIオペレーターに関する近似解の精度およびBDI論理式の証明による性能評価を行った。