ПРИБЛИЖЕННЫЕ РАССУЖДЕНИЯ И НЕЧЕТКИЕ БАЗЫ ЗНАНИЙ
Под приближенными рассуждениями понимается процесс, при котором из нечетких посылок получают некоторые следствия, возможно, тоже нечеткие. Приближенные рассуждения лежат в основе способности человека понимать естественный язык, разбирать почерк, играть в игры, требующие умственных усилий, в общем, принимать решения в сложной и не полностью определенной среде. Эта способность рассуждений в качественных, неточных терминах отличает интеллект человека от интеллекта вычислительной машины [9.12].
Основным правилом вывода в традиционной логике является правило modusponens, согласно которому мы судим об истинности высказывания В по истинности высказываний А и А—ИВ. Например, если А — высказывание «Вася лежит в больнице», В — высказывание «Вася болен», то если истинны высказывания «Вася лежит в
больнице» и «Если Вася лежит в больнице, то он болен», то истинно и высказывание «Вася болен».
Во многих привычных рассуждениях, однако, правило modusponens используется не в точной, а в приближенной форме. Так, обычно мы знаем, что А истинно и что А*—ИВ, где А* есть, в некотором смысле, приближение А. Тогда из А*—ИВ мы можем сделать вывод о том, что В приближенно истинно.
