Frontiers of Philosophy in China 1 (4):688-709 (2006)
AbstractBased on a close study of benchmark examples in default reasoning, such as Nixon Diamond, Penguin Principle, etc., this paper provides an in depth analysis of the basic features of default reasoning. We formalize default inferences based on Modus Ponens for Default Implication, and mark the distinction between "local inferences"(to infer a conclusion from a subset of given premises) and "global inferences"(to infer a conclusion from the entire set of given premises). These conceptual analyses are captured by a formal semantics that is built upon the set-selection function technique. A minimal logic system M of default reasoning that accommodates Modus Ponens for Default Implication and suitable for local inferences is proposed, and its soundness is proved
Similar books and articles
An Overview of Possibilistic Handling of Default Reasoning, with Experimental Studies.Salem Benferhat, Jean F. Bonnefon & Rui Silva Nevedas - 2005 - Synthese 146 (1-2):53 - 70.
An Implementation of Statistical Default Logic.Gregory Wheeler & Carlos Damasio - 2004 - In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
Defaults as Restrictions on Classical Hilbert-Style Proofs.Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri - 1994 - Journal of Logic, Language and Information 3 (4):303-326.
Is Default Logic a Reinvention of Inductive-Statistical Reasoning?Yao-Hua Tan - 1997 - Synthese 110 (3):357-379.
Notions of Sameness by Default and Their Application to Anaphora, Vagueness, and Uncertain Reasoning.Ariel Cohen, Michael Kaminski & Johann A. Makowsky - 2008 - Journal of Logic, Language and Information 17 (3):285-306.
Reasoning Dynamically About What One Says.Nicholas Asher & Alex Lascarides - 2011 - Synthese 183 (S1):5-31.
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.
Added to PP
Historical graph of downloads
Citations of this work
No citations found.
References found in this work
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.
An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report.James P. Delgrande - 1988 - Artificial Intelligence 36 (1):63-90.
A First-Order Conditional Logic for Prototypical Properties.James P. Delgrande - 1987 - Artificial Intelligence 33 (1):105-130.