Initial Comparison of Formal Approaches to Fuzzy and Rough Sets
From MaRDI portal
Publication:2814146
DOI10.1007/978-3-319-19324-3_15zbMath1484.68316OpenAlexW608087936MaRDI QIDQ2814146
Adam Grabowski, Takashi Mitsuishi
Publication date: 17 June 2016
Published in: Artificial Intelligence and Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-19324-3_15
Theory of fuzzy sets, etc. (03E72) Reasoning under uncertainty in the context of artificial intelligence (68T37) Formalization of mathematics in connection with theorem provers (68V20) Mathematical knowledge management (68V30)
Related Items (5)
On fuzzy negations generated by fuzzy implications ⋮ Basic formal properties of triangular norms and conorms ⋮ Isosceles triangular and isosceles trapezoidal membership functions using centroid method ⋮ Formal introduction to fuzzy implications ⋮ Fundamental properties of fuzzy implications
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fuzzy arithmetic with requisite constraints
- An algebraic formalization of fuzzy relations
- Interval analysis and fuzzy set theory
- Methods of lemma extraction in natural deduction proofs
- On rewriting rules in Mizar
- The formal construction of fuzzy numbers
- 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.
- A Brief Overview of Mizar
- ROUGH FUZZY SETS AND FUZZY ROUGH SETS*
- Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
- Operations on fuzzy numbers
- Artificial Intelligence and Soft Computing - ICAISC 2004
- On lattice structure and implications on ordered fuzzy numbers
- Automated Discovery of Properties of Rough Sets
- Fuzzy sets
This page was built for publication: Initial Comparison of Formal Approaches to Fuzzy and Rough Sets
