Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Qualitative probabilities: a normative framework for commonsense reasoning
Qualitative probabilities: a normative framework for commonsense reasoning
Qualitative probabilities for default reasoning, belief revision, and causal modeling
Artificial Intelligence
Default Reasoning: Causal and Conditional Theories
Default Reasoning: Causal and Conditional Theories
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
Maximum entropy and variable strength defaults
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
| Hi-index | 0.00 |
We present Z-log - a practical system that employs the system-Z [13] semantics. Z-log incurs polynomial cost for compilation and entailment in the horn and q-horn [2] cases. Z-log's complexity is intractable in the unrestricted case - but intractable in the number of defaults that cause the violation of the q-horn property.We present here initial performance results over two alternative rules-bases. The results indicate that Z-log currently scales to problems on the order of 1000's of propositional rules when the rules are in q-Horn form. We shall be applying Z-log in cognitive disease diagnosis.