Academia.eduAcademia.edu

Outline

The DARPA knowledge sharing effort: progress report

1997, Principles of Knowledge Representation and Reasoning

Abstract
sparkles

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)

  1. 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.
  2. 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.
  3. John A. Bateman. Upper modeling: A gen- eral organization of knowledge for natural lan- guage processing. Penman development note, USC Information Sciences Institute, 1989.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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. 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.
  10. 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.
  11. Brian Falkenhainer and Ken Forbus. Composi- tional modeling: Finding the right model for the job. Arti cial Intelligence, 51:95 143, 1991.
  12. 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.
  13. 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.
  14. 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.
  15. Michael R. Genesereth. Designworld. In Pro- ceedings of the 1991 International Conference on Robotiocs and Automation, pages 2785 2788, 1991.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. Robert MacGregor. Loom users manual. Work- ing Paper ISI WP-22, USC Information Sciences Institute, 1990.
  23. 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.
  24. Mark A. Musen. Overcoming the limitations of role-limiting methods. Knowledge Acquisition, 42:165 170, 1992.
  25. Bernhard Nebel. Terminological reasoning is inherently intractable. Arti cial Intelligence, 432:235 249, May 1990.
  26. Bernhard Nebel. Terminological cycles: Seman- tics and computational properties. In Sowa 34 .
  27. 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.
  28. 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.
  29. 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.
  30. Peter F. Patel-Schneider. Undecidability o f subsumption in NIKL. Arti cial Intelligence, 392:263 272, June 1989.
  31. 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.
  32. 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.
  33. 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.
  34. John Sowa, editor. Principles of Semantic Net- works: Explorations in the representation of knowledge. Morgan-Kaufmann, San Mateo, Cali- fornia, 1991.