TL;DR: The Knowledge Query and Manipulation Language (KQML) as mentioned in this paper is a new language and protocol for exchanging information and knowledge, which can be used as a language for an application program to interact with an intelligent system or for two or more intelligent systems to share knowledge.
Abstract: 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 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 can be used as a language for an application program to interact with an intelligent system or for two or more intelligent systems to share knowledge in support of cooperative problem solving. KQML focuses on an extensible set of performatives, which defines the permissible operations that agents may attempt on each other’s knowledge and goal stores. The performatives comprise a substrate on which to develop higher-level models of inter-agent 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 facilitators 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.
TL;DR: It is suggested that KQML can offer an all purpose communication language for software agents that requires no limiting pre-commitments on the agents' structure and implementation and a semantic framework for the language is proposed.
Abstract: We investigate the semantics for Knowledge Query Manipulation Language (KQML) and we propose a semantic framework for the language. KQML is a language and a protocol to support communication between software agents. Based on ideas from speech act theory, we propose a semantic description for KQML that associates descriptions of the cognitive states of agents with the use of the language's primitives (performatives). We use this approach to describe the semantics for the basic set of KQML performatives. We also investigate implementation issues related to our semantic approach. We suggest that KQML can offer an all purpose communication language for software agents that requires no limiting pre-commitments on the agents' structure and implementation. KQML can provide the Distributed AI, Cooperative Distributed Problem Solving and Software Agents communities with an all purpose language and environment for intelligent inter-agent communication.
TL;DR: The underlying technologies of ParMan are described, based on CLP(R), the Knowledge Query and Manipulation Language, and knowledge-based facilitation agents, and represent a significant extension of parametric design to a distributed setting.
Abstract: ParMan combines the use of agent communication protocols, constraint logic programming, and a graphical presentation interface to yield an intelligent parametric design tool supporting collaborative engineering. This provides one of the first complete, end-to-end applications of distributed knowledge-level communication among engineering tools, as envisioned by PACT (Cutkosky et al. 1993). In addition, it represents a significant extension of parametric design to a distributed setting. This paper describes the underlying technologies of ParMan, based on CLP(R), the Knowledge Query and Manipulation Language, and knowledge-based facilitation agents.
TL;DR: The Knowledge Query and Manipulation Language (KQML) as mentioned in this paper is a new language and protocol for exchanging information and knowledge, which is used in the ARPA Knowledge Sharing Effort.
Abstract: 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.