Handbook of theoretical computer science (vol. B)
A semantics approach for KQML—a general purpose communication language for software agents
CIKM '94 Proceedings of the third international conference on Information and knowledge management
KQML as an agent communication language
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Reasoning about knowledge
Communicative actions for artificial agents
Software agents
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
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems
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
A protocol-based semantics for an agent communication language
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Syntax, semantics and pragmatics in communication
Proceedings of the 7th International Conference on Semantic Systems
| Hi-index | 0.01 |
The ability to communicate is one of the most important properties of agents. 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 attempts to define the ACL semantics and pragmatics within the same framework, including an intentional view of speaker’s meaning and a pragmatic level based on the normative notion of right. The framework is developed by defining a logic with modal and deontic operators grounded in a computational model. The pragmatics takes the form of declarative rules.