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