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