Formalizing nonmonotonic reasoning systems
Artificial Intelligence
The mathematics of inheritance systems
The mathematics of inheritance systems
The FRL Manual
Relating Defeasible Logic to Extended Logic Programs
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Relating Defeasible and Default Logic
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
A Comparison of Sceptical NAF-Free Logic Programming Approaches
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Default Reasoning with Specificity
CL '00 Proceedings of the First International Conference on Computational Logic
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
International Symposium on Symbolic and Algebraic Computation
A skeptical theory of inheritance in nonmonotonic semantic networks
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
A skeptical theory of inheritance in nonmonotonic semantic networks
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
On the complexity of monotonic inheritance with roles
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Rationality and its roles in reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Incorporating nonmonotonic reasoning in horn clause theories
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Defeasible inheritance with doubt index and its axiomatic characterization
Artificial Intelligence
Human and unhuman commonsense reasoning
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Handling exceptions in logic programming without negation as failure
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Sequential thresholds: context sensitive default extensions
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Representing context-sensitive knowledge in a network formalism: a preliminary report
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
International Journal of Approximate Reasoning
A Critical Examination Of Model Preference Defaults
Fundamenta Informaticae
Defeasible inheritance-based description logics
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
Early attempts at combining multiple inheritance with nonmonotonic reasoning were based on straight forward extensions of tree-structured inheritance systems, and were theoretically unsound. In The Mathematics of Inheritance Systems, or TMOIS, Touretzky described two problems these systems cannot handle: reasoning in the presence of true but redundant assertions, and coping with ambiguity. TMOIS provided a definition and analysis of a theoretically sound multiple inheritance system, accompanied by inference algorithms. Other definitions for inheritance have since been proposed that are equally sound and intuitive, but do not always agree with TMOIS. At the heart of the controversy is a clash of intuitions about certain fundamental issues such as skepticism versus credulity, the direction in which inheritance paths are extended, and classical versus intuitive notions of consistency. Just as there are alternative logics, there may be no single "best" approach to nonmonotonic multiple inheritance.