Semantical considerations on nonmonotonic logic
Artificial Intelligence
A semantical approach to nonmonotonic logics
Readings in nonmonotonic reasoning
Constructive default logic and the control of defeasible reasoning
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Multi-content systems as a specification framework for complex reasoning systems
Formal specification of complex reasoning systems
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
NM3 - A Three-Valued Cumulative Non-Monotonic Formalism
JELIA '90 Proceedings of the European Workshop on Logics in AI
Non-Monotonic Reasoning by Monotonic Means
JELIA '90 Proceedings of the European Workshop on Logics in AI
A Temporal Model Theory for Default Logic
ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Formal Semantics of Temporal Epistemic Reflection
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
A Default Logic Based On Epistemic States
Fundamenta Informaticae
| Hi-index | 0.00 |
We present an epistemic default logic, based on the metaphore of ameta-level architecture. Upward reflection is formalized by a nonmonotonicentailment relation, based on the objective facts that are either known orunknown at the object level. Then, the meta (monotonic) reasoning processgenerates a number of ’’default-beliefs‘‘ of object-level formulas. Weextend this framework by proposing a mechanism to reflect these defaultsdown. 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 defaultreasoning in meta-level formalisms which can be conceived as labeledbranching trees. Thus, descending the tree corresponds to shifts in timethat model downward reflection, whereas the branching of the treecorresponds to ways of combining possible defaults. All together, thisyields an operational or procedural semantics of reasoning by default,which admits one to reason about it by means of branching-time temporallogic. Finally, we define sceptical and credulous entailment relationsbased on these temporal models and we characterize Reiter extensions inour semantics.