A directly cautious theory of defeasible consequence for default logic via the notion of general extension
Artificial Intelligence 109 (1-2):71-109 (1999)
|Abstract||This paper introduces a generalization of Reiter’s notion of “extension” for default logic. The main difference from the original version mainly lies in the way conﬂicts among defaults are handled: in particular, this notion of “general extension” allows defaults not explicitly triggered to pre-empt other defaults. A consequence of the adoption of such a notion of extension is that the collection of all the general extensions of a default theory turns out to have a nontrivial algebraic structure. This fact has two major technical fall-outs: ﬁrst, it turns out that every default theory has a general extension; second, general extensions allow one to deﬁne a well-behaved, skeptical relation of defeasible consequence for default theories, satisfying the principles of Reﬂexivity, Cut, and Cautious Monotonicity formulated by D. Gabbay|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Angelo Gilio (2005). Probabilistic Logic Under Coherence, Conditional Interpretations, and Default Reasoning. Synthese 146 (1-2):139 - 152.
Mario Gómez-Torrente (2006). Rigidity and Essentiality. Mind 115 (458):227-260.
Frederick Maier & Donald Nute (2010). Well-Founded Semantics for Defeasible Logic. Synthese 176 (2):243 - 274.
Dov M. Gabbay (1995). A General Theory of Structured Consequence Relations. Theoria 10 (2):49-78.
Gregory Wheeler & Carlos Damasio (2004). An Implementation of Statistical Default Logic. In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
Ariel Cohen, Michael Kaminski & Johann A. Makowsky (2008). Notions of Sameness by Default and Their Application to Anaphora, Vagueness, and Uncertain Reasoning. Journal of Logic, Language and Information 17 (3):285-306.
Gregory Wheeler (2004). A Resource-Bounded Default Logic. In J. Delgrande & T. Schaub (eds.), Proceedings of NMR 2004. AAAI.
Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri (1994). Defaults as Restrictions on Classical Hilbert-Style Proofs. Journal of Logic, Language and Information 3 (4):303-326.
Paolo Liberatore (2007). Consistency Defaults. Studia Logica 86 (1):89 - 110.
Added to index2009-01-28
Total downloads4 ( #188,769 of 722,773 )
Recent downloads (6 months)0
How can I increase my downloads?