Advertisement

Acquisition and modelling of uncertain, incomplete and time-varying knowledge

Life Cycle and Methodologies Methodologies
  • 125 Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 723)

Abstract

We first review existing methodological work concerning application development with uncertain, incomplete and time-varying knowledge. Second, we propose how existing methodologies can be used and extended when developing such applications. We also report an experiment we carried out, involving different methodological components. The experiment was done to give ideas to and support our proposal.

Keywords

Knowledge Acquisition Knowledge Engineer Temporal Reasoning Nonmonotonic Reasoning Event Instance 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Geir Aakvik, Agnar Aamodt, and Inge Nordbø. A knowledge representation framework supporting knowledge modeling. In Proc. EKAW-91, Strathclyde University, Scotland, May 1991.Google Scholar
  2. 2.
    J. F. Allen. Maintaining knowledge about temporal intervals. Comm. of the ACM, 26(11):832–843, November 1983.Google Scholar
  3. 3.
    J. F. Allen. Towards a general theory of action and time. Artificial Intelligence, 23, 1984.Google Scholar
  4. 4.
    Anjo Anjewierden, Bob Wielinga, and Nigel Shadbolt. Supporting knowledge acquisition: The ACKnowledge project. In ESPRIT-92, Knowledge Engineering, 1992.Google Scholar
  5. 5.
    Gerhard Brewka. Non-monotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press, 1991.Google Scholar
  6. 6.
    T. L. Dean and D. V. McDermott. Temporal data base management. Artificial Intelligence, 32(1):1–55, 1987.Google Scholar
  7. 7.
    Santiago (ed.) Gala, Paz Cerrillo, Marc Haziza, Ole Jakob Mengshoel, and Fano Ramparani. Description and evaluation of state-of-the-art methods. Deliverable TMt1, Eritel, Madrid, Spain, November 1992.Google Scholar
  8. 8.
    Santiago (ed.) Gala, Paz Cerrillo, Marc Haziza, Ole Jakob Mengshoel, and Fano Ramparani. Methods for complex applications. Deliverable TMt2, Eritel, Madrid, Spain, May 1993.Google Scholar
  9. 9.
    A. Galton. Temporal logic and computer science: An overview. In A. Galton, editor, Temporal Logics and their Applications, pages 1–52. Academic Press, 1987.Google Scholar
  10. 10.
    Matthew L. Ginsberg. Multivalued logics: A uniform approach to inference in artificial intelligence. Technical report, Stanford University, 1988.Google Scholar
  11. 11.
    Matthew L. Ginsberg. Computational considerations in reasoning about action. Technical report, Stanford University, 1991.Google Scholar
  12. 12.
    Matthew L. Ginsberg. The MVL theorem proving system. Technical report, Stanford University, 1991.Google Scholar
  13. 13.
    G. Guida and C. Tasso, editors. Topics in Expert System Design: Methodologies and Tools, volume 5 of Studies in Computer Science and Artificial Intelligence. North-Holland, 1989.Google Scholar
  14. 14.
    Paul Harmon. A brief overview of software methodologies. Intelligent Software Strategies, VII(1):1–16, January 1991.Google Scholar
  15. 15.
    Anna Hart. Knowledge Acquisition for Expert Systems. Kogan Page, London, 2nd edition, 1989.Google Scholar
  16. 16.
    D. K. Hilal and H. Soltan. A suggested descriptive framework for the comparison of knowledge-based systems methodologies. Expert Systems, 8(2), May 1991.Google Scholar
  17. 17.
    Robert F. Hink and David L. Woods. How humans process uncertain knowledge: An introduction for knowledge engineers. AI magazine, 8(3):41–53, Fall 1987.Google Scholar
  18. 18.
    Cleo Jullien, Nigel Shadbolt, Bob Wielinga, et al. Project final report — ACKnowledge. Technical Report ACK-CSI-WM-DL-007, Cap Gemini Innovation, Grenoble, France, March 1992.Google Scholar
  19. 19.
    R. Kowalski and M. Sergot. A logic based calculus of events. New Generation Computing, 1986.Google Scholar
  20. 20.
    Kathryn B. Laskey, Marvin S. Cohen, and Anne W. Martin. Representing and eliciting knowledge about uncertain evidence and its implications. IEEE Trans, on Systems, Man, and Cybernetics, 19(3):536–545, May/June 1989.Google Scholar
  21. 21.
    Marc Linster and Mark A. Musen. Use of KADS to create a conceptual model of the ONCOCIN task. Knowledge Acquisition, 4(1):55–87, March 1992.Google Scholar
  22. 22.
    Witold Lukaszewicz. Non-monotonic Reasoning: formalization of commonsense reasoning. Ellis Horwood Ltd., 1990.Google Scholar
  23. 23.
    Robert Maiocchi and Barbara Pernici. Temporal data management systems: A comparative view. IEEE Trans. on Knowledge and Data Engineering, 3(4):504–524, December 1991.Google Scholar
  24. 24.
    Ole Jakob Mengshoel, Inge Nordbø, and Ingeborg Sølvberg. The knowledge engineering workbench: Experiences from building the knowledge base of a helpdesk application. In Proc. Twelfth International Conference on Artificical Intelligence, Expert Systems and Natural Language, volume 1, pages 53–65, Avignon, France, June 1992.Google Scholar
  25. 25.
    Enrico Motta, Tim Rajan, John Domingue, and Marc Eisenstadt. Methodological foundations of Keats, the knowledge engineer's assistant. In B. Wielinga et al., editors, Current Trends in Knowledge Acquisition. IOS Press, Amsterdam, June 1990.Google Scholar
  26. 26.
    Inge Nordbo, Mette Vestli, and Ingeborg Sølvberg. METAKREK: Knowledge acquisition as modeling. Expert Systems With Applications, 3(2):269–275, 1991.Google Scholar
  27. 27.
    Judea Pearl. Probabilistic reasoning in intelligent systems: Networks of plausible inference. The Morgan Kaufmann series in representation and reasoning. Morgan Kaufmann, San Mateo, California, 1988.Google Scholar
  28. 28.
    H. Prade. A computational approach to approximate and plausible reasoning with applications to expert systems. IEEE Transactions on Pattern Analysis and Machine Intelligence, PAMI-7(3):260–283, 1985.Google Scholar
  29. 29.
    Yuval Shahar, Samson W. Tu, and Mark A. Musen. Knowledge acquisition for temporal-abstraction mechanisms. Knowledge Acquisition, 4(2):217–236, June 1992.Google Scholar
  30. 30.
    Yoav Shoham. Temporal reasoning in artificial intelligence. In H.E. Shrobe, editor, Exploring Artificial Intelligence, pages 419–438. Morgan Kaufmann Publishers, Inc., San Mateo, California, 1988.Google Scholar
  31. 31.
    J. F. Sowa and J. A. Zachman. Extending and formalizing the framework for information systems architecture. IBM Systems Journal, 31(2):590–616, 1992.Google Scholar
  32. 32.
    S. W. Tu, M. G. Kahn, M. A. Musen, J. C. Ferguson, E. H. Shortliffe, and L. M. Fagan. Episodic skeletal-plan refinement based on temporal data. Communications of the ACM, 32(12):1439–1455, 1989.Google Scholar
  33. 33.
    B. J. Wielinga, A. Th. Schreiber, and Joost Breuker. KADS: A modelling approach to knowledge engineering. Technical Report KADS-II/T1.1/PP/UvA/008/1.0, University of Amsterdam, May 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  1. 1.Knowledge Engineering and Image Processing GroupSINTEF DELABTrondheimNorway

Personalised recommendations