Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 2

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych:  fuzzy implication
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

Formal Introduction to Fuzzy Implications

100%
EN
In the article we present in the Mizar system the catalogue of nine basic fuzzy implications, used especially in the theory of fuzzy sets. This work is a continuation of the development of fuzzy sets in Mizar; it could be used to give a variety of more general operations, and also it could be a good starting point towards the formalization of fuzzy logic (together with t-norms and t-conorms, formalized previously).
EN
The distributivity law for a fuzzy implication \(I\colon [0,1]^2 \to [0,1]\) with respect to a fuzzy disjunction \(S\colon [0,1]^2 \to [0,1]\) states that the functional equation \( I(x,S(y,z))=S(I(x,y),I(x,z)) \) is satisfied for all pairs \((x,y)\) from the unit square. To compare some results obtained while solving this equation in various classes of fuzzy implications, Wanda Niemyska has reduced the problem to the study of the following two functional equations: \( h(\min(xg(y),1)) = \min(h(x)+ h(xy),1)\), \(x \in (0,1)\), \(y \in (0,1]\), and \( h(xg(y)) = h(x)+ h(xy)\), \(x,y \in (0, \infty)\), in the class of increasing bijections \(h\colon [0,1] \to [0,1]\) with an increasing function \(g\colon (0,1] \to [1, \infty)\) and in the class of monotonic bijections \(h\colon (0, \infty) \to (0, \infty)\) with a function \(g\colon (0, \infty) \to (0, \infty)\), respectively. A description of solutions in more general classes of functions (including nonmeasurable ones) is presented.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.