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

Becky Thomas

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.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.