Isosceles triangular and isosceles trapezoidal membership functions using centroid method

DOI10.2478/forma-2023-0006OpenAlexW4387107352MaRDI QIDQ6071623

Takashi Mitsuishi

Publication date: 28 November 2023

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2023-0006

zbMATH Keywords

defuzzificationcentroid methodisosceles trapezoidal functionisosceles triangular function

Mathematics Subject Classification ID

Fuzzy control/observation systems (93C42) Theory of fuzzy sets, etc. (03E72) Fuzzy sets and logic (in connection with information, communication, or circuits theory) (94D05) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Unnamed Item
• A parametric representation of fuzzy numbers and their arithmetic operators
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Defuzzification: criteria and classification
• Some properties of membership functions composed of triangle functions and piecewise linear functions
• On fuzzy negations generated by fuzzy implications
• Initial Comparison of Formal Approaches to Fuzzy and Rough Sets
• Approximation of Fuzzy Numbers by F-Transform
• Mizar: State-of-the-art and Beyond

This page was built for publication: Isosceles triangular and isosceles trapezoidal membership functions using centroid method