An interpretation of default logic in minimal temporal epistemic logic
Journal of Logic, Language and Information 7 (3):369-388 (1998)
| Abstract | When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in this area is Reiter's Default Logic (1980). A characteristic of this formalism is that the applicability of default (inference) rules can only be verified in the future of the reasoning process. We describe an interpretation of default logic in temporal epistemic logic which makes this characteristic explicit. It is shown that this interpretation yields a semantics for default logic based on temporal epistemic models. A comparison between the various semantics for default logic will show the differences and similarities of these approaches and ours. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRobert A. Kowalski & Francesca Toni (1996). Abstract Argumentation. Artificial Intelligence and Law 4 (3-4):275-296.
Henry Prakken (1996). Two Approaches to the Formalisation of Defeasible Deontic Reasoning. Studia Logica 57 (1):73 - 90.
Yao-Hua Tan (1997). Is Default Logic a Reinvention of Inductive-Statistical Reasoning? Synthese 110 (3):357-379.
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.
Beihai Zhou & Yi Mao (2006). A Base Logic for Default Reasoning. Frontiers of Philosophy in China 1 (4):688-709.
Gregory Wheeler & Carlos Damasio (2004). An Implementation of Statistical Default Logic. In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
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.
Joeri Engelfriet, Catholijn M. Jonker & Jan Treur (2002). Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. Journal of Logic, Language and Information 11 (2):195-225.
Wiebe van der Hoek, John-Jules Meyer & Jan Treur (1998). Temporalizing Epistemic Default Logic. Journal of Logic, Language and Information 7 (3):341-367.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads13 ( #88,007 of 549,252 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
