Основы теории нечетких множеств

       

Теория приближенных рассуждений


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

Основным правилом вывода в традиционной логике является правило modus ponens, согласно которому мы судим об истинности высказывания по истинности высказываний и . Например, если — высказывание "Джон в больнице", — высказывание "Джон болен", то если истинны высказывания "Джон в больнице" и "Если Джон в больнице, то он болен", то истинно и высказывание "Джон болен".

Во многих привычных рассуждениях, однако, правило modus ponens используется не в точной, а в приближенной форме. Так, обычно мы знаем, что истинно и что , где есть, в некотором смысле, приближение . Тогда из мы можем сделать вывод о том, что приближенно истинно.

Далее мы обсудим способ формализации приближенных рассуждений, основанный на понятиях, введенных нами на предыдущей лекции. Однако, в отличие от традиционной логики, нашим главным инструментом будет не правило modus ponens, а так называемое композиционное правило вывода, весьма частным случаем которого является правило modus ponens.



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