Additional Key Words and Phrases: fuzzy logic, fuzzy sets, first order predicate calculus, problem-solving systems, question-answering systems, resolution principle, uncertainty, completeness theorems
Selected references
- Martin Davis and Hilary Putnam. A computing procedure for quantification theory. Journal of the ACM, 7(3):201-215, July 1960.
- Richard C. T. Lee and Chin-Liang Chang. Some properties of fuzzy logic. Information and Control, 19(5):417-431, December 1971.
- J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the ACM, 12(1):23-41, January 1965.
- James R. Slagle. Interpolation theorems for resolution in lower predicate calculus. Journal of the ACM, 17(3):535-542, July 1970.
- L. A. Zadeh. Fuzzy sets. Information and Control, 8(3):338-353, June 1965.
- L. A. Zadeh. Fuzzy algorithms. Information and Control, 12(2):94-102, February 1968.