Skip to main content
SpringerLink
Log in

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

  • Life Cycle and Methodologies
  • Conference paper
  • First Online:
Knowledge Acquisition for Knowledge-Based Systems (EKAW 1993)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 723))

  • 136 Accesses

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.

The research reported here has been conducted within the UnITe project, ESPRIT project 6083. The project consortium consists of the following institutions: Cap Sesa Innovation, ITMI, Matra Marconi Space (all France), Eritel (Spain), Queen Mary and Westfield College (Great Britain) and SINTEF (Norway).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. J. F. Allen. Maintaining knowledge about temporal intervals. Comm. of the ACM, 26(11):832–843, November 1983.

    Google Scholar 

  3. J. F. Allen. Towards a general theory of action and time. Artificial Intelligence, 23, 1984.

    Google Scholar 

  4. Anjo Anjewierden, Bob Wielinga, and Nigel Shadbolt. Supporting knowledge acquisition: The ACKnowledge project. In ESPRIT-92, Knowledge Engineering, 1992.

    Google Scholar 

  5. Gerhard Brewka. Non-monotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press, 1991.

    Google Scholar 

  6. T. L. Dean and D. V. McDermott. Temporal data base management. Artificial Intelligence, 32(1):1–55, 1987.

    Google Scholar 

  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. 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. 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. Matthew L. Ginsberg. Multivalued logics: A uniform approach to inference in artificial intelligence. Technical report, Stanford University, 1988.

    Google Scholar 

  11. Matthew L. Ginsberg. Computational considerations in reasoning about action. Technical report, Stanford University, 1991.

    Google Scholar 

  12. Matthew L. Ginsberg. The MVL theorem proving system. Technical report, Stanford University, 1991.

    Google Scholar 

  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. Paul Harmon. A brief overview of software methodologies. Intelligent Software Strategies, VII(1):1–16, January 1991.

    Google Scholar 

  15. Anna Hart. Knowledge Acquisition for Expert Systems. Kogan Page, London, 2nd edition, 1989.

    Google Scholar 

  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. 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. 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. R. Kowalski and M. Sergot. A logic based calculus of events. New Generation Computing, 1986.

    Google Scholar 

  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. 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. Witold Lukaszewicz. Non-monotonic Reasoning: formalization of commonsense reasoning. Ellis Horwood Ltd., 1990.

    Google Scholar 

  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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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 

Download references

Author information

Authors and Affiliations

  1. Knowledge Engineering and Image Processing Group, SINTEF DELAB, N-7034, Trondheim, Norway

    Ole Jakob Mengshoel & Ingeborg Sølvberg

Authors
  1. Ole Jakob Mengshoel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ingeborg Sølvberg
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

N. Aussenac G. Boy B. Gaines M. Linster J. -G. Ganascia Y. Kodratoff

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mengshoel, O.J., Sølvberg, I. (1993). Acquisition and modelling of uncertain, incomplete and time-varying knowledge. In: Aussenac, N., Boy, G., Gaines, B., Linster, M., Ganascia, J.G., Kodratoff, Y. (eds) Knowledge Acquisition for Knowledge-Based Systems. EKAW 1993. Lecture Notes in Computer Science, vol 723. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57253-8_60

Download citation

  • DOI: https://doi.org/10.1007/3-540-57253-8_60

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57253-4

  • Online ISBN: 978-3-540-47996-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation