This Article 
 Bibliographic References 
 Add to: 
Deductive Approximate Reasoning Systems
December 1991 (vol. 3 no. 4)
pp. 399-414

A formal deductive view for the theory of approximate reasoning, called AR-1, is introduced. A central feature of this framework is the view of propositions as statements involving the assignment of possible values to variables. A unified method for managing joint variables is given. AR-2, which allows for the introduction of probability theory into approximate reasoning, is presented. AR-5, a restrictive version of approximate reasoning, is also introduced.

[1] L. A. Zadeh, "A theory of approximate reasoning," inMachine Intelligence, vol. 9, Hayes, D. Michie, and L.I. Mikulich, Eds. New York: Wiley, 1979, pp. 149-194.
[2] L. A. Zadeh, "PRUF--A meaning representation language for natural languages,"Int. J. Man-Machine Studies, vol. 10, pp. 395-460.
[3] J. W. Robbin,Mathematical Logic: A First Course. New York: Benjamin, 1969.
[4] G. Shafer,A Mathematical Theory of Evidence. Princeton, NJ: Princeton University Press, 1976.
[5] A. P. Dempster, "Upper and lower probabilities induced by a multivalued mapping, "Ann. Math Statist., vol. 38, pp. 325-339, 1967.
[6] D. Maier,The Theory of Relational Databases. Rockville, MD: Computer Science Press, 1983.
[7] L.A. Zadeh, "Fuzzy sets as a basis for a theory of possibility,"Fuzzy Sets and Syst., vol. 1, pp. 3-28, 1978.
[8] E. Davis, "Constraint propagation with interval labels,"Artif. Intell., vol. 32, pp. 281-331, 1987.
[9] R. R. Yager, "Some extensions of constraint propagation of label sets,"Int. J. Approximate Reasoning, vol. 3, 417-435, 1989.
[10] D. Waltz, "Understanding line drawings of scenes with shadows." inThe Psychology of Computer-Vision, P. Winston, Ed. New York: McGraw-Hill, 1973.
[11] R. R. Yager, "Reasoning with uncertainty for expert systems." inProc. Ninth Int. Joint Conf. Artif. Intell., Los Angeles, CA, 1985, pp. 1295-1297.
[12] R. R. Yager, "Toward a general theory of reasoning with uncertainty part II: Probability,"Int. J. Man-Machine Studies, vol. 25, pp. 357-366, 1986.
[13] R. R. Yager, "The entailment principle for Dempster-Shafer granules,"Int. J. Intell. Syst., vol. 1, pp. 247-262, 1986.
[14] R. R. Yager, "Arithmetic and other operations on Dempster-Shafer structures,"Int. J. Man-Machine Studies, vol. 25, pp. 357-366, 1986.
[15] R. R. Yager, "On the Dempster-Shafer framework and new combination rules."Inform. Sci., vol. 41, pp. 93-137, 1987.
[16] M. L. Ginsberg,Readings in Nonmonotonic Reasoning, Palo Alto, CA: Morgan Kaufmann, 1987.
[17] R.R. Yager, "On the association between variables in expert systems including default relations,"Inform. Sci., vol. 50, pp. 241-274, 1990.
[18] R. R. Yager, "A generalized view of non-monotonic knowledge: A set theoretic perspective,"Int. J. General Studies, vol. 14, pp. 251-265, 1988.
[19] R. R. Yager, "A mathematical programming approach to inference with the capability to implement default rules,"Int. J. Man-Machine Studies, vol. 29, pp. 685-714, 1988.
[20] R. R. Yager, " Non-monotonic compatibility relations in the theory of evidence,"Int. J. Man-Machine Studies, vol. 29, pp. 517-537, 1988.
[21] R. R. Yager, "Using approximate reasoning to represent default knowledge."Artif. Intell., vol. 31, pp. 99-112, 1987.
[22] R. R. Yager, "Possibilistic qualification and default rules." inUncertainty in Knowledge Based Systems, B. Bouchon, and R. R. Yager Eds. Berlin, Germany: Springer-Verlag, 1987, pp. 41-57.
[23] R. R. Yager, "Default and approximate reasoning," inProc. Second IFSA Conf., Tokyo, 1987, pp. 690-692.
[24] R. R. Yager, "Default knowledge and measures of specificity."Inform. Sci., to be published.
[25] R. R. Yager, "Nonmonotonic set theoretic operators,"Fuzzy Sets and Syst., to be published.
[26] R. R. Yager, "Issues in commonsense reasoning," inProc. NAFIPS, San Francisco, CA, 1988.
[27] R. R. Yager, "Nonmonotonic inheritance systems"IEEE Trans. Syst. Man. Cybern., vol. 18, pp. 1028-1034, 1988.
[28] R. R. Yager, "On the representation of common sense knowledge by possibilistic reasoning,"Int. J. Man-Machine Studies, vol. 31. pp. 587-610. 1989.
[29] H. Prade, "A computational approach to approximate and plausible reasoning with applications to expert systems,"IEEE Trans. Pattern Anal. Machine Intell., vol. PAM-17, pp. 260-283, 1985.

Index Terms:
deductive approximate reasoning systems; fuzzy sets; AR-1; propositions; statements; joint variables; AR-2; probability theory; AR-5; restrictive version; fuzzy set theory; inference mechanisms; probability
R.R. Yager, "Deductive Approximate Reasoning Systems," IEEE Transactions on Knowledge and Data Engineering, vol. 3, no. 4, pp. 399-414, Dec. 1991, doi:10.1109/69.109102
Usage of this product signifies your acceptance of the Terms of Use.