-
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
-
Overview
-
Some other interesting URLs are...
-
- KSE Overview
-
Stanford KSL Homepage on the KSE
-
Stanford Logic Group's Knowledge Sharing work