论文信息 - Support Logic Programming - 字舞流文

Support Logic Programming

This paper describes a support logic programming system which uses a theory of support pairs to model various forms of uncertainty.

[1] Glenn Shafer,et al. A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[2] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.

[3] Brian R. Gaines,et al. Fuzzy and Probabilistic Uncertainty Logics , 1978, Inf. Control..

[4] Lotfi A. Zadeh,et al. A Theory of Approximate Reasoning , 1979 .

[5] L. Kohout,et al. FUZZY POWER SETS AND FUZZY IMPLICATION OPERATORS , 1980 .

[6] B. Pilsworth,et al. Axiomatic approach to implication for approximate reasoning with fuzzy logic , 1980 .

[7] Didier Dubois,et al. Fuzzy sets and systems ' . Theory and applications , 2007 .

[8] Brian R. Gaines,et al. New Directions in the Analysis and Interactive Elicitation of Personal Construct Systems , 1980, Int. J. Man Mach. Stud..

[9] Matthew L. Ginsberg,et al. Non-Monotonic Reasoning Using Dempster's Rule , 1984, AAAI.

[10] Peter Achinstein,et al. The Concept of Evidence , 1984 .

[11] George N. Schlesinger. The range of epistemic logic , 1985 .

[12] Matthew L. Ginsberg,et al. Multi-Valued Logics , 1986, AAAI.

[13] Trevor P Martin,et al. The implementation of fprolog—a fuzzy prolog interpreter , 1987 .

[14] R. Yager. On the dempster-shafer framework and new combination rules , 1987, Inf. Sci..