Fuzzy logic and the resolution principle

Authors:
Richard C. T. Lee
Affiliations:
National Institutes of Health, Bethesda, Maryland
Venue:
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Year:
1971

Citing 8
Cited 0

A Computing Procedure for Quantification Theory

Journal of the ACM (JACM)
A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
Interpolation Theorems for Resolution in Lower Predicate Calculus

Journal of the ACM (JACM)
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving
A completeness theorem and a computer program for finding theorems derivable from given axioms

A completeness theorem and a computer program for finding theorems derivable from given axioms
Problem-Solving Methods in Artificial Intelligence

Problem-Solving Methods in Artificial Intelligence
Fuzzy Logic and its Application to Switching Systems

IEEE Transactions on Computers
On the Execution of Fuzzy Programs Using Finite-State Machines

IEEE Transactions on Computers

Quantified Score

Hi-index	0.01

Visualization

Abstract

Problem-solving systems using two-valued logic suffer from one drawback, they cannot handle fuzzy, or uncertain, information. In this paper, the author recommends the use of fuzzy logic, which is based on the concept of fuzzy sets and first order predicate calculus. It is proved that, in fuzzy logic, a set of clauses is unsatisfiable iff it is unsatisfiable in two-valued logic. It is also shown that if the most unreliable clause of a set of clauses has a truth-value a0.5, then all the logical consequences obtained by repeatedly applying the resolution principle has truth-value never smaller than a. Implications of these results for applying fuzzy logic to problem-solving are discussed.