Abstract
This paper presents the most important approaches to formalizing nonmonotonic reasoning and discusses some difficulties involved in these approaches. For avoiding specific problems arising in applying default rules, a representation form for these rules is suggested which allows the explicit control of their applicability. On the one hand, this helps to avoid unplausible results, on the other, the defaults are maintained in a form familiar to the user.
Default rules of this type are also used in Faulty, a prover for a decidable subset of the nonmonotonic (predicate) logic developed by McDermott and Doyle. Wellknown weaknesses of this logic are avoided by restricting to specific theories that are however sufficient for default reasoning purposes.
An English version of this paper is available from the author.
You can’t always get what you want,
but if you try some time, you get what you need.
Mick Jagger, Rolling Stones
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literaturverzeichnis
Brewka, G.; Wittur, K.-H.: Nichtmonotone Logikez-Eine Untersuchung der Formaiisierungen nichtmonotoner Schlußweisen und die Implementation eines nichtmonotonen Reasoning-Systems. Universität Bonn, Informatik Berichte Nr. 40, Bonn 1984.
Etherington, D. W.; Mercer, R.; Reiter, R.: On the Adequacy of Predicate Circumscription for Closed-World Reasoning. Proc. Non-Monotonic Reasoning Workshop 1984.
Lukaszewicz, W.: General Approach to Nonmonotonic Logics. Proc. IJCAI 1983.
Lukaszewicz, W.: Nonmonotonic Logic for default Theories. Proc. ECAI 1984.
McCarthy, J.: Circumscription-A Form of Non-Monotonic Reasoning. Artificial Intelligence 13, North-Holland 1980.
McCarthy, J.: Applications of Circumscription to Formalizing Common Sense Knowledge. Proc. Non-Monotonic Reasoning Workshop 1984.
McDermott, D.: Nonmonotonic Logic II: Nonmonotonic Modal Theories. JACM Vol. 29 No. 1, 1982.
McDermott, D.; Doyle, J.: Non-Monotonic Logic I. Artificial Intelligence 13, North-Holland 1980.
Moore, R.C.: Semantical Considerations on Nonmonotonic Logic. SRI International, Techn. Note 284, 1983, erschienen auch in: Artificial Intelligence 25 (1) 1985, S.75–94.
Reiter, R.: A Logic for default Reasoning. Artificial Intelligence 13, North-Holland 1980.
Reiter, R.; Criscuolo, G.: On Interacting Defaults. Proc. IJCAI 1981.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brewka, G. (1986). Über unnormale Vögel, anwendbare Regeln und einen Default-Beweiser. In: Stoyan, H. (eds) GWAI-85. Informatik-Fachberichte, vol 118. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71145-9_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-71145-9_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16451-7
Online ISBN: 978-3-642-71145-9
eBook Packages: Springer Book Archive