Semantical considerations on nonmonotonic logic
Artificial Intelligence
A logic of knowledge and justified assumptions
Artificial Intelligence
Modal nonmonotonic logics: ranges, characterization, computation
Journal of the ACM (JACM)
Extended logic programs as autoepistemic theories
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Minimal belief and negation as failure
Artificial Intelligence
Default logic generalized and simplified
Annals of Mathematics and Artificial Intelligence
On the relation between default and modal nonmonotonic reasoning
Artificial Intelligence
Reasoning with minimal belief and negation as failure: algorithms and complexity
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
On a Logical Basis of Normal Logic Programs
Fundamenta Informaticae
| Hi-index | 0.00 |
We study a bimodal nonmonotonic logic MBNF suggested in [Lifschitz, 1994] as a generalization of a number of nonmonotonic formalisms We show first that it is equivalent to a certain nonmodal system involving rules of a special kind Next, it is shown that the latter admits a modal representation that uses only one modal opera tor the operator of belief Moreover, under this translation the models of MBNF correspond to expansions of the associated modal nonmonotonic logic Finally we show that, as far as such models are concerned, MBNF is redunhle to nonmodal default consequence relations from [Bochman, 1994] These results have general consequences concerning relationship between different formalizations of nonmonotonic reasoning.