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 Nonmonotonic reasoning  default logic  temporal logic  epistemic logic  preferential entailment
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1008243611454
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,827
Through your library

References found in this work BETA

A Logic for Default Reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Minimal Temporal Epistemic Logic.Joeri Engelfriet - 1996 - Notre Dame Journal of Formal Logic 37 (2):233-259.
Temporal Theories of Reasoning.Joeri Engelfriet & Jan Treur - 1995 - Journal of Applied Non-Classical Logics 5 (1):97-119.

View all 7 references / Add more references

Citations of this work BETA

Logic Programming as Classical Inference.Eric A. Martin - 2015 - Journal of Applied Logic 13 (3):316-369.

Add more citations

Similar books and articles

Abstract Argumentation.Robert A. Kowalski & Francesca Toni - 1996 - Artificial Intelligence and Law 4 (3-4):275-296.
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.
A Base Logic for Default Reasoning.Beihai Zhou & Yi Mao - 2006 - Frontiers of Philosophy in China 1 (4):688-709.
A Resource-Bounded Default Logic.Gregory Wheeler - 2004 - In J. Delgrande & T. Schaub (eds.), Proceedings of NMR 2004. AAAI.
Temporalizing Epistemic Default Logic.Wiebe van der Hoek, John-Jules Meyer & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):341-367.

Analytics

Added to PP index
2009-01-28

Total views
95 ( #109,065 of 2,432,762 )

Recent downloads (6 months)
1 ( #464,144 of 2,432,762 )

How can I increase my downloads?

Downloads

My notes