Journal of Logic, Language and Information 7 (3):341-367 (1998)
|Abstract||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||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Hector Geffner (1992). High-Probabilities, Model-Preference and Default Arguments. Minds and Machines 2 (1).
Beihai Zhou & Yi Mao (2006). A Base Logic for Default Reasoning. Frontiers of Philosophy in China 1 (4):688-709.
Joeri Engelfriet & Jan Treur (2002). Linear, Branching Time and Joint Closure Semantics for Temporal Logic. Journal of Logic, Language and Information 11 (4):389-425.
Gregory Wheeler & Carlos Damasio (2004). An Implementation of Statistical Default Logic. In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
G. Aldo Antonelli (1999). A Directly Cautious Theory of Defeasible Consequence for Default Logic Via the Notion of General Extension. Artificial Intelligence 109 (1-2):71-109.
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.
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.
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 & Jan Treur (1998). An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. Journal of Logic, Language and Information 7 (3):369-388.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #274,921 of 549,119 )
Recent downloads (6 months)0
How can I increase my downloads?