Semantical considerations on nonmonotonic logic
Artificial Intelligence
A first-order conditional logic for prototypical properties
Artificial Intelligence
A logical framework for default reasoning
Artificial Intelligence
An approach to default reasoning based on a first-order conditional logic: revised report
Artificial Intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Probabilistic semantics for nonmonotonic reasoning: a survey
Proceedings of the first international conference on Principles of knowledge representation and reasoning
What does a conditional knowledge base entail?
Artificial Intelligence
Conditional entailment: bridging two approaches to default reasoning
Artificial Intelligence
Conditional logics for default reasoning and belief revision
Conditional logics for default reasoning and belief revision
Handbook of logic in artificial intelligence and logic programming (vol. 3)
A preference-based approach to default reasoning: preliminary report
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Hi-index | 0.00 |
An approach to nonmonotonic inference based on a closure operation on a conditional knowledge base is presented. The central idea is that, given a theory of default conditionals, an extension to the theory le defined that satisfies certain intuitive restrictions Two notions for forming an extension are given, corresponding to the incorporation of irrelevant properties in conditionals and of transitivity among conditionals, in this approach these notions coincide Several equivalent definitions for an extension are developed general nonconstructive definitions, and a general "pseudo-iterative" definition Reasoning with irrelevant properties is correctly handled, as is specificity, reasoning within exceptional circumstances, and inheritance reasoning Tina approach is intented to ultimately serve as the proof-theoretic analogue to an extant semantic development based on preference orderings among possible worlds.