Truth-functionality, rough sets and three-valued logics

Davide Ciucci (1, 2) , Didier Dubois (2)

1 DISCo - Dipartimento di Informatica Sistemistica e Comunicazione
2 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage

This paper investigates the significance of truthfunctional three valued logics of ill-known sets described by pairs of disjoint (or pairs of nested) subsets. In particular the case of three-valued logics of rough sets is studied in more details, showing that, while the mathematical underpinnings are sound, the relevance of these logics for reasoning about data-tables containing incomplete descriptions of objects is questionable.

Mots clés: Rough sets; three-valued logics; truth functionality; uncertainty

Domaines: Intelligence artificielle [cs.AI]

Davide Ciucci, Didier Dubois. Truth-functionality, rough sets and three-valued logics. 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2010), Multiple-Valued Logic Technical Committee of the IEEE Computer Society, May 2010, Barcelona, Spain. pp.98-103, ⟨10.1109/ISMVL.2010.26⟩. ⟨hal-03434428⟩