ECASL: a model of rational agency for communicating agents

Authors:
Shakil M. Khan;Yves Lespérance
Affiliations:
York University, Toronto, ON, Canada;York University, Toronto, ON, Canada
Venue:
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Year:
2005

Citing 13
Cited 3

Intention is choice with commitment

Artificial Intelligence
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
ConGolog, a concurrent programming language based on the situation calculus

Artificial Intelligence
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications

Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
The cognitive agents specification language and verification environment for multiagent systems

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
A logic of intention with cooperation principles and with assertive speech acts as communication primitives

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications

ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Knowledge, action, and the frame problem

Artificial Intelligence
On the Semantics of Deliberation in Indigolog—from Theory to Implementation

Annals of Mathematics and Artificial Intelligence
Specifying and verifying multiagent systems using the cognitive agents specification language (casl)

Specifying and verifying multiagent systems using the cognitive agents specification language (casl)
ARTIMIS: natural dialogue meets rational agency

IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
What is planning in the presence of sensing?

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Agent communication and institutional reality

AC'04 Proceedings of the 2004 international conference on Agent Communication

On the semantics of conditional commitment

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
On the Semantics of Conditional Commitment

Agent Communication II
Logical foundations for a rational BDI agent programming language

ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.