Multi-Agent Belief Reasoning in a First-Order Logic Back-Chainer Technical Report

This report gives a brief overview of and a few pointers on belief reasoning for multi-agent systems. The modeling of beliefs is usually done in terms of modal logics which are fairly costly to reason in. We introduce our novel, more practical approach to belief reasoning in a first-order back-chaining system such as Prolog. At the end of the report, we justify the approach by relating some of its properties to those of weak-S5, a common modal belief logic, before concluding with a real-world example illustrating the approach.