Правило modus ponens как частный случай композиционного правила вывода

Как мы увидим ниже, правило modus ponens можно рассматривать как частный случай композиционного правила вывода. Чтобы установить эту связь, мы сперва обобщим понятие материальной импликации с пропозициональными переменными на нечеткие множества.

Пусть и — нечеткие высказывания и — соответствующие им функции принадлежности. Тогда импликации

будет соответствовать некоторая функция принадлежности . По аналогии с традиционной логикой, можно предположить, что

Тогда

Однако, это не единственное обобщение оператора импликации. В следующей таблице показаны различные интерпретации этого понятия.

Определим теперь обобщенное правило modus ponens (generalized modus ponens).

Приведенная формулировка имеет два отличия от традиционной формулировки правила modus ponens : во-первых, здесь допускается, что — нечеткие множества, и, во-вторых, необязательно идентично .

Содержание раздела

---

---