A Model of Rational Agency for Communicating Agents

The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended version, ECASL, which incorporates a formal model of means-ends reasoning suitable for a multiagent context. In particular, we define a simple model of cooperative ability, give a definition of rational plans, and show how an agent's intentions play a role in determining her next actions. This bridges the gap between intentions to achieve a goal and intentions to act. We also show that in the absence of interference, an agent that is able to achieve a goal, intends to do so, and is acting rationally will eventually achieve it. Categories and Subject Descriptors I.2 [Artificial Intelligence]: Problem Solving, Control Methods, and Search; I.2.11 [Artificial Intelligence]: Distributed Artificial Intelligence--Multiagent systems General Terms Theory, Design, Verification Keywords Agent Theory, Rationality, Intent...

• Type: Conference
• Year: 2004
• Where: ACOM
• Authors: Shakil M. Khan, Yves Lespérance
• Keywords: ACOM 2004, Agent's Intentions, Artificial Intelligence, Cognitive Agent Specification, Intelligent Agents