A Logic for Representing Actions, Beliefs, Capabilities, and Plans

Reasoning about Mental States - Formal Theories and Applications

Volume

Reasoning about Mental States - Formal Theories and Applications

Contents

When several artificial agents share an environment, they must be able to communicate in order to coordinate their efforts. It is widely recognized that efficient communication requires the ability to reason about other agents’ beliefs and plans [6]; we argue that it is also important to reason about the capabilities of other agents. We present here a logic in which to represent an agent’s beliefs, its plans concerning future actions and goals, and its capabilities. While there have been several proposals for representing agents’ beliefs and intentions or plans, we believe that it is novel to include representation of agents’ capabilities in such a system.