Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/14267
Tytuł: | Definition of Centroid Method as Defuzzification |
Autorzy: | Mitsuishi, Takashi |
Słowa kluczowe: | defuzzification centroid piecewise linear function |
Data wydania: | 2022 |
Data dodania: | 30-gru-2022 |
Wydawca: | DeGruyter Open |
Źródło: | Formalized Mathematics, Volume 30, Issue 2, Pages 125-134 |
Abstrakt: | In this study, using the Mizar system [1], [2], we reuse formalization efforts in fuzzy sets described in [5] and [6]. This time the centroid method which is one of the fuzzy inference processes is formulated [10]. It is the most popular of all defuzzied methods ([11], [13], [7]) – here, defuzzified crisp value is obtained from domain of membership function as weighted average [8]. Since the integral is used in centroid method, the integrability and bounded properties of membership functions are also mentioned to fill the formalization gaps present in the Mizar Mathematical Library, as in the case of another fuzzy operators [4]. In this paper, the properties of piecewise linear functions consisting of two straight lines are mainly described. |
Afiliacja: | Faculty of Business and Informatics, Nagano University, Japan |
URI: | http://hdl.handle.net/11320/14267 |
DOI: | 10.2478/forma-2022-0010 |
ISSN: | 1426-2630 |
e-ISSN: | 1898-9934 |
Typ Dokumentu: | Article |
metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/3.0/ |
Właściciel praw: | © 2022 The Author(s) CC BY-SA 3.0 license |
Występuje w kolekcji(ach): | Formalized Mathematics, 2022, Volume 30, Issue 2 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
10.2478_forma-2022-0010.pdf | 270,7 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL