Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Communications of the ACM
Communicative actions for artificial agents
Software agents
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
Desiderata for agent argumentation protocols
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Proving properties of open agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Guaranteeing Properties for E-commerce Systems
AAMAS '02 Revised Papers from the Workshop on Agent Mediated Electronic Commerce on Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems
A Dialogue Game Protocol for Agent Purchase Negotiations
Autonomous Agents and Multi-Agent Systems
Interaction is meaning: a new model for communication in open systems
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Commitment-based and dialogue-game-based protocols: new trends in agent communication languages
The Knowledge Engineering Review
Empirical-Rational Semantics of Agent Communication
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
DIAGAL: An Agent Communication Language Based on Dialogue Games and Sustained by Social Commitments
Autonomous Agents and Multi-Agent Systems
Dynamic semantics for agent communication languages
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Complex open-system design by quasi-agents: process-oriented modeling in agent-based systems
ACM SIGSOFT Software Engineering Notes
On the formal semantics of speech-act based communication in an agent-oriented programming language
Journal of Artificial Intelligence Research
A new logical semantics for agent communication
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Deliberation dialogues during multi-agent planning
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
Formulating agent communication semantics and pragmatics as behavioral expectations
AC'04 Proceedings of the 2004 international conference on Agent Communication
Specifying and analysing agent-based social institutions using answer set programming
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
4LeGE-WG'04 Proceedings of the 4th international LeGE-WG conference on Towards a European Learning Grid Infrastructure: progressing with a European Learning Grid
Hi-index | 0.00 |
The dilemma encountered in the design of an agent communication language (ACL) for an open society is that it should be based on externally observable phenomena yet it should capture something of the intuitions behind the high level abstractions typically found in internal mental states. Our solution treats an ACL message as a declarative statement that is given a procedural interpretation by a denotational semantics. This defines a speech act as a function between states. These states are social states which store public information including expressed mental attitudes and control variables. Expressed mental attitudes are externally observable and capture the conventional public meaning of communication. The variables control the flow of conversation in a protocol. We conclude firstly that since the denotational semantics is based on externally observable phenomena, it is possible to verify compliance and prove properties of protocols. Secondly, since the semantics is more expressive than behavioural specifications, it lays the foundation for high-level communication between intelligent agents.