Journal of Logic, Language and Information 7 (3):341-367 (1998)
We present an epistemic default logic, based on the metaphore of a meta-level architecture. Upward reflection is formalized by a nonmonotonic entailment relation, based on the objective facts that are either known or unknown at the object level. Then, the meta (monotonic) reasoning process generates a number of default-beliefs of object-level formulas. We extend this framework by proposing a mechanism to reflect these defaults down. Such a reflection is seen as essentially having a temporal flavour: defaults derived at the meta-level are projected as facts in a next object level state. In this way, we obtain temporal models for default reasoning in meta-level formalisms which can be conceived as labeled branching trees. Thus, descending the tree corresponds to shifts in time that model downward reflection, whereas the branching of the tree corresponds to ways of combining possible defaults. All together, this yields an operational or procedural semantics of reasoning by default, which admits one to reason about it by means of branching-time temporal logic. Finally, we define sceptical and credulous entailment relations based on these temporal models and we characterize Reiter extensions in our semantics.
|Keywords||Epistemic states default reasoning meta-level architectures temporal models|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
High-Probabilities, Model-Preference and Default Arguments.Hector Geffner - 1992 - Minds and Machines 2 (1):51-70.
A Base Logic for Default Reasoning.Zhou Beihai & Mao Yi - 2006 - Frontiers of Philosophy in China 1 (4):688-709.
Linear, Branching Time and Joint Closure Semantics for Temporal Logic.Joeri Engelfriet & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (4):389-425.
An Implementation of Statistical Default Logic.Gregory Wheeler & Carlos Damasio - 2004 - In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
A Directly Cautious Theory of Defeasible Consequence for Default Logic Via the Notion of General Extension.G. Aldo Antonelli - 1999 - Artificial Intelligence 109 (1-2):71-109.
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (2):195-225.
A Resource-Bounded Default Logic.Gregory Wheeler - 2004 - In J. Delgrande & T. Schaub (eds.), Proceedings of NMR 2004. AAAI.
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.
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 index2009-01-28
Total downloads11 ( #400,871 of 2,164,867 )
Recent downloads (6 months)1 ( #348,012 of 2,164,867 )
How can I increase my downloads?