Graduate studies at Western
Journal of Logic, Language and Information 3 (4):303-326 (1994)
|Abstract||Since the earliest formalisation of default logic by Reiter many contributions to this appealing approach to nonmonotonic reasoning have been given. The different formalisations are here presented in a general framework that gathers the basic notions, concepts and constructions underlying default logic. Our view is to interpret defaults as special rules that impose a restriction on the juxtaposition of monotonic Hubert-style proofs of a given logicL. We propose to describe default logic as a logic where the juxtaposition of default proofs is subordinate to a restriction condition . Hence a default logic is a pair (L, ) where properties of the logic , like compactness, can be interpreted through the restriction condition . Different default systems are then given a common characterization through a specific condition on the logicL. We also prove cumulativity for any default logic (L, ) by slightly modifying the notion of default proof. We extend, in fact, the language ofL in a way close to that followed by Brewka in the formulation of his cumulative default system. Finally we show the existence of infinitely many intermediary default logics, depending on and called linear logics, which lie between Reiter's and ukaszewicz' versions of default logic.|
|Keywords||Artificial Intelligence Knowledge Representation Non-monotonic Reasoning Default Logic Proof Theory|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Henry Prakken (1996). Two Approaches to the Formalisation of Defeasible Deontic Reasoning. Studia Logica 57 (1):73 - 90.
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.
John Horty (2007). Reasons as Defaults. Philosophers' Imprint 7 (3):1-28.
Beihai Zhou & Yi Mao (2006). A Base Logic for Default Reasoning. Frontiers of Philosophy in China 1 (4):688-709.
Wiebe van der Hoek, John-Jules Meyer & Jan Treur (1998). Temporalizing Epistemic Default Logic. Journal of Logic, Language and Information 7 (3):341-367.
Gregory Wheeler & Carlos Damasio (2004). An Implementation of Statistical Default Logic. In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
G. Aldo Antonelli (1999). A Directly Cautious Theory of Defeasible Consequence for Default Logic Via the Notion of General Extension. Artificial Intelligence 109 (1-2):71-109.
Joeri Engelfriet & Jan Treur (1998). An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. Journal of Logic, Language and Information 7 (3):369-388.
Gregory Wheeler (2004). A Resource-Bounded Default Logic. In J. Delgrande & T. Schaub (eds.), Proceedings of NMR 2004. AAAI.
Paolo Liberatore (2007). Consistency Defaults. Studia Logica 86 (1):89 - 110.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?