Rough Sets Congruences and Diagrams

Laurent Vigneron 1 Anita Wasilewska 2
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The study of congruences in topological spaces is a very old and difficult problem (McKinsey, Tarski 1942). It has been re-discovered recently in connection to a rough equality of sets (Pawlak 1989). The rough equality is a congruence with respect to rough operations of lower and upper approximation and a set complement, but fails to be the congruence with respect to set union and intersection. We define here new operators corresponding to the union and intersection of sets so that rough equality becomes a congruence with respect to them. In order to motivate their definition we introduce a new technique called Rough Diagrams. Rough Diagrams correspond to classical notion of Ven Diagrams and can also serve as a new and very intuitive way of contructing counter models for formulas that are not tautologies of modal logic S5. Finally, we use an automated theorem proving system daTac, to prove that the quotient algebra with respect to the rough congruence is a topological quasi-Boolean algebra.
Type de document :
Communication dans un congrès
R. Slowinski. 16th European Conference on Operational Research (EURO XVI), session on Rough Sets, 1998, Brussels, Belgium, 1 p, 1998
Liste complète des métadonnées

https://hal.inria.fr/inria-00098492
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:02:02
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58

Identifiants

  • HAL Id : inria-00098492, version 1

Collections

Citation

Laurent Vigneron, Anita Wasilewska. Rough Sets Congruences and Diagrams. R. Slowinski. 16th European Conference on Operational Research (EURO XVI), session on Rough Sets, 1998, Brussels, Belgium, 1 p, 1998. 〈inria-00098492〉

Partager

Métriques

Consultations de la notice

88