Logical Model of Autonomous Agents based on Non-classical Logic

Abstract

In the BDI model, a well-known model of autonomous agents, the BDI logic is used for formalization. It extends the classical logic by introducing modal operators representing mental states and tense operators. However,real-world agents may obtain inaccurate information, and retain inconsistent beliefs. Extending the classical logic which has the explosion law cannot handle such situations well. In this paper, we propose a logic system for agents that can handle such situations, and provides a discussion of its relevance to agent development environments.