On the computer-assisted reasoning about rough sets

MaRDI QIDQ5701521zbMATH OpenFDO

Authors Adam Grabowski

Publication date 3 November 2005

zbMATH Keywords

automated reasoningknowledge representation

Mathematics Subject Classification ID

Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• A Framework for Reasoning with Rough Sets
• Computational methods for rough set theory and its application
• Rough set reasoning using answer set programs
• Reasoning about knowledge using rough sets
• scientific article; zbMATH DE number 53312
• Reasoning with rough sets. Logical approaches to granularity-based framework
• A rough set approach to reasoning under uncertainty
• scientific article; zbMATH DE number 1303617
• scientific article; zbMATH DE number 4137350

Cited in

(13)

• Reasoning with rough sets. Logical approaches to granularity-based framework
• Formal development of rough inclusion functions
• Basic formal properties of triangular norms and conorms
• Developing complementary rough inclusion functions
• Stone lattices.
• Initial comparison of formal approaches to fuzzy and rough sets
• Relational formal characterization of rough sets
• Formalizing lattice-theoretical aspects of rough and fuzzy sets
• Lattice theory for rough sets -- a case study with Mizar
• Binary relations-based rough sets -- an automated approach
• Computer certification of generalized rough sets based on relations
• A Framework for Reasoning with Rough Sets
• Building a framework of rough inclusion functions by means of computerized proof assistant

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: On the computer-assisted reasoning about rough sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5701521)