Обычный, булевый логический вывод базируется на следующих тавтологиях:
модус поненс: ;
модус толленс: ;
силлогизм: ;
контрапозиция: .
В четком логическом выводе наиболее часто применяется правило модус поненс, которое можно записать так:
Посылка
A есть истинно
Импликация
Если A, то B
Логический вывод
B есть истинно
Модус поненс выводит заключение "B есть истинно", если известно, что "A есть истинно" и существует правило "Если A, то B" (A и B - четкие логические утверждения). Однако, если прецедент отсутствует, то модус поненс не сможет вывести никакого, даже приближенного заключения. Даже в случае, когда известно, что близкое к A утверждение A' является истинным, модус поненс не может быть применен. Одним из возможных способов принятия решений при неопределенной информации является применение нечеткого логического вывода.
Определение 47.Нечетким логическим выводом называется получение заключения в виде нечеткого множества, соответствующего текущим значениях входов, с использованием нечеткой базы знаний и нечетких операций.
Основу нечеткого логического вывода составляет композиционное правило Заде.
Определение 48.Композиционное правило вывода Заде формулируется следующим образом: если известно нечеткое отношение между входной (x) и выходной (y) переменными, то при нечетком значении входной переменной , нечеткое значения выходной переменной определяется так:
,
где - максминая композиция.
Пример 12. Дано нечеткое правило "Если , то " с нечеткими множествами: и . Определить значение выходной переменной , если .
В начале рассчитаем нечеткое отношение, соответствующее правилу "Если , то ", применяя в качестве t-нормы операцию нахождения минимума:
.
Теперь, по формуле рассчитаем нечеткое значение выходной переменной: