Agent Communication Languages and Protocols
Agent Communication Languages
[an error occurred while processing this directive]
Languages
- KQML
-
Knowledge sharing effort tools and languages
- A Response to an OMG RFI on Common Facilities - Common Intelligent Agent
Services Specification (CIASS) based on KQML.
- An MIT implementation of AOP, an interpreter for programs
written in a language called A0 can be FTP'ed here. A0 is
a first stab at a programming language for the paradigm of
Agent-Oriented Programming. It is currently under development at
Stanford under the direction of Yoav Shoham.
- AgenTalk is a
coordination protocol description language for multiagent systems. In
the distributed artificial intelligence area, many coordination
protocols such as the contract net protocol have been proposed, and
many application-specific protocols will be required as more software
agents start to be built. AgenTalk allows coordination protocols to be
defined incrementally and to be easily customized to suit application
domains by incorporating an inheritance mechanism. AgenTalk is being
co-developed by NTT Communication Science Laboratories and Ishida
Laboratory, Department of Information Science, Kyoto University.
Protocols...
- Paper, Communication:
Multi-Agent System Protocol Language Specification, Alejandro
Quintero, MarAa Eugenia Ucr"s and Silvia Takahashi, Universidad de los
Andes. Abstract: " ... The language described in this article allows
the specification of different interaction protocols that may have
entities which belong to a multi-agent modeled system. To show an
application of the language, we show a system that models the
interaction of a research group, where some specific members want to
validate or dissolve a hypothesis formulated by an author. This
mechanism is represented as a consensual knowledge base. Consensual
knowledge bases are supporting tools to exchange ideas and knowledge
between group members and/or different groups or entities
(researchers, organizations, etc.). ... This language allows the
formal design of the interaction protocols between agents, using modal
logic operators, world state modeling, and actions' sequentiality and
concurrency. 5/19/96
Comments and suggestions to
Tim Finin .... finin@umbc.edu