2014-02-17
202Определение условий на основе полученных результатов (следствий).
Основа формализации правил нечеткого условного логического вывода – правило modus tollens.
Схема нечеткого логического вывода:
импликация: Ri: если 
есть 
, то 
есть 
;
следствие: есть B ';
------------------------------------------------
условие: 
есть A '?
U – множество n условий, V – множество m следствий. При А' = 
, В' = 
– modus tollens.
Композиционное правило нечеткого вывода [4]:
.
Функция принадлежности результата нечеткого вывода
 .
| (*) |
Пример. Упрощенная модель диагностики неисправности автомобиля [1].
Число причин n = 2: 
– неисправность аккумулятора; 
– повышенный расход моторного масла. Число признаков m= 3: 
– затруднение при запуске; 
– ухудшение цвета выхлопных газов;
– недостаток мощности.
Нечеткое отношение R задается экспертом:
Наблюдаются признаки: B' = 0.9|+0.1| + +0.2|.
| 0.9 | 0.1 | 0.1 |
| 0.4 | 0.8 | 0.5 |
На основе (*) для дискретных U и V получим
Вычислим 
:
. Отсюда 
.
В результате аналогичных расчетов можно получить 
получим А' = 0.9| u 1+0.4| u 2. Причина – неисправность аккумулятора.
