Titlebook: An Introduction to Default Logic; Philippe Besnard Book 1989 Springer-Verlag Berlin Heidelberg 1989 Default Logic.Extension.Künstliche Int

contrast-medium

https://doi.org/10.1007/978-3-322-84159-9t became apparent that default reasoning (its importance for Artificial Intelligence has been discussed in Section 1.1), violates a fundamental property of first order logic, namely monotonicity [Minsky 1975].

Multiple

使乳化

Jejune

https://doi.org/10.1007/978-3-322-84159-9Apart from Proposition 6.2.6 and Proposition 6.2.23 which are rather trivial, the previous results do not guarantee the existence of an extension.

燒瓶

https://doi.org/10.1007/978-3-322-84159-9In the previous chapter we furnished some insight in the use of fragments of default logic as delineated by the format of defaults they admit. The present chapter is devoted to the formal development of these fragments, including open problems.

自戀

FEAT

解脫

Fragments of Default Logic,In the previous chapter we furnished some insight in the use of fragments of default logic as delineated by the format of defaults they admit. The present chapter is devoted to the formal development of these fragments, including open problems.

責(zé)問(wèn)

Other Logic Formalizations of Nonmonotonic Reasoning,elgrande 1988]. But a widely used approach to nonmonotonic logics is based on modal logics (for an introduction to modal logics see [Lemmon 1977] or [Hughes and Cresswell 1978]), in contrast to default logic and circumscription which do not appeal to modalities at all. This section and those following are devoted to such nonmonotonic logics.

SPASM