Gulnara E. Yakhyaeva¹

¹Novosibirsk State Technical University, Novosibirsk, Russian Federation

The paper is devoted to research in the field of fuzzy model theory. The paper introduces the notion of a coordinated valuation of sentences of a given signature, which can be considered as a generalisation of the notion of a realizable set of sentences to the fuzzy case. By analogy with the classical case, classes of fuzzy models generated by coordinated valuations are considered, and the notion of axiomatised class of fuzzy models is introduced.

Fuzzy truth values of different sentences can be considered as a formalisation of subjective evaluative knowledge of experts about object domain. To formalise such knowledge, interval and point valuations are considered in this paper, and model-theoretic properties of classes of fuzzy models generated by such valuations are described.

Often, at formalisation of some system it is necessary to take into account also the environment in which this system is located and with which it inevitably interacts. In this case it is necessary to include in the fuzzy model the formalisation of knowledge not only about the system itself, but also about the environment in which it lives. The system itself can be considered as a submodel of the full model. The paper introduces the concept of submodel of a fuzzy model and also the concept of factorisation of a class of fuzzy models by fixed submodels. It is proved that equivalence classes of such factorisation are axiomatised classes of fuzzy models.

Yakhyaeva G. E. Classes of Fuzzy Models. The Bulletin of Irkutsk State University. Series Mathematics, 2025, vol. 51, pp. 151–166. (in Russian)

https://doi.org/10.26516/1997-7670.2025.51.151

1. Averkin A.N. Methods of explicable artificial intelligence in the works of Lotfi Zadeh. Myagkie izmereniya i vichisleniya, 2022, vol. 56, no. 7-2, pp. 79–90. https://doi.org/10.36871/2618-9976.2022.07-2.007 (in Russian)
2. Gavrilin D.N., Kustova I.A., Mantsivoda A.V. Object models as microservices: a query language. The Bulletin of Irkutsk State University. Series Mathematics, 2022, vol. 42, pp. 121–137. https://doi.org/10.26516/1997-7670.2022.42.121 (in Russian)
3. Podvesovskii A., Isaev R. Identification of structure and parameters of fuzzy cognitive models: expert and statistical methods. International Journal of Open Information Technologies, 2019, vol. 7, no. 6. pp. 35–61. (in Russian)
4. Yakhyaeva G.E., Palchunova O.D. On quantum interpretation of the fuzzy models theory. Proceedings of the XII International Scientific and Practical Conference "Integrated Models and Soft Computing in Artificial Intelligence Kolomna, 14–17 May 2024, vol. 1, pp. 225–236. (in Russian)
5. Chris B. Quantum Computing for Everyone. The MIT Press, 2020, 216 p.
6. Demin A.V., Ponomaryov D.K. Machine Learning with Probabilistic Law Discovery: a Concise Introduction. The Bulletin of Irkutsk State University. Series Mathematics, 2023, vol. 43, pp. 91–109. https://doi.org/10.26516/1997- 7670.2023.43.91
7. Morzhin O.V., Pechen A.N. Krotov Type Optimization of Coherent and Incoherent Controls for Open Two-Qubit Systems. The Bulletin of Irkutsk State University. Series Mathematics, 2023, vol. 45, pp. 3–23. https://doi.org/10.26516/1997- 7670.2023.45.3
8. Palchunov D., Yakhyaeva G. Fuzzy logics and fuzzy model theory. Algebra and Logic, vol. 54, no. 1, 2015, pp. 74–80. https://doi.org/10.1007/s10469-015-9326-9
9. Palchunov D., Yakhyaeva G. Application of Boolean-valued models and FCA for the development of ontological model. CEUR Workshop Proceedings, 2017, vol. 1921, pp. 77–87.
10. Palchunov D.E. Methodological Aspects of the Application of Model Theory. 2022 Ural-Siberian Conference on Computational Technologies in Cognitive Science, Genomics and Biomedicine (CSGB), Novosibirsk, 2022, pp. 210–215. https://doi.org/10.1109/CSGB56354.2022.9865602
11. Palchunov D.E. Model Theory of Subject Domains. Algebra and Logic, 2022, vol. 61, no. 2, pp. 166–173. https://doi.org/10.33048/alglog.2022.61.207
12. Pospelov D.A., Stefanuk V.L., Averkin A.N. et al. Remembering Lotfi Zadeh. Open Semantic Technology for Intelligent Systems, 2018, no. 8, pp. 27–39. (in Russian)
13. Wong T.G. Introduction to Classical and Quantum Computing. Rooted Grove, 2022, 400 p.
14. Yakhyaeva G., Karmanova A., Ershov A. Application of the Fuzzy Model Theory for Modeling QA-Systems. Computing and Informatics, 2021, vol. 40, no. 6, pp. 1197–1216. https://doi.org/10.31577/cai_2021_6_1197
15. Yakhyaeva G. Application of the Case Models Restriction for Modeling Argumentation Reasoning. 2021 International Symposium on Knowledge, Ontology, and Theory (KNOTH), Novosibirsk, 2021, pp. 40–44. https://doi.org/10.1109/KNOTH54462.2021.9686318
16. Yakhyaeva G., Skokova V. Subjective Expert Evaluations in the ModelTheoretic Representation of Object Domain Knowledge. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, vol. 12948 LNAI, pp. 152—165. https://doi.org/10.1007/978-3-030-86855-0_11
17. Yakhyaeva G.E. On the Local Coordination of Fuzzy Valuations. The Bulletin of Irkutsk State University. Series Mathematics, 2023, vol. 46, pp. 130—144. https://doi.org/10.26516/1997-7670.2023.46.130
18. Yakhyaeva G.E., Palchunova O.D. Fuzzy Models as a Formalization of Expert’s Evaluative Knowledge. Pattern Recognition and Image Analysis, 2023, vol. 33, no. 3, pp. 529–535. https://doi.org/10.1134/S105466182303046X