论文信息 - Semi-Representability of Default Theories in Rational Default Logic

Semi-Representability of Default Theories in Rational Default Logic

Marek and Truszczynski studied the representability issue for default logic. They proved that an arbitrary default theory can be represented by a weak seminormal default theory provided the language \(\mathcal{L}\) has been extended by new atoms. We will prove in this paper that their construction preserves also rational and skeptical rational extensions.

Artur Mikitiuk

[1] J. David Schaffer,et al. Proceedings of the third international conference on Genetic algorithms , 1989 .

[2] Victor W. Marek,et al. Nonmonotonic logic - context-dependent reasoning , 1997, Artificial intelligence.

[3] Miroslaw Truszczynski,et al. Rational Default Logic and Disjunctive Logic Programming , 1993, LPNMR.

[4] David Poole,et al. What the Lottery Paradox Tells Us About Default Reasoning , 1989, KR.

[5] Witold Lukaszewicz. Considerations on Default Logic , 1984, NMR.

[6] Torsten Schaub. Considerations on default logics , 1992 .

[7] Gerhard Brewka. Cumulative Default Logic: In Defense of Nonmonotonic Inference Rules , 1991, Artif. Intell..

[8] Miroslaw Truszczynski,et al. Constrained and Rational Default Logics , 1995, IJCAI.

[9] Philippe Besnard,et al. An Introduction to Default Logic , 1989, Symbolic Computation.

[10] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..

[11] Gerhard Brewka,et al. Nonmonotonic Reasoning: Logical Foundations of Commonsense By Gerhard Brewka (Cambridge University Press, 1991) , 1991, SGAR.

[12] Miroslaw Truszczynski,et al. Skeptical Rational Extensions , 1995, LPNMR.