Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Reasoning with qualitative probabilities can be tractable
UAI '92 Proceedings of the eighth conference on Uncertainty in Artificial Intelligence
Qualitative probabilities: a normative framework for commonsense reasoning
Qualitative probabilities: a normative framework for commonsense reasoning
Default reasoning: causal and conditional theories
Default reasoning: causal and conditional theories
Preferred subtheories: an extended logical framework for default reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A maximum entropy approach to nonmonotonic reasoning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
System-Z+: a formalism for reasoning with variable-strength defaults
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
System Z+ [Goldszmidt and Pearl, 1991, Goldszmidt, 1992] is a formalism for reasoning with normality defaults of the form "typically if ϕ then ψ (with strength δ)" where δ is a positive integer. The system has a critical shortcoming in that it does not sanction inheritance across exceptional subclasses. In this paper we propose an extension to System Z+ that rectifies this shortcoming by extracting additional conditions between worlds from the defaults database. We show that the additional constraints do not change the notion of the consistency of a database. We also make comparisons with competing default reasoning systems.