General theory of cumulative inference
Proceedings of the 2nd international workshop on Non-monotonic reasoning
What the lottery paradox tells us about default reasoning
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Cumulative default logic: in defense of nonmonotonic inference rules
Artificial Intelligence
On constrained default theories
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Introduction to Default Logic
On Commitment and Cumulativity in Default Logics
ECSQAU Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
A Tableau-Based Characterisation for Default Logic
ECSQAU Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
An Approach To Context-Based Default Reasoning
Fundamenta Informaticae
| Hi-index | 0.00 |
We introduce a uniform semantical framework for various default logics in terms of Kripke structures. This possible worlds approach provides a simple but meaningful instrument for comparing existing default logics in a unified setting. The possible worlds semantics is introduced by means of constrained default logic. Also, it easily deals with Brewka's cumulative default logic. The semantics is then extended to Reiter's original default logic as well as Łukaszewicz' variant. The possible worlds approach remedies several difficulties encountered in former proposals aiming at individual default logics. Notably, it provides the first pure model-theoretic semantics for Łukaszewicz' variant of default logic. Since the semantical framework is presented from the perspective of “commitment to assumptions” we also obtain a very natural modal interpretation of the notion of commitment.