🚀 go-pugleaf

           Department of Computer Science, University of Toronto
              (GB = Galbraith Building, 35 St. George Street)

       -------------------------------------------------------------

                                    AI
              GB221, at 11:00 a.m., Thursday 19 November 1992

                                 Tim Finin
   Computer Science Department, University of Maryland Baltimore County

                    "A Knowledge Query and Manipulation
             Language for Intelligent Agent Interoperability"

This talk will present an overview of the DARPA Knowledge Sharing Effort
with a special emphasis on the development of KQML, a language and protocol
intended to support interoperability among intelligent agents in a
distributed application.

The overall goal of the effort is to develop the technical infrastructure
to support the sharing of knowledge among systems.  Four specific areas are
being investigated: (i) mechanisms for translation between knowledge bases
represented in different languages; (ii) common versions of representation
and reasoning languages and modules; (iii) languages and protocols for
run-time communication between separate knowledge-based modules; and (iv)
libraries of ``ontologies'', i.e., pre-fabricated foundations for
application-specific KBs in a particular topic area.

The concepts and prototype systems are being explored in two current
research initiatives. The first is part of the DARPA/Rome Planning
Initiative, and involves the collaboration and cooperation of a collection
of planning, scheduling, resource control, and temporal reasoning programs.
The second is the Palo Alto Collaborative Testbed, and involves
metropolitan-area communication among software, circuit, power, sensor, and
mechanical CAD systems.