KQML as an agent communication language

This paper describes the design of and experimentation with the Knowledge Query and Manipulation Language (KQML), a new language and protocol for exchanging information and knowledge. This work is part of a larger effort, the ARPA Knowledge Sharing Effort which is aimed at developing techniques and methodology for building large-scale knowledge bases which are sharable and reusable. KQML is both a message format and a message-handling protocol to support run-time knowledge sharing among agents. KQML focuses on an extensible set of performatives, which defines the permissible “speech acts” agents may use and comprise a substrate on which to develop higher-level models of interagent interaction such as contract nets and negotiation. In addition, KQML provides a basic architecture for knowledge sharing through a special class of agent called communication facilitors which coordinate the interactions of other agents. The ideas which underlie the evolving design of KQML are currently being explored through experimental prototype systems which are being used to support several testbeds in such areas as concurrent engineering, intelligent design and intelligent planning and scheduling.

[1]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[2]  Robert M. MacGregor,et al.  The Loom Knowledge Representation Language. , 1987 .

[3]  David E. Wilkins,et al.  Practical planning - extending the classical AI planning paradigm , 1989, Morgan Kaufmann series in representation and reasoning.

[4]  Timothy W. Finin,et al.  Enabling Technology for Knowledge Sharing , 1991, AI Mag..

[5]  Jay M. Tenenbaum,et al.  An intelligent agent framework for enterprise integration , 1991, IEEE Trans. Syst. Man Cybern..

[6]  Matthew L. Ginsberg,et al.  Knowledge Interchange Format: the KIF of Death , 1991, AI Mag..

[7]  Tim Finin,et al.  View-Concepts: Knowledge-Based Access to Databases , 1992, CIKM 1992.

[8]  Peter F. Patel-Schneider,et al.  The DARPA Knowledge Sharing Effort: A Progress Report , 1997, KR.

[9]  Tim Finin,et al.  A high-level language and protocol to support intelligent agent interoperability , 1992 .

[10]  Stefano Ceri,et al.  Toward megaprogramming , 1992, CACM.

[11]  Tim Finin,et al.  A knowledge query and manipulation language for in-telligent agent interoperability , 1992 .

[12]  Yigal Arens,et al.  Planning and Reformulating Queries for Semantically-Modeled Multidatabase Systems , 1992, CIKM 1992.

[13]  M. R. Genesereth,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.

[14]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[15]  Tim Finin,et al.  Information and Knowledge Management Expanding the Definition of “Database” , 1992, Lecture Notes in Computer Science.

[16]  Charles J. Petrie,et al.  Enterprise Integration: Lessons from SHADE and PACT , 1992 .

[17]  Mark R. Cutkosky,et al.  PACT: an experiment in integrating concurrent engineering systems , 1993, Computer.

[18]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[19]  Gregory R. Olsen,et al.  SHADE: Technology for Knowledge-based Collaborative Engineering , 1993 .

[20]  Michael R. Genesereth,et al.  Software agents , 1994, CACM.

[21]  Timothy W. Finin,et al.  A semantics approach for KQML—a general purpose communication language for software agents , 1994, CIKM '94.

[22]  Jon Dukes-Schlossberg,et al.  Cosmos: A System for Supporting Engineering Negotiation , 1994 .

[23]  Craig A. Knoblock,et al.  Query Processing in an Information Mediator , 1994 .

[24]  Mark S. Fox,et al.  The Information Agent: an infrastructure agent supporting collaborative enterprise architectures , 1994, Proceedings of 3rd IEEE Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.

[25]  Timothy W. Finin,et al.  Kqml: an information and knowledge exchange protocol , 1994 .

[26]  Marie Bienkowski,et al.  SOCAP: System for Operations Crisis Action Planning , 1996 .