Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Отношения на функциях принадлежности
0.5|
Композиционное правило вывода. В нечеткой логике имеет место так называемое композиционное правило вывода, являющееся обобщением Modes Ponens для приближенных рассуждений:
A(x),P(x,y) B(y). (4.1)
Для начала отметим, что, если в теории есть нечеткая переменная A(x) и имеется отношение P(x,y), значит P(x,y) получено под влиянием какой-то формулы B(y) и P(x,y)=A(x)*B(y). Где * - набор операций нечеткой арифметики: ведь любые отношения (декартовы произведения) нечеткой логики получаются при применении к нечетким предикатам операций нечеткой логики.
Композиционное правило вывода заключается в утверждении, что для появления интерпретации a,b, появление интерпретации b важно не меньше, чем появление интерпретации а.
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
