deduction systems for bdi logics using sequent calculus
In this paper, we present sound and complete deduction systems for propositional BDI logics by using Gentzen's sequent calculus. In these systems, we can construct the proof of a formula by using an extension of Wang's algorithm. Therefore, these systems are suitable for applications such as automatic proving and specification checking in BDI logics.
deduction system bdi logic sequent calculus rational agents