The ABC of Rational Agent Modelling

摘要

We introduce a logical model of rational agency incorporating the key notions of ability, belief, and confidence, the last of these capturing a flexible motivational attitude. Since the logical basis we propose is relatively simple, formal descriptions are amenable to both direct execution and formal verification. In particular, we show how this formalism can provide the basis for a high-level development method for both individual rational agents and multi-agent systems.