Data publikacji: 24 gru 2022
Zakres stron: 125 - 134
Przyjęty: 23 lip 2022
DOI: https://doi.org/10.2478/forma-2022-0010
Słowa kluczowe
© 2022 Takashi Mitsuishi, published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.
In this study, using the Mizar system [1], [2], we reuse formalization e orts 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.