Skip to main content
SpringerLink
Log in

An Integrated Non-Monotonic Deduction and Reason Maintenance System

  • Conference paper
Begründungsverwaltung

Part of the book series: Informatik-Fachberichte ((TTZI,volume 162))

  • 37 Accesses

Abstract

KAPRI⋆⋆ uses rules of the form if … unless … then … . For such a rule to be fired, its monotonie if-antecedents are required to match the current database, while none of its non-monotonic unless-antecedents does. The current state of a KAPRI-system is represented by a dependency network composed of assertions and corresponding justifications for believing in them in terms of belief respectively disbelief in other assertions. This network is maintained by a reason maintenance system, KL-DNMS⋆⋆, that revises the current belief status with respect to every modification due to the firing of a rule or to the addition/retraction of a basic fact.

The contributions of Michael Reinfrank to this paper were supported by the Deutsche Forschungsgemeinschaft DFG, and were part of the research project SFB 314 “Kuenstliche Intelligenz und Wissensbasierte Systeme”.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Bobrow, Daniel (edt.): Special Issue on Non-Monotonic Reasoning. ARTIFICIAL INTELLIGENCE 13 (1,2) (1980)

    Google Scholar 

  2. Charniak, Eugene; Sussman, Gerald; Winograd, Terry: MICRO-PLANNER Reference Manual. Memo 203A, MIT Al-Lab (Cambridge, December 1971 )

    Google Scholar 

  3. deKleer, Johan: Choices without Backtracking. Proc. 4th NCAI, pp. 79–85 (Austin, 1984 )

    Google Scholar 

  4. deKleer, Johan: An Assumption-Based TMS. Research Report Draft, Xerox Pare (September, 1985 )

    Google Scholar 

  5. deKleer, Johan: Personal communication. (GWAI 85, Dassel, September 1985 )

    Google Scholar 

  6. deKleer, Johan; Doyle, Jon; Steele, Guy; Sussman; Gerald: Explicit Control of Reasoning. In Winston; Brown (eds.): ARTIFICIAL INTELLIGENCE - AN MIT PERSPECTIVE, MIT Press (Cambridge, 1979 )

    Google Scholar 

  7. Doyle, Jon: A Truth Maintenance System. Al 12, pp. 231–272 (1979)

    MathSciNet  Google Scholar 

  8. Doyle, Jon: Some Theories of Reasoned Assumptions. CMU-CS-83-125, CMU (Pittsburgh, May 1983 )

    Google Scholar 

  9. Doyle, Jon; McDermott, Drew: Non-Monotonic Logic I. Al 13 (1,2), pp. 41–72 (April 1980)

    MathSciNet  MATH  Google Scholar 

  10. Fikes, Richard E.; Nilsson, N.J.: STRIPS - A New Approach to the Application of Theorem Proving to Problem Solving. Al 2 (3,4), pp.189–208(1971)

    Google Scholar 

  11. Forgy, Charles L.: The OPS5 user’s manual. CMU-CDS-81-135, CMU (Pittsburgh, 1981 )

    Google Scholar 

  12. Forgy, Charles L.: RETE: A Fast Algorithm for the Many Pattern/Many Object Match Problem. Artificial Intelligence 19, pp.17–38(1982)

    Google Scholar 

  13. Freitag, Hartmut; Klug, Juergen; Reinfrank, Michael:KL-DNMS, ein System zur Verwaltung nicht-monotoner Abhaengigkeitsnetze. Interner Bericht, FB Informatik, Univ. Kaiserslautern (Kaiserslautern, 1985 )

    Google Scholar 

  14. Goldstein, Ira; Roberts, B.R.: The FRL Manual. TR 409, MIT AI-Lab, ( Cambridge, 1977 )

    Google Scholar 

  15. Goodwin, James: An Improved Algorithm for Non-Monotonic Dependency Net Update. LITH-MAT-R-82-23, Linkoeping University ( Linkoeping, August 1982 )

    Google Scholar 

  16. Goodwin, James: WATSON: A Dependency Directed Inference System. Proc. WS-NMR, pp. 103–114 ( New Paltz, October 1984 )

    Google Scholar 

  17. Hayes, Patrick: The Frame Problem, and Related Problems on Artificial Intelligence. Memo AIM-153, Stanford Artificial Intelligence Project ( Stanford, November 1971 )

    Google Scholar 

  18. Hayes-Roth, Frederick: Rule-Based Systems. CACM 28 (9), pp. 921–932, (September 1985)

    Google Scholar 

  19. The Knowledge Engineering Environment. Intellicorp, Menlo Park, CA (1984)

    Google Scholar 

  20. Moore, Robert C.: Semantical Considerations on Non-Monotonic Logic. TechNote 284, SRI (Menlo Park, 1983 )

    Google Scholar 

  21. Moore, Robert C.: Possible World Semantics for Autoepistemic Logic. Proc. WS-NMR, pp. 344-354 ( New Paltz, October 1984 )

    Google Scholar 

  22. Minsky, Marvin: A Framework for Representing Knowledge. Memo 306, MIT Al-Lab (Cambridge, June 1974 )

    Google Scholar 

  23. Orejel-Opisso, Jorge L.: Story Understanding with WATSON, a Computer Program Modelling Natural Language Inferences Using Non-Monotonic Dependencies. Report T-146, Univ. of Illinois at Urbana-Champaign (Urbana, May 1984 )

    Google Scholar 

  24. Reinfrank, Michael: An Introduction to Non-Monotonic Reasoning. MEMO SEKI-85-02, Univ. Kaiserslautern (Kaiserslautern, 1985 )

    Google Scholar 

  25. Reinfrank, Michael: Admissible Extension Formalisms for a Rule-Based Non-Monotonic Inference System. Technical Report, Linkoeping University, in preparation.

    Google Scholar 

  26. Reinfrank, Michael; Beetz, Michael; Freitag, Hartmut; Klug, Juergen: KAPRI - A Rule-Based Non-Monotonic Inference Engine with an Integrated Reason Maintenance System. SEKI-REPORT SR-86-03, Univ. Kaiserslautern (Kaiserslautern, March 1986 )

    Google Scholar 

  27. Reiter, Raymond: A Logic for Default Reasoning. Al 13 (1,2), pp. 81–132, (April 1980)

    MathSciNet  MATH  Google Scholar 

  28. Sandewall, Erik: An Approach to the Frame Problem, and its Implementation. In Meitzer, B.; Michie, D. (eds.) MACHINE INTELLIGENCE 7, pp. 195-204(1972)

    Google Scholar 

  29. Sandewall, Erik: A Functional Approach to Non-Monotonic Logic. Proc. 9th IJCAI 85, pp. 100 - 106 (1985)

    Google Scholar 

  30. Stallman, Richard; Sussman, Gerald: Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis. Artificial Intelligence 9, pp. 135 - 196 (1977)

    Article  MATH  Google Scholar 

  31. Williams, Chuck: ART, The Advanced Reasoning Tool: Conceptual Overview. Inference Corporation (Los Angeles, 1984 )

    Google Scholar 

  32. Winston, Patrick H.: Learning by Augmenting Rules and Accumulating Censors. Memo 678, MIT Al-Lab (Cambridge, May 1982, revised February 1984 )

    Google Scholar 

  33. Winograd, Terry: Extended Inference Modes in Reasoning by Computer Systems. Al 13 (1,2), pp. 5–26 (April 1980)

    MathSciNet  MATH  Google Scholar 

  34. Proceedings of the Workshop on Non-Monotonic Reasoning (New Paltz, October 1984)

    Google Scholar 

  35. Ennis, H.L.; Griesmer, J.H.; Hong, S.J.; Karnaugh, M.; Kastner, J.K.; Klein, D.A.; Millikn, K.R.; Schor, M.I.; vanWoerkem, H.M.: YES/MVS: A Continous Real Time Expert System. Proc. 4th NCAI, pp. 130–136 (Austin, 1984 )

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer and Information Science RKLLAB, Linkoeping University, S-58183, Linkoeping, Sweden

    Michael Reinfrank

  2. ZT ZTI INF 312, Siemens AG, Otto-Hahn-Ring 6, 8000, Muenchen 83, Germany

    Hartmut Freitag

Authors
  1. Michael Reinfrank
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hartmut Freitag
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Informationswissenschaften, Universität Konstanz, Postfach 5560, D-7750, Konstanz, Germany

    Herbert Stoyan

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Reinfrank, M., Freitag, H. (1988). An Integrated Non-Monotonic Deduction and Reason Maintenance System. In: Stoyan, H. (eds) Begründungsverwaltung. Informatik-Fachberichte, vol 162. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-73385-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-73385-7_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18853-7

  • Online ISBN: 978-3-642-73385-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation