The DARPA Knowledge Sharing Effort: A Progress Report

Building knowledge-based systems today usually entails constructing a new knowledge base from scratch. Even if several groups of researchers are working in the same general area, such as medicine or electronic diagnosis, each team must develop its own knowledge base from scratch. The cost of this duplication of effort has been high and will become prohibitive as we build larger and larger systems. Furthermore, lack of methodology for sharing and communicating knowledge poses a signicant road-block in developing large multi-center research projects such as DARPA/Rome Laboratory Planning and Scheduling Initative. To overcome these barrier and advance the state of the art, we must finnd ways of preserving existing knowledge bases, and sharing, reusing, and building on them.

[1]  Timothy W. Finin,et al.  An Overview of KQML: A Knowledge Query and Manipulation Language , 1991 .

[2]  John F. Sowa,et al.  Principles of semantic networks , 1991 .

[3]  Bernhard Nebel,et al.  Terminological Reasoning is Inherently Intractable , 1990, Artif. Intell..

[4]  Brian Falkenhainer,et al.  Compositional Modeling: Finding the Right Model for the Job , 1991, Artif. Intell..

[5]  Michael A. Gray,et al.  Backtalk: A generalized dynamic communication system for DAI , 1993, Softw. Pract. Exp..

[6]  John A. Bateman,et al.  Upper Modeling: A general organization of knowledge for natural language processing , 1990 .

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

[8]  Michael R. Genesereth,et al.  Knowledge Interchange Format , 1991, KR.

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

[10]  Thomas R. Gruber,et al.  The Role of Common Ontology in Achieving Sharable, Reusable Knowledge Bases , 1991, KR.

[11]  Hector J. Levesque,et al.  The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.

[12]  F. Baader,et al.  KRIS: knowledge representation and inference system ; system description , 1990 .

[13]  Timothy W. Finin,et al.  The Intelligent Database Interface: Integrating AI and Database Systems , 1990, AAAI.

[14]  Thomas R. Gruber,et al.  Ontolingua: a mechanism to support portable ontologies , 1991 .

[15]  Mark A. Musen,et al.  Overcoming the limitations of role-limiting methods , 1992 .

[16]  Werner Nutt,et al.  Terminological Knowledge Representation: A Proposal for a Terminological Logic , 1991, Description Logics.

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

[18]  Peter F. Patel-Schneider,et al.  Undecidability of Subsumption in NIKL , 1989, Artif. Intell..

[19]  Edmund H. Durfee,et al.  A formal study of distributed meeting scheduling: preliminary results , 1991, COCS '91.

[20]  Deborah L. McGuinness,et al.  CLASSIC: a structural data model for objects , 1989, SIGMOD '89.

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

[22]  Albrecht Schmiedel,et al.  The BACK System Revisited , 1989 .

[23]  Werner Nutt,et al.  The Complexity of Concept Languages , 1997, KR.

[24]  Timos K. Sellis,et al.  An Organizational Framework for Cooperating Intelligent Information Systems , 1992, Int. J. Cooperative Inf. Syst..

[25]  Tim Finin,et al.  A Language and Protocol to Support Intelligent Agent Interoperability , 1992 .

[26]  Mark R. Cutkosky,et al.  Knowledge Sharing Technology Project Overview , 1991 .

[27]  Victor Lesser,et al.  Multistage negotiation in distributed planning , 1988 .

[28]  Bernhard Nebel,et al.  Terminological Cycles: Semantics and Computational Properties , 1991, Principles of Semantic Networks.