UMBC AgentWeb

UMBC ebiquity | AgentWeb | AgentNews | | FIPA | KQML | Knowledge Sharing | NEW! | Help

Knowledge Sharing Effort

The ARPA-sponsored Knowledge Sharing Effort is developing methodology and software for the sharing and reuse of knowledge. Much of this is very relevant for building agent-based systems, such as:

KQML -- Knowledge Query and Manipulation Language

KQML is a language and protocol for exchanging information and knowledge. 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. It 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.

See the KQML page for more information.

KIF -- Knowledge Interchange Format

Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs. It has declarative semantics (i.e. the meaning of expressions in the representation can be understood without appeal to an interpreter for manipulating those expressions); it is logically comprehensive (i.e. it provides for the expression of arbitrary sentences in the first-order predicate calculus); it provides for the representation of knowledge about the representation of knowledge; it provides for the representation of nonmonotonic reasoning rules; and it provides for the definition of objects, functions, and relations.

See the KIF page for more information.

Technology for building shared ontologies

In the context of knowledge sharing, an ontology is specification of a conceptualization. That is, it is a description (like a formal specification of a program) of the concepts and relationships that can exist for an agent or a community of agents. This definition is consistent with the usage of ontology as set-of-concept-definitions, but more general. And it is certainly a different sense of the word than its use in philosophy.

See the ontology page for more information.

Technology for defining shared protocols


Some other interesting URLs are...

  • KSE Overview
  • Stanford KSL Homepage on the KSE
  • Stanford Logic Group's Knowledge Sharing work
  • [an error occurred while processing this directive]