Fuzzy Logic and the Resolution Principle

Lee, Richard C. T.

Fuzzy Logic and the Resolution Principle

Download BibTeX Cite

Proceedings of the Second International Joint Conference on Artificial Intelligence. Pages 560-566.

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.

Richard C. T. Lee. 1971. Fuzzy Logic and the Resolution Principle. In Proceedings of the Second International Joint Conference on Artificial Intelligence, IJCAI-71. IJCAI, 560–566. https://ijcai.org/proceedings/1971/59

@inproceedings{ijcai1971p59,
  title     = {Fuzzy Logic and the Resolution Principle},
  author    = {Lee, Richard C. T.},
  booktitle = {Proceedings of the Second International Joint Conference on
               Artificial Intelligence, {IJCAI-71}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {D.C. Cooper},
  pages     = {560--566},
  year      = {1971},
  url       = {https://ijcai.org/proceedings/1971/59},
}

TY  - CPAPER
TI  - Fuzzy Logic and the Resolution Principle
AU  - Lee, Richard C. T.
T2  - Proceedings of the Second International Joint Conference on Artificial Intelligence, IJCAI-71
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1971
SP  - 560
EP  - 566
UR  - https://ijcai.org/proceedings/1971/59
ER  -