RUS  ENG
Full version
JOURNALS // Informatika i Ee Primeneniya [Informatics and its Applications] // Archive

Inform. Primen., 2024 Volume 18, Issue 1, Pages 92–99 (Mi ia892)

Analysis of approaches to defining fuzzy resolvent

T. M. Ledeneva, M. V. Leshchinskaya

Voronezh State University, 1 Universitetskaya Sq., Voronezh 394010, Russian Federation

Abstract: The article presents the results of a study concerning various definitions of the resolvent in fuzzy logic. Conditions are defined under which the Lee resolvent is a significant logical consequence in the case of the classical definition of fuzzy logical connectives. It is shown that when using triangular norms and conorms for their formalization, it is impossible to obtain a logically significant Lee resolvent. However, if the triangular conorm is defined as max, then the Lee resolvent exists for any triangular norm. Conditions are defined under which the Mukaidano resolvent is a significant logical consequence for classical min and max operations. When using triangular norms and conorms other than classical ones, further research is required. An illustrative example is provided demonstrating the process of constructing the Mukaidano resolvent.

Keywords: resolvent, resolution method, triangular norms and conorms.

Received: 24.04.2023

DOI: 10.14357/19922264240113



© Steklov Math. Inst. of RAS, 2024