Нечеткий вывод

Нечеткий логический вывод — Основой для его проведения является база правил, содержащая нечеткие высказывания в форме "Если-то" и функции принадлежности для соответствующих лингвистических термов
Нечеткий логический вывод — Включает четыре этапа: введение нечеткости ( фазификация ), нечеткий вывод, Результат нечеткого вывода — Четкое значение переменной y^* на основе заданных четких значений x_k, k=1..nкомпозиция и приведение к четкости, или дефазификация.

Под нечетким выводом понимается процесс, при котором из нечетких посылок получают некоторые следствия, возможно, тоже нечеткие. Приближенные рассуждения лежат в основе способности человека понимать естественный язык, разбирать почерк, играть в игры, требующие умственных усилий, в общем, принимать решения в сложной и не полностью определенной среде. Эта способность рассуждений в качественных, неточных терминах отличает интеллект человека от интеллекта вычислительной машины.

Основным правилом вывода в традиционной логике является правило modus ponens, согласно которому мы судим об истинности высказывания B по истинности высказываний A и A -> B. Например, если A — высказывание «Степан — космонавт», B — высказывание «Степан летает в космос», то если истинны высказывания «Степан — космонавт» и «Если Степан — космнавт, то он летает в космос», то истинно и высказывание «Степан летает в космос».