An overview of possibilistic handling of default reasoning, with experimental studies
Synthese 146 (1-2):53 - 70 (2005)
| Abstract | . This paper first provides a brief survey of a possibilistic handling of default rules. A set of default rules of the form, “generally, from α deduce β”, is viewed as the family of possibility distributions satisfying constraints expressing that the situation where α and β is true has a greater plausibility than the one where a and - β is true. When considering only the subset of linear possibility distributions, the well-known System P of postulates proposed by Kraus, Lehmann and Magidor, has been obtained. We also present two rational extensions: one based on the minimum specificity principle and the other is based on the lexicographic ordering. The second part of the paper presents an empirical study of three desirable properties for a consequence relation that capture default reasoning: Rationality, Property Inheritance and Ambiguity Preservation. An experiment is conducted to investigate 13 patterns of inference for the test of these properties. Our experimental apparatus confirms previous results on the relevance of System P, and enforces the psychological relevance of the studied properties | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAlex Lascarides, Ted Briscoe, Nicholas Asher & Ann Copestake (1996). Order Independent and Persistent Typed Default Unification. Linguistics and Philosophy 19 (1):1 - 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).
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.
Yao-Hua Tan (1997). Is Default Logic a Reinvention of Inductive-Statistical Reasoning? Synthese 110 (3):357-379.
Gregory Wheeler & Carlos Damasio (2004). An Implementation of Statistical Default Logic. In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
Francis Jeffry Pelletier & Renée Elio (2005). The Case for Psychologism in Default and Inheritance Reasoning. Synthese 146 (1-2):7 - 35.
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.
Beihai Zhou & Yi Mao (2006). A Base Logic for Default Reasoning. Frontiers of Philosophy in China 1 (4):688-709.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,602 of 549,007 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
