Handbook of theoretical computer science (vol. B)
KQML as an agent communication language
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Semantic Issues in the Verification of Agent Communication Languages
Autonomous Agents and Multi-Agent Systems
What Is a Conversation Policy?
Issues in Agent Communication
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
A Policy Language for a Pervasive Computing Environment
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Rights and Commitment in Multi-Agent Agreements
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Advanced Technology Track - Volume 5
Rights and Argumentation in Open Multi-Agent Systems
Artificial Intelligence Review
A protocol-based semantics for an agent communication language
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Semantics and pragmatics for agent communication
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
A Temporal Logic of Robustness
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
An agent framework for processing FIPA-ACL messages based on interaction models
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
| Hi-index | 0.00 |
The ability to communicate is one of the crucial properties of agents. In this paper a normative approach to the pragmatics of Agent Communication Languages (ACLs) is proposed. In an open environment, like the Internet, in which agents are designed in many different ways, it is important to clearly establish the meaning of a standard language for artificial agents. Traditionally, the pragmatics of ACLs take the form of interaction protocols, which only specify the order in which messages occur without taking into account the content of the message, or the role of the agents. We present a unified ACL which includes the semantics and pragmatics of ACLs, focusing on a pragmatic level based on the social and normative notion of right. The framework is developed extending CTL with modal and deontic operators, and the pragmatics are expressed by means of a prolog-like declarative language.