On the relation between default and modal nonmonotonic reasoning
作者： Alexander Bochman
DOI: 10.1016/S0004-3702(98)00011-3
关键词:
摘要: The notion of a default consequence relation is introduced as generalization both and modal formalizations nonmonotonic reasoning. It used to study general problem correspondence between these two formalisms.
elsevier.com
sci-hub.se 参考文章(34)
Alexander Bochman, Biconsequence relations for nonmonotonic reasoning principles of knowledge representation and reasoning. pp. 482- 492 ,(1996)
P. Brezillon, P. Bouquet, Lecture Notes in Artificial Intelligence ,(1999)
Miroslaw Truszczynski, Embedding Default Logic into Modal Nonmonotonic Logics. logic programming and non-monotonic reasoning. pp. 151- 165 ,(1991)
Mirosław Truszczyński, V. Wiktor Marek, More on modal aspects of default logic Fundamenta Informaticae. ,vol. 17, pp. 99- 116 ,(1992) , 10.3233/FI-1992-171-207
Grigori Schwarz, Reflexive autoepistemic logic Fundamenta Informaticae. ,vol. 17, pp. 157- 173 ,(1992) , 10.3233/FI-1992-171-209
Miroslaw Truszczynzki, Modal interpretations of default logic international joint conference on artificial intelligence. pp. 393- 398 ,(1991)
Alexander Bochman, On bimodal nonmonotonic logics and their unimodal and nonmodal equivalents international joint conference on artificial intelligence. pp. 1518- 1524 ,(1995)
Grigori Schwarz, Bounding Introspection in Nonmonotonic Logic. principles of knowledge representation and reasoning. pp. 581- 590 ,(1992)
Miroslaw Truszczyński, Wiktor Marek, Relating autoepistemic and default logics principles of knowledge representation and reasoning. pp. 276- 288 ,(1989)
Robert Bull, Krister Segerberg, Basic Modal Logic Springer, Dordrecht. pp. 1- 88 ,(1984) , 10.1007/978-94-009-6259-0_1