Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata
Contributor : Publications Loria <>
Submitted on : Monday, September 25, 2006 - 5:02:02 PM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM


  • HAL Id : inria-00098492, version 1



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



Record views