Semantical considerations on nonmonotonic logic
Artificial Intelligence
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
Alternative approaches to default logic
Artificial Intelligence
Introduction to Default Logic
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
On Commitment and Cumulativity in Default Logics
ECSQAU Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
KI '94 Proceedings of the 18th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A context-based framework for default logics
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Possible Worlds Semantics For Default Logics
Fundamenta Informaticae
Active logic semantics for a single agent in a static world
Artificial Intelligence
Equilibria in heterogeneous nonmonotonic multi-context systems
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
In this paper, we elaborate the idea that contexts provide an important and meaningful notion in default reasoning. We demonstrate this by looking at Reiter's default logic that has been the prime candidate for formalizing consistency-based default reasoning ever since its introduction in 1980. This results in a new context-based approach to default logic, called contextual default logic. The approach extends the notion of a default rule and supplies each default extension with a context. In particular, contextual default logic provides a unified framework for default logics. That is, it allows for embedding existing variants of default logic along with more traditional approaches like the closed world assumption. Since this is accomplished in a homogeneous way, we gain additional expressiveness by combining the diverse approaches. A key advantage of contextual default logic is that it provides a syntactical instrument for comparing existing default logics in a unified setting. In particular, the approach reveals that existing default logics mainly differ in the way they deal with an explicit or implicit underlying context.