Skip to main content
SpringerLink
Log in

Nichtmonotone Logiken Ein einführender Überblick

  • Conference paper
Book cover Künstliche Intelligenz

Part of the book series: Informatik-Fachberichte ((2252,volume 202))

  • 70 Accesses

Zusammenfassung

Diese Arbeit enthält die Darstellung der wichtigsten nichtmonotonen Logiken. Kenntnisse der klassischen Prädikatenlogik erster Ordnung werden dabei vorausgesetzt. Der Leser wird bemerken, daß dem Untertitel „einführender Überblick“ in nicht ganz einheitlicher Weise Rechnung getragen wird. Um den Umfang der Arbeit nicht zu sprengen, ist an einigen Stellen zugunsten der Vollständigkeit des Überblicks etwas vom Charakter einer Einführung abgewichen worden. Ich hoffe, daß es mir gelungen ist, das auf einige nicht so grundlegende Stellen zu beschränken. Ich möchte ausdrücklich darauf hinweisen, daß eine solche Arbeit die Lektüre der Originalarbeiten nicht ersetzen, sondern erleichtern soll.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.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.

Literaturverzeichnis

  1. Brewka, Gerhard: Tweety -Still Flying: Some Remarks on Abnormal Birds, Applicable Rules and a Default Prover, Proc. AAAJ-86,1986

    Google Scholar 

  2. Brewka, Gerhard: The Logic of Inheritance in Frame Systems, Proc. IJCAI 87,1987

    Google Scholar 

  3. Brewka, Gerhard, Wittur, Karl: Nichtmonotone Logiken, Universität Bonn, Informatik Berichte 40,1984

    Google Scholar 

  4. Doyle, Jon: A Truth Maintenance System, Artificial Intelligence 12,1979

    Google Scholar 

  5. Etherington, David W.: Reasoning With Incomplete Information, University of British Columbia, Vancouver, Dep. of Computer Science, Technical Report 86–14,1986

    Google Scholar 

  6. Etherington, David W.: A Semantics for Default Logic, Proc. IJCAI 87, 1987

    Google Scholar 

  7. Etherington, David W.: Relating Default Logic and Circumscription, Proc. IJCAI 87,1987

    Google Scholar 

  8. Etherington, David W.: Formalizing Nonmonotonic Reasoning Systems, Artificial Intelligence 31,1987

    Google Scholar 

  9. Etherington, David W., Mercer, Robert, Reiter, Raymond: On the Adequacy of Predicate Circumscription for Closed-World-Reasoning, Proc. AAAI-Workshop Non-Monotonic Reasoning, 1984

    Google Scholar 

  10. Goodwin, James W.: A Theory and System for Non-Monotonic Reasoning, Linköping University, Computer and Information Science Dep., Dissertation No. 165,1987

    Google Scholar 

  11. Halpern, J., Moses, Y.: Towards a Theory of Knowledge and Ignorance: Preliminary Report, IBM Research Laboratory, San Jose, 1984

    Google Scholar 

  12. Hanks, Steven, McDermott, Drew: Default Reasoning and Temporal Logics, Proc. AAAI 86, 1986

    Google Scholar 

  13. Hanks, Steven, McDermott, Drew: Nonmonotonic Logic and Temporal Projection, Artificial Intelligence 33,1987

    Google Scholar 

  14. Hewitt, C.E.: Description and Theoretical Analysis (Using Schemata) of PLANNER: a Language for Proving Theorems and Manipulating Models in a Robot, MIT AI Lab., TR-258,1972

    Google Scholar 

  15. Hughes, G.E., Cresswell, M.J.: An Introduction to Modal Logic, Methuen, London, 1968

    MATH  Google Scholar 

  16. Imielinski, T.: Results on Translating Defaults to Circumscription, Proc. UCAI85,1985

    Google Scholar 

  17. Konolige, Kurt: On the Relation Between Default Theories and Autoepistemic Logic, Proc. IJCAI 87,1987

    Google Scholar 

  18. Lifschitz, Vladimir: Some Results on Circumscription, Proc. AAAI-Workshop Non-Monotonic Reasoning, 1984

    Google Scholar 

  19. Lifschitz, Vladimir: Closed-World Databases and Circumscription, Artificial Intelligence 27,1985

    Google Scholar 

  20. Lifschitz, Vladimir: On the Satisfiability of Circumscription, Artificial Intelligence 28,1986

    Google Scholar 

  21. Lifschitz, Vladimir: Rules for Computing Circumscription, in preparation

    Google Scholar 

  22. Lukaszewicz, W.: Two Results on Default Logic, Proc IJCAI 1985, 1985.

    Google Scholar 

  23. McCarthy, John: Circumscription -A Form of Nonmonotonic Reasoning, Artificial Intelligence 13,1980

    Google Scholar 

  24. McCarthy, John: Applications of Circumscription to Formalizing Common Sense Knowledge, Proc. AAAI-Workshop Non-Monotonic Reasoning, 1984 (also in Artificial Intelligence 28,1986)

    Google Scholar 

  25. McDermott, Drew: Nonmonotonic Logic II: Nonmonotonic Modal Theories, JACM 29(1), 1982

    Google Scholar 

  26. McDermott, Drew: A Critique of Pure Reason, Yale University, Computer Science Dep., Research Report 480,1986

    Google Scholar 

  27. McDermott, Drew: AI, Logic and the Frame Problem, Proc. AAAI-Workshop The Frame Problem in Artificial Intelligence, 1987

    Google Scholar 

  28. McDermott, Drew; Doyle, Jon: Nonmonotonic Logic I, Artificial Intelligence 13,1980

    Google Scholar 

  29. Moore, Robert C: Semantical Considerations on Nonmonotonic Logic, Artificial Intelligence 25,1985 (short Version in Proc. IJCAI 83)

    Google Scholar 

  30. Moore, Robert C: Possible-World Semantics for Autoepistemic Logic, Proc. AAAI-Workshop Non-Monotonic Reasoning, 1984

    Google Scholar 

  31. Mott, Peter L.: A Theorem on the Consistency of Circumscription, Artificial Intelligence 31,1987

    Google Scholar 

  32. Minker ,Jack; Perlis, Donald: Protected Circumscription, Proc. AAAI-Workshop Non-Monotonic Reasoning, 1984

    Google Scholar 

  33. Perlis, Donald: Circumscribing with Sets, Artificial Intelligence 31,1987

    Google Scholar 

  34. Perlis, Donald; Minker, Jack: Completeness Results for Circumscription, Artificial Intelligence 28,1986

    Google Scholar 

  35. Reinfrank, Michael: Reason Maintenance Systems, erscheint in: H. Stoyan (Hrsg.): Proc. Workshop on Truth Maintenance Systems, Berlin 86, Springer, 1987

    Google Scholar 

  36. Reiter, Raymond: A Logic for Default Reasoning, Artificial Intelligence 13, 1980

    Google Scholar 

  37. Reiter, Raymond; Criscuolo G.: On Interacting Defaults, Proc. IJCAI1981

    Google Scholar 

  38. Shoham, Yoav: Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence, Ph.D. Thesis, Yale University, 1986

    Google Scholar 

  39. Shoham, Yoav: Nonmonotonic Logics: Meaning and Utility, Proc. IJCAI 87, 1987

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Gesellschaft für Mathematik und Datenverarbeitung, Postfach 12 40, D 5205, Sankt Augustin, Deutschland

    Gerhard Brewka

Authors
  1. Gerhard Brewka
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Gesellschaft für Mathematik und Datenverarbeitung, Forschungsgruppe Expertensysteme, Postfach 12 40, D-5205, St. Augustin, Deutschland

    Thomas Christaller

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Brewka, G. (1989). Nichtmonotone Logiken Ein einführender Überblick. In: Christaller, T. (eds) Künstliche Intelligenz. Informatik-Fachberichte, vol 202. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-83739-5_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-83739-5_7

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-642-83739-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation