\(\mathcal{R}\mathcal{E}\mathcal{S}\): A formalism for reasoning with relative-strength defaults
作者： Z. An , M. McLeish
DOI: 10.1007/BFB0028175
关键词: Formalism (philosophy of mathematics) 、 Discrete mathematics 、 Commonsense reasoning 、 Relative strength 、 Mathematics 、 Knowledge representation and reasoning
摘要: \(\mathcal{R}\mathcal{E}\mathcal{S}\) is a system for reasoning about evidential support relationships between statements[1, 2]. In \(\mathcal{R}\mathcal{E}\mathcal{S}\), the preferences of these supports are represented symbolically, by directly comparing them, instead numerical degrees. Z+ formalism with variable-strength defaults[5] which provides mechanism to compute minimum admissible ranking models (subject consistency condition) from given integer strengths defaults.
springer.com
sci-hub.se 参考文章(11)
Judea Pearl, Moisés Goldszmidt, System-Z+: a formalism for reasoning with variable-strength defaults national conference on artificial intelligence. pp. 399- 404 ,(1991)
Judea Pearl, Moisés Goldszmidt, Rank-based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning about Evidence and Actions. principles of knowledge representation and reasoning. pp. 661- 672 ,(1992)
Piero P Bonissone, David A Cyrluk, James W Goodwin, Jonathan Stillman, None, Uncertainty and Incompleteness: Breaking the Symmetry of Defeasible Reasoning uncertainty in artificial intelligence. ,vol. 10, pp. 67- 86 ,(1990) , 10.1016/B978-0-444-88738-2.50013-0
Joseph Y. Halpern, Michael O. Rabin, A logic to reason about likelihood Artificial Intelligence. ,vol. 32, pp. 379- 405 ,(1987) , 10.1016/0004-3702(87)90093-2
Henry E. Kyburg,, The Reference Class Philosophy of Science. ,vol. 50, pp. 374- 397 ,(1983) , 10.1086/289125
Z. An, D.A. Bell, J.G. Hughes, Relation-based evidential reasoning International Journal of Approximate Reasoning. ,vol. 8, pp. 231- 251 ,(1993) , 10.1016/0888-613X(93)90003-V
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
Vladimir Lifshitz, Circumscriptive theories: A logic-based framework for knowledge representation Journal of Philosophical Logic. ,vol. 17, pp. 391- 441 ,(1988) , 10.1007/BF00297512
Glenn Shafer, A mathematical theory of evidence ,(1976)
Benjamin N. Grosof, Generalizing prioritization principles of knowledge representation and reasoning. pp. 289- 300 ,(1991)