Formalizing lattice-theoretical aspects of rough and fuzzy sets

DOI10.1007/978-3-319-25754-9_31MaRDI QIDQ3300368zbMATH OpenOpenAlexFDO

Authors Adam Grabowski, Takashi Mitsuishi

Publication date 28 July 2020

Published in Rough Sets and Knowledge Technology (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-319-25754-9_31

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72) Logical aspects of lattices and related structures (03G10) Reasoning under uncertainty in the context of artificial intelligence (68T37) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Lattice theory for rough sets -- a case study with Mizar
• Initial comparison of formal approaches to fuzzy and rough sets
• scientific article; zbMATH DE number 2222702
• Transactions on Rough Sets II
• On lattice-based fuzzy rough sets

Cites work

• A Brief Overview of Mizar
• An algebraic formalization of fuzzy relations
• Automated Discovery of Properties of Rough Sets
• Automated reasoning and presentation support for formalizing mathematics in MizAR
• Covering based rough set approximations
• Fuzzy arithmetic with requisite constraints
• Fuzzy sets
• Generalized rough sets based on relations
• scientific article; zbMATH DE number 5850143 (Why is no real title available?)
• scientific article; zbMATH DE number 53312 (Why is no real title available?)
• scientific article; zbMATH DE number 1181276 (Why is no real title available?)
• scientific article; zbMATH DE number 927101 (Why is no real title available?)
• scientific article; zbMATH DE number 5486212 (Why is no real title available?)
• Interval analysis and fuzzy set theory
• L-fuzzy sets
• Lattice Theory for Rough Sets
• Mechanizing complemented lattices within Mizar type system
• Methods of lemma extraction in natural deduction proofs
• Monitoring, security, and rescue techniques in multiagent systems. Selected contributions presented at the international workshop ``Monitoring, security, and rescue techniques in multiagent systems (MSRAS 2004), Płock, Poland, June 7--9, 2004.
• On rewriting rules in Mizar
• Operations on fuzzy numbers
• ROUGH FUZZY SETS AND FUZZY ROUGH SETS*
• Rough set theory applied to lattice theory
• The formal construction of fuzzy numbers
• Topological approaches to covering rough sets
• Two views of the theory of rough sets in finite universes

Cited in

(10)

• Some properties of membership functions composed of triangle functions and piecewise linear functions
• Notes on the lattice of fuzzy rough sets with crisp reference sets
• Initial comparison of formal approaches to fuzzy and rough sets
• scientific article; zbMATH DE number 1983109 (Why is no real title available?)
• Lattice theory for rough sets -- a case study with Mizar
• Efficient rough set theory merging
• Building a framework of rough inclusion functions by means of computerized proof assistant
• On fuzzy negations and laws of contraposition. Lattice of fuzzy negations
• Formalization of trellises and tolerance relations
• General form of lattice-valued fuzzy sets under the cutworthy approach

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Formalizing lattice-theoretical aspects of rough and fuzzy sets

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