Solvability of Systems of Partial Fuzzy Relational Equations Revisited - A Short Note

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F24%3AA2502N1I" target="_blank" >RIV/61988987:17610/24:A2502N1I - isvavai.cz</a>

Result on the web

<a href="https://www.sciencedirect.com/science/article/pii/S0165011424001817" target="_blank" >https://www.sciencedirect.com/science/article/pii/S0165011424001817</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.fss.2024.109035" target="_blank" >10.1016/j.fss.2024.109035</a>

Result language

angličtina

Original language name

Solvability of Systems of Partial Fuzzy Relational Equations Revisited - A Short Note

Original language description

Fuzzy inference systems have been widely investigated from different perspectives, including their logical correctness. It is not surprising that the logical correctness led mostly to the questions on the preservation of modus ponens. Indeed, whenever such a system processes an input equivalent to one of the rule antecedents, it is natural to expect the modus ponens to be preserved and the inferred output to be identical to the respective rule consequent. This leads to the related systems of fuzzy relational equations where the antecedent and consequent fuzzy sets are known values, the inference is represented either by the direct product related to the compositional rule of inference or by the Bandler-Kohout subproduct, and the fuzzy relation that represents the fuzzy rule base is the unknown element in the equations. The most important question is whether such systems are solvable, i.e., whether there even exists a fuzzy relation that models the given fuzzy rule base in such a way that the modus ponens is preserved. Partiality allows dealing with partially defined truth values which allows to deal with situations, where we cannot define the truth value for a given predicate. The partial logics have been recently extended to partial fuzzy logics and the partial fuzzy set theory has been developed. Partial fuzzy sets then may have undefined membership degrees for some values from the given universe. This background leads naturally to the problem of solvability of partial fuzzy relational equations, which are equations with partial fuzzy sets in the role of antecedents and consequents and with partial fuzzy relation as the model of the given fuzzy rule base. Such a setting led to a recent publication that uncovers the solvability and even the shape of the solutions. In this contribution, we revisit the problem and consider a specific case that allows partiality only in the input. In other words, antecedents, as well as consequents expressing the knowledge, are fully defined. Thus, the model of the fuzzy rules is one of the standard and fully defined relations. We investigate what happens if the input differs from one of the antecedents only by a few undefined values. This mimics the situation when a description of an observed object misses a few values in its feature vector. We show that under specific conditions, we still may preserve the modified modus ponens, i.e., that the inferred output is identical with the fully defined consequent of the respective rule.

Czech name

—

Czech description

—

Type

J_imp - Article in a specialist periodical, which is included in the Web of Science database

CEP classification

—

OECD FORD branch

10200 - Computer and information sciences

Project

—

Continuities

O - Projekt operacniho programu

Publication year

2024

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

FUZZY SET SYST

ISSN

0165-0114

e-ISSN

—

Volume of the periodical

—

Issue of the periodical within the volume

August

Country of publishing house

NL - THE KINGDOM OF THE NETHERLANDS

Number of pages

11

Pages from-to

1-11

UT code for WoS article

001255201600001

EID of the result in the Scopus database

—