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