{"type":"ScholarlyArticle","title":"Fuzzy Logic and the Resolution Principle","authors":[{"name":"Richard C. T. Lee","slug":"richard-c-t-lee","given":"Richard C. T.","family":"Lee","affiliation":""}],"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 twovalued logic. It is also shown that if the most unreliable clause of a set of clauses has a truth-value a>0.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.","doi":null,"url":"https://ijcai.org/proceedings/1971/59","pdf":"https://ijcai.org/proceedings/1971/0059.pdf","markdown":"https://ijcai.org/proceedings/1971/59.md","bibtex":"https://ijcai.org/proceedings/1971/bibtex/59","volume":{"slug":"1971","title":"Proceedings of the Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1971","url":"https://ijcai.org/proceedings/1971/","year":1971,"location":"London, UK","dates":"","editors":"D.C. Cooper","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":59,"pages":{"first":560,"last":566},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}