A Four-Valued Fuzzy Propositional Logic

Straccia, Umberto

A Four-Valued Fuzzy Propositional Logic

Download BibTeX Cite

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Automated Reasoning. Pages 128-134.

Abstract

It is generally accepted that knowledge based sys tems would be smarter and more robust if they can manage inconsistent, incomplete or imprecise knowledge. This paper is about a four-valued fuzzy propositional logic, which is the result of the combination of a four-valued logic and a fuzzy propositional logic. Besides the nice computational properties, the logic enables us also to deal both with inconsistency and imprecise predicates in a simple way.

Umberto Straccia. 1997. A Four-Valued Fuzzy Propositional Logic. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97. IJCAI, 128–134. https://ijcai.org/proceedings/1997/20

@inproceedings{ijcai1997p20,
  title     = {A Four-Valued Fuzzy Propositional Logic},
  author    = {Straccia, Umberto},
  booktitle = {Proceedings of the Fifteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-97}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Martha E. Pollack},
  pages     = {128--134},
  year      = {1997},
  note      = {Automated Reasoning},
  url       = {https://ijcai.org/proceedings/1997/20},
}

TY  - CPAPER
TI  - A Four-Valued Fuzzy Propositional Logic
AU  - Straccia, Umberto
T2  - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1997
SP  - 128
EP  - 134
UR  - https://ijcai.org/proceedings/1997/20
ER  -