Rough Algebras & Automated Deduction - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 1998

Rough Algebras & Automated Deduction

Résumé

The notion of rough equality was introduced by Pawlak in 1982, and has been extensively examined over the years. The rough R5 and R4 algebras investigated here are particular cases of topological rough algebras introduced by Anita Wasilewska. We examine and discuss here some of their most interesting properties, their relationship with each other, and with the topological Boolean S4 and S5 algebras, which are algebraic models for modal logics S4 and S5, respectively. The presented properties were chosen out of over seven hundred theorems which were discovered and proved automatically by the theorem prover daTac (Déduction Automatique dans des Théories Associatives et Commutatives). This prover was developed at LORIA, Nancy (France), by the second author.
Fichier non déposé

Dates et versions

inria-00098475 , version 1 (25-09-2006)

Identifiants

  • HAL Id : inria-00098475 , version 1

Citer

Anita Wasilewska, Laurent Vigneron. Rough Algebras & Automated Deduction. L. Polkowski & A. Skowron. Rough Sets in Knowledge Discovery, Springer Verlag, pp.261-275, 1998. ⟨inria-00098475⟩
90 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More