Agent Communication Language: Toward a Semantics Based on Success, Satisfaction, and Recursion

Authors:
Brahim Chaib-draa;Daniel Vanderveken
Affiliations:
-;-
Venue:
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Year:
1998

Citing 4
Cited 3

On the Relationship Between BDI Logics and Standard Logics of Concurrency

ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
BDI Models and Systems: Bridging the Gap

ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Emergent Mental Attitudes in Layered Agents

ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Intention Reconsideration Reconsidered

ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages

Content-Based Routing as the Basis for Intra-Agent Communication

ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
A Classification Schema to Volumes 1 to 5 of the Intelligent Agents Series

ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Towards a conversational language for artificial agents in mixed community

CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Searle and Vanderveken's model of speech acts is undoubtedly an adequate model for the design of communicating agents because it offers a rich theory which can give important properties of protocols that we can formalize properly. We examine this theory by focusing on the two fundamentals notions, success and satisfaction, which represent a systematic, unified account of both the truth and the success conditional aspects. Then, we propose an adequate formalism-the situation calculus-for representing these two notions (in a recursive way) in the context of agent communication language. The resulting framework is finally used for (1) the analysis and interpretation of speech acts; (2) the semantics and descriptions of agent communication languages.