The DARPA knowledge sharing effort: progress report
1997, Principles of Knowledge Representation and Reasoning
Abstract
AI
AI
The paper discusses the DARPA Knowledge Sharing Effort, highlighting the challenges faced in knowledge-based system development, particularly the need for shared knowledge bases among various research teams. Key objectives of the initiative include creating a reusable library of modules and developing methodologies for knowledge sharing to reduce duplication of efforts in areas like medicine and electronic diagnosis. Progress made in four identified areas - translation mechanisms, common languages, communication protocols, and libraries of ontologies - is outlined, emphasizing the collaborative effort to establish a technical infrastructure that enhances the interoperability and refinement of knowledge-based systems.
References (34)
- Franz Baader, Hans-J urgen B urckert, Jochen Heinsohn, Bernhard Hollunder, J urgen M uller, Bernhard Nebel, Werner Nutt, and Hans-J urgen Pro tlich. Terminological knowledge representa- tion: A proposal for a terminological logic. A DFKI note., June 1991.
- Franz Baader and Bernhard Hollunder. KRIS: Knowledge Representation and Inference System|system description. Technical Memo TM-90-13, Deutsches Forschungszentrum f ur K unstliche Intelligenz, November 1990.
- John A. Bateman. Upper modeling: A gen- eral organization of knowledge for natural lan- guage processing. Penman development note, USC Information Sciences Institute, 1989.
- A. Borgida, R. J. Brachman, D. L. McGuin- ness, and L. A. Resnick. CLASSIC: A structural data model for objects. In Proceedings of the 1989 ACM SIGMOD International Conference o n Management of Data, P ortland, Oregon, 1989.
- Ronald J. Brachman and Hector J. Levesque. The tractability of subsumption in frame-based description languages. In Proceedings of the Fourth National Conference o n A rti cial Intelli- gence, pages 34 37, Austin, Texas, August 1984. American Association for Arti cial Intelligence.
- Ronald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick, and Alex Borgida. Living with CLASSIC: When and how to use a KL-ONE-like language. In Sowa 34 , pages 401 456.
- Je Conklin and M. L. Begeman. gIBIS: A hy- pertext tool for exploratory policy discussion. In Proceedings of the 1988 Conference on Computer Supported C o operative Work CSCW-88, pages 140 152, Portland, Oregon, 1988. ACM.
- Susan E. Conry, Robert A. Meyer, and Victor R. Lesser. Multistage negotiation in distributed planning. In Alan H. Bond and Les Gasser, ed- itors, Readings in Distributed A rti cial Intelli- gence, pages 367 384. Morgan Kaufman, 1988.
- 9 Mark Cutkosky, Robert Engelmore, Richard Fikes, Thomas Gruber, Micheal Genesereth, William Mark, Jay T enenbaum, and Jay W eber. Pact: An experiment i n i n tegrating concurrent engineering systems. IEEE Computer, 1992. To appear in a special issue on computer-supported concurrent engineering.
- Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Werner Nutt. The complexity of con- cept languages. In Proceedings of the Second In- ternational Conference on Principles of Knowl- edge Representation and Reasoning, pages 151 162. Morgan Kaufmann, May 1991.
- Brian Falkenhainer and Ken Forbus. Composi- tional modeling: Finding the right model for the job. Arti cial Intelligence, 51:95 143, 1991.
- Richard Fikes, Mark Cutkosky, T om Gruber, and Je rey Van Baalen. Knowledge sharing technol- ogy project overview. Technical Report KSL 91- 71, Stanford University, Knowledge Systems Lab- oratory, 1991.
- T. Finin, R. Fritzson, and D. McKay et. al. A lan- guage and protocol to support intelligent agent in- teroperability. I n Proceedings of the CE & CALS Washington `92 Conference, June 1992.
- T. Finin, R. Fritzson, and D. McKay et. al. An overview of KQML: A knowledge query and ma- nipulation language. Technical report, Depart- ment of Computer Science, University of Mary- land Baltimore County, 1992.
- Michael R. Genesereth. Designworld. In Pro- ceedings of the 1991 International Conference on Robotiocs and Automation, pages 2785 2788, 1991.
- Michael R. Genesereth. Knowledge interchange format. In James Allen, Richard Fikes, and Erik Sandewall, editors, Proceedings of the Confer- ence of the Principles of Knowledge Representa- tion and Reasoning, pages 599 600. Morgan Kauf- mann Publishers, Inc., 1991.
- Michael R. Genesereth, Richard E. Fikes, and et al. Knowledge interchange format, version 3.0 reference manual. Technical Report Logic-92-1, Computer Science Department, Stanford Univer- sity, 1992.
- Thomas R. Gruber. The role of common on- tology in achieving sharable, reusable knowledge bases. In J. A. Allen, R. Fikes, and E. Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Second Inter- national Conference, pages 601 602, Cambridge, MA, 1991. Morgan Kaufmann.
- Thomas R. Gruber. Ontolingua: A mechanism to support portable ontologies. Technical Report KSL 91-66, Stanford University, Knowledge Sys- tems Laboratory, 1992. June 1992 Revision.
- Michael N. Huhns, David M. Bridgeland, and Na- traj V. Arni. A DAI communication aide. Tech- nical Report ACT-RA-317-90, Microelectronics and Computer Technology Corporation, Micro- electronics and Computer Technology Corpora- tion, 3500 West Balcones Center Drive, Austin TX 78759-6509, October 1990.
- Nancy Lehrer. DARPA Rolm Laboratory Plan- ning and Scheduling Initiative, Knowledge Repre- sentation Speci cation Language: KRSL Version 2.0. Language speci cation and manual, 1992.
- Robert MacGregor. Loom users manual. Work- ing Paper ISI WP-22, USC Information Sciences Institute, 1990.
- Don McKay, Tim Finin, and Anthony O'Hare. The intelligent database interface. In Proceedings of the 7 th National Conference o n A rti cial Intel- ligence, August 1990.
- Mark A. Musen. Overcoming the limitations of role-limiting methods. Knowledge Acquisition, 42:165 170, 1992.
- Bernhard Nebel. Terminological reasoning is inherently intractable. Arti cial Intelligence, 432:235 249, May 1990.
- Bernhard Nebel. Terminological cycles: Seman- tics and computational properties. In Sowa 34 .
- Robert Neches, Richard Fikes, Tim Finin, Thomas Gruber, Ramesh Patil, Ted Senator, and William R. Swartout. Enabling technology for knowledge sharing. AI Magazine, 123:16 36, 1991.
- Mike P . P apazoglou and Timos K. Sellis. An or- ganizational framework for cooperating intelligent information systems. International Journal on Intelligent and Cooperative Information Systems, 11, to appear 1992.
- J. Pastor, D. McKay, and T. Finin. Viewcon- cepts: Knowledge-based access to databases. In Proceedings of the First International Conference on Information and Knowledgement, N o vember 1992.
- Peter F. Patel-Schneider. Undecidability o f subsumption in NIKL. Arti cial Intelligence, 392:263 272, June 1989.
- Christof Peltason, Albrecht S c hmiedel, Carsten Kindermann, and Joachim Quantz. The BACK system revisited. KIT-Report 75, Department o f Computer Science, Technische Universit at Berlin, September 1989.
- Kirk Sayre and Michael A. Gray. Backtalk: A generalized dynamic communication system for DAI. Technical Report CSIS-91-004, The Ameri- can University, W ashington DC, August 1991.
- Sandip Sen and Edmund H. Durfee. A formal study of distributed meeting scheduling: prelim- inary results. In Proceedings of the ACM Con- ference o n O r ganizational Computing Systems, pages 55 68, November 1991.
- John Sowa, editor. Principles of Semantic Net- works: Explorations in the representation of knowledge. Morgan-Kaufmann, San Mateo, Cali- fornia, 1991.