Зачем необходимы треугольные нормы и конормы? Как их использовать? Имеется ввиду, на практике. |
Опубликован: 26.07.2006 | Уровень: специалист | Доступ: свободно
Лекция 8:
Нечеткая логика
Пример. "Все, что не истина, есть ложь".
![n(x) = \left\{ {\begin{array}{*{20}c}
{1,} & {\t{\char229}\t{\char241}\t{\char235}\t{\char232}\quad x \ne 1;}
\\
{0,} & {\t{\char229}\t{\char241}\t{\char235}\t{\char232}\quad x = 1.}
\\
\end{array} } \right.](/sites/default/files/tex_cache/5aa54f94bd826282af5fd98689c2e1f0.png)
Пример. "Все, что не ложь, есть истина".
![n(x) = \left\{ {\begin{array}{*{20}c}
{1,} & {\t{\char229}\t{\char241}\t{\char235}\t{\char232}\quad x = 0;}
\\
{0,} & {\t{\char229}\t{\char241}\t{\char235}\t{\char232}\quad x \ne 0.}
\\
\end{array} } \right.](/sites/default/files/tex_cache/402396e88a1cbe48c724792225ff2add.png)
Пример. "Все или истина, или ложь".
![n(x) = \left\{ {\begin{array}{*{20}c}
{1,} & {\t{\char229}\t{\char241}\t{\char235}\t{\char232}\quad x <
c;} \\
{0,} &
{\t{\char226}\;\t{\char239}\t{\char240}\t{\char238}\t{\char242}\t{\char232}\t{\char226}\t{\char237}\t{\char238}\t{\char236}\;\t{\char241}\t{\char235}\t{\char243}\t{\char247}\t{\char224}\t{\char229}.} \\
\end{array} } \right.](/sites/default/files/tex_cache/3935906ad8cb2a943569060ad1d819a2.png)
![c](/sites/default/files/tex_cache/4a8a08f09d37b73795649038408b5f33.png)
![L](/sites/default/files/tex_cache/d20caec3b48a1eef164cb4ca81ba2587.png)
![c\not\in \{0,1\}](/sites/default/files/tex_cache/c5f3725147a90e04a308ce6c868ec207.png)
Это отрицание является разжимающим, ни обычным, ни слабым, без
фиксированной точки.
Некоторые подходы к формализации нечеткой логики, основанные на подобной интерпретации,
сводят ее к двузначной, используя .
Пример.
Пусть , где
.
![n(a_{k}) = a_{m-k+1}.](/sites/default/files/tex_cache/feb3e5444830eafccccee4c3bbde4808.png)
![m=2p+1](/sites/default/files/tex_cache/5768d9540818ac58c6d84f1cfdf1155b.png)
![s = a_{p+1}](/sites/default/files/tex_cache/a64e5ca41a40a6f1ca9309b2729f95cd.png)
![m = 2p](/sites/default/files/tex_cache/0235a93855e2ed9212445f49ed4dde61.png)
![\{a_{p},
a_{p+1}\}](/sites/default/files/tex_cache/1927ec677f7cdfd09dc5e0aafdf42ce4.png)