Logical Model of Autonomous Agents based on Non-classical Logic
Naoyuki Nide · Transactions of the Japanese Society for Artificial Intelligence · 2025
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.