Lattice theory for rough sets -- a case study with Mizar

DOI10.3233/FI-2016-1406MaRDI QIDQ4589200zbMATH OpenOpenAlexFDO

Authors Adam Grabowski

Publication date 9 November 2017

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2016-1406

Mathematics Subject Classification ID

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

Recommendations

• Formalizing lattice-theoretical aspects of rough and fuzzy sets
• scientific article; zbMATH DE number 2222702
• Binary relations-based rough sets -- an automated approach
• Lattice Theory for Rough Sets
• Initial comparison of formal approaches to fuzzy and rough sets

Cited in

(14)

• On fuzzy negations and laws of contraposition. Lattice of fuzzy negations
• Mechanizing complemented lattices within Mizar type system
• On two alternative axiomatizations of lattices by McKenzie and Sholander
• Computer certification of generalized rough sets based on relations
• Building a framework of rough inclusion functions by means of computerized proof assistant
• Efficient rough set theory merging
• Developing complementary rough inclusion functions
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Formalizing lattice-theoretical aspects of rough and fuzzy sets
• Formal introduction to fuzzy implications
• Initial comparison of formal approaches to fuzzy and rough sets
• Formal development of rough inclusion functions
• Formalizing two generalized approximation operators
• Automated Comparative Study of Some Generalized Rough Approximations

Describes a project that uses

Uses Software

• EQP
• Prover9
• Mizar

This page was built for publication: Lattice theory for rough sets -- a case study with Mizar

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