[2L5-GS-1] Fundamental AI, theory, algorithm:

[2L5-GS-1-02] Proposal and Evaluation of the BDI Logic Inference System GrAssBox Prover

〇Hiraku Gondo¹, Hiroki Sakaji¹, Itsuki Noda¹ (1. Hokkaido University)

Keywords:BDI logic, Deduction System, Theorem Prover

In this study, we propose a new BDI logic inference system called GrassBox Prover, which improves the efficiency of BDI operator computations through approximation using the hill-climbing method, bitwise operations, and setbased pruning. Until now, no systems have been proposed to handle predicate logic in BDI logic due to the significant computational time required for BDI operator processing. To address this issue, our research tackles this challenge by developing a new execution system for BDI logic. Furthermore, we evaluate the proposed GrassBox Prover in terms of the accuracy of approximate solutions related to BDI operators and its performance in proving BDI logical formulas.