KQML as an agent communication language
Software agents
Semantics and conversations for an agent communication language
Readings in agents
Active Databases and Agent Systems - A Comparison
RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
AgenTalk: Describing Multiagent Coordination Protocols with Inheritance
TAI '95 Proceedings of the Seventh International Conference on Tools with Artificial Intelligence
Verifiable Semantics for Agent Communication Languages
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Designing Conversation Policies using Joint Intention Theory
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Standardizing Agent Communication
EASSS '01 Selected Tutorial Papers from the 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School on Multi-Agent Systems and Applications
Reliable Agent Communication - A Pragmatic Perspective
PRIMA '99 Proceedings of the Second Pacific Rim International Workshop on Multi-Agents: Approaches to Intelligent Agents
Designing Agent Communication Languages for Multi-agent Systems
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Integrating Interaction Protocols and Internet Protocols for Agent-Mediated E-Commerce
Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop)
Challenges in Large-Scale Open Agent Mediated Economies
AAMAS '02 Revised Papers from the Workshop on Agent Mediated Electronic Commerce on Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems
Meta-level Architecture for Executing Multi-agent Scenarios
Proceedings of the 5th Pacific Rim International Workshop on Multi Agents: Intelligent Agents and Multi-Agent Systems
Temporal Logics for Representing Agent Communication Protocols
Agent Communication II
Using Social Commitments to Control the Agents' Freedom of Speech
Agent Communication II
A theoretical framework on proactive information exchange in agent teamwork
Artificial Intelligence
Flexible Communication of Agents based on FIPA-ACL
Electronic Notes in Theoretical Computer Science (ENTCS)
An operational framework for the semantics of agent communication languages
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Competence checking for the global e-service society using games
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Reasoning about agents and protocols via goals and commitments
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Agent interaction semantics by timed operating instructions
AC'04 Proceedings of the 2004 international conference on Agent Communication
Toward a suite of performatives based upon joint intention theory
AC'04 Proceedings of the 2004 international conference on Agent Communication
Normative pragmatics for agent communication languages
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Reusable components for implementing agent interactions
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
| Hi-index | 0.00 |
There are fundamental limitations on using mental attitudes to formalise the semantics of an Agent Communication Language (ACL). Instead, we define a general semantic framework for an ACL in terms of protocols. We then argue that the proper role of mental attitudes is to link what an agent 'thinks' about the content of a message to what it 'does' in response to receiving that message. We formalise this connection through normative and informative specifications and demonstrate its use in communication between two BDI-style agents.