REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2025, Volume 33, Issue 1

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/19683
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorMitsuishi, Takashi-
    dc.date.accessioned2026-01-29T08:09:30Z-
    dc.date.available2026-01-29T08:09:30Z-
    dc.date.issued2025-
    dc.identifier.citationFormalized Mathematics, Volume 33, Issue 1, Pages 137-144pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/19683-
    dc.description.abstractIn this article, various properties of triangular membership functions are formally proven, including the relationship between a triangular membership function composed of two straight lines and a MAX function, as well as a triangular membership function defined by the horizontal coordinates of the triangle’s vertices. Furthermore, we formalize defuzzified value of a triangular membership function and the integration of two connected functions.pl
    dc.language.isoenpl
    dc.publisherUniversity of Białystokpl
    dc.rightsAttribution-ShareAlike 4.0 International (CC BY-SA 4.0)pl
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/pl
    dc.subjecttriangular membership functionpl
    dc.subjecttrapezoidal membership functionpl
    dc.titleTriangular Fuzzy Set Composed of Two Intersecting Affine Mapspl
    dc.typeArticlepl
    dc.rights.holder2025 The Author(s)pl
    dc.rights.holderCC BY-SA 4.0 licensepl
    dc.identifier.doi10.2478/forma-2025-0011-
    dc.description.referencesDidier Dubois and Henri Prade. Operations on fuzzy numbers. International Journal of Systems Science, 9(6):613–626, 1978. doi:10.1080/00207727808941724.pl
    dc.description.referencesRonald E. Giachetti and Robert E. Young. A parametric representation of fuzzy numbers and their arithmetic operators. Fuzzy Sets and Systems, 91(2):185–202, 1997. doi:10.1016/S0165-0114(97)00140-1.pl
    dc.description.referencesEikou Gonda, Hitoshi Miyata, and Masaaki Ohkita. Self-turning of fuzzy rules with different types of MSFs (in Japanese). Journal of Japan Society for Fuzzy Theory and Intelligent Informatics, 16(6):540–550, 2004. doi:10.3156/jsoft.16.540.pl
    dc.description.referencesAdam Grabowski. On the computer certification of fuzzy numbers. In M. Ganzha, L. Maciaszek, and M. Paprzycki, editors, 2013 Federated Conference on Computer Science and Information Systems (FedCSIS), Federated Conference on Computer Science and Information Systems, pages 51–54, 2013.pl
    dc.description.referencesAdam Grabowski and Takashi Mitsuishi. Extending formal fuzzy sets with triangular norms and conorms, volume 642: Advances in Intelligent Systems and Computing, pages 176–187. Springer International Publishing, Cham, 2018. doi:10.1007/978-3-319-66824-6_16.pl
    dc.description.referencesAdam Grabowski and Takashi Mitsuishi. Initial comparison of formal approaches to fuzzy and rough sets. In Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, and Jacek M. Zurada, editors, Artificial Intelligence and Soft Computing – 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I, volume 9119 of Lecture Notes in Computer Science, pages 160–171. Springer, 2015. doi:10.1007/978-3-319-19324-3_15.pl
    dc.description.referencesAdam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.pl
    dc.description.referencesTetsuro Katafuchi, Kiyoji Asai, and Hiroshi Fujita. Investigation of defuzzification in fuzzy inference: Proposal of a new defuzzification method (in Japanese). Medical Imaging and Information Sciences, 18(1):19–30, 2001. doi:10.11318/mii1984.18.19.pl
    dc.description.referencesEbrahim H. Mamdani. Application of fuzzy algorithms for control of simple dynamic plant. IEE Proceedings, 121:1585–1588, 1974.pl
    dc.description.referencesTakashi Mitsuishi. Isosceles triangular and isosceles trapezoidal membership functions using centroid method. Formalized Mathematics, 31(1):59–66, 2023. doi:10.2478/forma-2023-0006.pl
    dc.description.referencesTakashi Mitsuishi. Symmetrical piecewise linear functions composed by absolute value function. Formalized Mathematics, 31(1):299–308, 2023. doi:10.2478/forma-2023-0024.pl
    dc.description.referencesTakashi Mitsuishi. Comparison of operations in fuzzy approximate reasoning and centroid of membership function. In 2024 2nd International Conference on Technology Innovation and Its Applications (ICTIIA), pages 1–5, 2024. doi:10.1109/ICTIIA61827.2024.10761300.pl
    dc.description.referencesTakashi Mitsuishi, Takanori Terashima, Nami Shimada, Toshimichi Homma, and Yasunari Shidama. Approximate reasoning using LR fuzzy number as input for sensorless fuzzy control. In 2016 IEEE Symposium on Sensorless Control for Electrical Drives (SLED), pages 1–5, 2016. doi:10.1109/SLED.2016.7518804.pl
    dc.description.referencesLi Na and Weng Jing. A new defuzzification method for enhance performance of fuzzy logic control system. In Yanwen Wu, editor, Software Engineering and Knowledge Engineering: Theory and Practice, pages 403–409. Springer Berlin Heidelberg, 2012. ISBN 978-3-642-03718-4.pl
    dc.description.referencesKeiko Narita, Noboru Endou, and Yasunari Shidama. Integral of complex-valued measurable function. Formalized Mathematics, 16(4):319–324, 2008. doi:10.2478/v10037-008-0039-6.pl
    dc.description.referencesTimothy J. Ross. Fuzzy Logic with Engineering Applications. John Wiley and Sons Ltd, 2010.pl
    dc.description.referencesLuciano Stefanini and Laerte Sorini. Fuzzy arithmetic with parametric LR fuzzy numbers. In Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, pages 600–605, 2009.pl
    dc.description.referencesWerner Van Leekwijck and Etienne E. Kerre. Defuzzification: Criteria and classification. Fuzzy Sets and Systems, 108(2):159–178, 1999.pl
    dc.description.referencesLotfi Zadeh. Fuzzy sets. Information and Control, 8(3):338–353, 1965. doi:10.1016/S0019-9958(65)90241-X.pl
    dc.identifier.eissn1898-9934-
    dc.description.volume33pl
    dc.description.issue1pl
    dc.description.firstpage137pl
    dc.description.lastpage144pl
    dc.identifier.citation2Formalized Mathematicspl
    Występuje w kolekcji(ach):Formalized Mathematics, 2025, Volume 33, Issue 1

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    Triangular_Fuzzy_Set_Composed_of_Two_Intersecting_Affine_Maps.pdf243,6 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


    Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons