Modus Ponens

From Традиция
Jump to navigation Jump to search

Modus Ponensправило вывода в логике. Является основным для так называемого прямого вывода в решателях систем, основанных на знаниях. Логически записывается как:

( x y ) & x y (x \rightarrow y) \and x \rightarrow y

В классической логике это правило является тавтологией, то есть всюду истинной формулой (для любых истинностных значений переменных x x и y y ), что может быть легко проверено при помощи таблицы истинности. На обычном языке это правило может быть прочитано как «если из утверждения x x следует утверждение y y и известно, что утверждение x x истинно, то также истинно утверждение y y ».

Для нечёткой логики классическое правило Modus Ponens является слишком сильным, а потому используется в модифицированном виде — в виде нечёткого правила Modus Ponens. Это модифицированное правило записывается следующим образом:

( x y ) & x y (x \rightarrow y) \and x' \rightarrow y'

На обычном языке это правило может быть прочитано как «если из утверждения x x следует утверждение y y и известно, что утверждение x x в какой-то мере истинно, то также в какой-то мере истинно и утверждение y y ». При этом мера истинности утверждения y y рассчитывается различными методами в зависимости от решаемой задачи.

См. также[edit | edit source]