A Model of Rational Agency for Communicating Agents

13 years 1 months ago
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...
Shakil M. Khan, Yves Lespérance
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where ACOM
Authors Shakil M. Khan, Yves Lespérance
Comments (0)