Semantical considerations on nonmonotonic logic
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
The mathematics of inheritance systems
The mathematics of inheritance systems
Hierarchic autoepistemic theories for non-monotonic reasoning: preliminary report
Proceedings of the 2nd international workshop on Non-monotonic reasoning
A skeptical theory of inheritance in nonmonotonic semantic networks
Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Cumulative default logic: in defense of nonmonotonic inference rules
Artificial Intelligence
A mathematical treatment of defeasible reasoning and its implementation
Artificial Intelligence
Conditional entailment: bridging two approaches to default reasoning
Artificial Intelligence
Resolving ambiguity in nonmonotonic inheritance hierarchies
Artificial Intelligence
The complexity of path-based defeasible inheritance
Artificial Intelligence
A nonmonotonic reasoning formalism using implicit specificity information
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Some direct theories of nonmonotonic inheritance
Handbook of logic in artificial intelligence and logic programming (vol. 3)
On Stein's paper: resolving ambiguity in nonmonotonic inheritance hierarchies
Artificial Intelligence
Reasoning about priorities in default logic
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Qualitative probabilities for default reasoning, belief revision, and causal modeling
Artificial Intelligence
On Sandewall's paper: Nonmonotonic inference rules for multiple inheritance with exceptions
Artificial Intelligence
Compiling specificity into approaches to nonmonotonic reasoning
Artificial Intelligence
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Preferred answer sets for extended logic programs
Artificial Intelligence
Compiling defeasible inheritance networks to general logic programs
Artificial Intelligence
Reasoning with Logic Programming
Reasoning with Logic Programming
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Reasoning with Prioritized Defaults
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
Adding Priorities and Specificity to Default Logic
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Preferred Arguments are Harder to Compute than Stable Extension
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Nonmonotonic Inheritance, Argumentation and Logic Programming
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
System Z: A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge
Towards efficient default reasoning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Complexity of argument-based default reasoning with specificity
AI Communications
Semantics for a theory of defeasible reasoning
Annals of Mathematics and Artificial Intelligence
Complexity of argument-based default reasoning with specificity
AI Communications
Aspects and modular reasoning in nonmonotonic logic
Proceedings of the 6th workshop on Foundations of aspect-oriented languages
Reasoning about aspects with common sense
Proceedings of the 7th international conference on Aspect-oriented software development
Towards Context Sensitive Defeasible Rules
Computational Logic in Multi-Agent Systems
An Argumentation Framework Based on Conditional Priorities
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Skepticism relations for comparing argumentation semantics
International Journal of Approximate Reasoning
Logic Programming with Defaults and Argumentation Theories
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Gradual valuation for bipolar argumentation frameworks
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Hi-index | 0.00 |
We present a new priority-based approach to reasoning with specificity which subsumes inheritance reasoning. The new approach differs from other priority-based approaches in the literature in the way priority between defaults is handled. Here, it is conditional rather than unconditional as in other approaches. We show that any unconditional handling of priorities between defaults as advocated in the literature until now is not sufficient to capture general defeasible inheritance reasoning. We propose a simple and novel argumentation semantics for reasoning with specificity taking the conditionality of the priorities between defaults into account. Since the proposed argumentation semantics is a form of stable semantics of nonmonotonic reasoning, it inherits a common problem of the latter where it is not always defined for every default theory. We propose a class of stratified default theories for which the argumentation semantics is always defined. We also show that acyclic and consistent inheritance networks are stratified. We prove that the argumentation semantics satisfies the basic properties of a nonmonotonic consequence relation such as deduction, reduction, conditioning, and cumulativity for well-defined and stratified default theories. We give a modular and polynomial transformation of default theories with specificity into semantically equivalent Reiter default theories.