REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2023, Volume 31, 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/15863
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorMitsuishi, Takashi-
    dc.date.accessioned2024-01-26T10:19:06Z-
    dc.date.available2024-01-26T10:19:06Z-
    dc.date.issued2023-
    dc.identifier.citationFormalized Mathematics, Volume 31, Issue 1, Pages 299-308pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/15863-
    dc.description.abstractWe continue the formal development of the application of piecewise linear functions and centroids in the area of fuzzy set theory. The corresponding piecewise linear functions are symmetrical and composed by absolute function. In this paper we prove that the membership functions of isosceles triangle type and isosceles trapezoid type can be constructed by functions of this type.pl
    dc.language.isoenpl
    dc.publisherDeGruyter Openpl
    dc.rightsAttribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)pl
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/3.0/pl
    dc.subjectfuzzy setpl
    dc.subjectfuzzy numberpl
    dc.subjectcentroidpl
    dc.titleSymmetrical Piecewise Linear Functions Composed by Absolute Value Functionpl
    dc.typeArticlepl
    dc.rights.holder© 2022 The Author(s)pl
    dc.rights.holderCC BY-SA 3.0 licensepl
    dc.identifier.doi10.2478/forma-2023-0024-
    dc.description.AffiliationFaculty of Business and Informatics, Nagano University, Japanpl
    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.referencesDidier Dubois and Henri Prade. Fuzzy Sets and Systems: Theory and Applications. Academic Press, New York, 1980.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. The formal construction of fuzzy numbers. Formalized Mathematics, 22(4):321–327, 2014. doi:10.2478/forma-2014-0032.pl
    dc.description.referencesAdam Grabowski. Fuzzy implications in the Mizar system. In 30th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2021, Luxembourg, July 11–14, 2021, pages 1–6. IEEE, 2021. doi:10.1109/FUZZ45933.2021.9494593.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. 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 and Christoph Schwarzweller. On duplication in mathematical repositories. In Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, and Alan P. Sexton, editors, Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings, volume 6167 of Lecture Notes in Computer Science, pages 300–314. Springer, 2010. doi:10.1007/978-3-642-14128-7_26.pl
    dc.description.referencesAdam Grabowski and Christoph Schwarzweller. Translating mathematical vernacular into knowledge repositories. In Michael Kohlhase, editor, Mathematical Knowledge Management, volume 3863 of Lecture Notes in Computer Science, pages 49–64. Springer, 2006. doi:10.1007/11618027 4. 4th International Conference on Mathematical Knowledge Management, Bremen, Germany, MKM 2005, July 15–17, 2005, Revised Selected Papers.pl
    dc.description.referencesAdam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Mizar in a nutshell. Journal of Formalized Reasoning, 3(2):153–245, 2010.pl
    dc.description.referencesTetsuro Katafuchi, Kiyoji Asai, and Hiroshi Fujita. Investigation of deffuzification 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. Some properties of membership functions composed of triangle functions and piecewise linear functions. Formalized Mathematics, 29(2):103–115, 2021. doi:10.2478/forma-2021-0011.pl
    dc.description.referencesTakashi Mitsuishi. Definition of centroid method as defuzzification. Formalized Mathematics, 30(2):125–134, 2022. doi:10.2478/forma-2022-0010.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, 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.referencesMasaharu Mizumoto. Improvement of fuzzy control (IV)-case by product-sum-gravity method. In Proc. 6th Fuzzy System Symposium, 1990, pages 9–13, 1990.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.volume31pl
    dc.description.issue1pl
    dc.description.firstpage299pl
    dc.description.lastpage308pl
    dc.identifier.citation2Formalized Mathematicspl
    Występuje w kolekcji(ach):Formalized Mathematics, 2023, Volume 31, Issue 1

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    Symmetrical-Piecewise-Linear-Functions-Composed-by-Absolute-Value-Function.pdf276,16 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


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