System-Z+: a formalism for reasoning with variable-strength defaults
作者： Judea Pearl , Moisés Goldszmidt
DOI:
关键词:
摘要: We develop a formalism for reasoning with defaults that are expressed different levels of firmness. Necessary and sufficient conditions consistency established, unique ranking the rules is found, called Z+, which renders models as normal possible subject to conditions. provide necessary machinery testing consistency, computing Z+ drawing set plausible conclusions it entails.
参考文章(12)
Judea Pearl, Probabilistic semantics for nonmonotonic reasoning: a survey principles of knowledge representation and reasoning. pp. 505- 516 ,(1989)
Paul Morris, Judea Pearl, Moisés Goldszmidt, A maximum entropy approach to nonmonotonic reasoning national conference on artificial intelligence. pp. 646- 652 ,(1990)
Yoav Shoham, Nonmonotonic logics: meaning and utility international joint conference on artificial intelligence. pp. 388- 393 ,(1987)
Judea Pearl, Hector Alberto Geffner, Default Reasoning: Causal and Conditional Theories ,(1992)
John McCarthy, Applications of circumscription to formalizing common-sense knowledge Artificial Intelligence. ,vol. 28, pp. 153- 166 ,(1987) , 10.1016/0004-3702(86)90032-9
Sarit Kraus, Daniel Lehmann, Menachem Magidor, Nonmonotonic reasoning, preferential models and cumulative logics Artificial Intelligence. ,vol. 44, pp. 167- 207 ,(1990) , 10.1016/0004-3702(90)90101-5
Wolfgang Spohn, Ordinal Conditional Functions: A Dynamic Theory of Epistemic States Causation in Decision, Belief Change, and Statistics. pp. 105- 134 ,(1988) , 10.1007/978-94-009-2865-7_6
Vladimir Lifshitz, Circumscriptive theories: A logic-based framework for knowledge representation Journal of Philosophical Logic. ,vol. 17, pp. 391- 441 ,(1988) , 10.1007/BF00297512
Judea Pearl, System Z: A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning theoretical aspects of rationality and knowledge. pp. 121- 135 ,(1990)
R. Reiter, A logic for default reasoning Artificial Intelligence. ,vol. 13, pp. 68- 93 ,(1987) , 10.1016/0004-3702(80)90014-4