Основы современных компьютерных технологий


                


В индуктивных выводах используются различные


В индуктивных выводах используются различные методы установления причинно-следственных отношений. Формулируются они в виде принципов, основными из которых являются принципы: единственного различия, единственного сходства, единственного остатка, аналогии и другие.
Например, формулировка принципа единственного различия'. "Если после введения какого-либо фактора появляется или после удаления его исчезает известное явление, причем мы не вводим и не удаляем никакого другого обстоятельства, которое могло бы изменить в данном случае явления, и не производим никакого изменения среди первоначальных условий явления, то указанный фактор и составляет причину явления". Этот принцип можно описать следующим образом: Пусть в серии из п опытов А,В,С вызывают D; в другой серии из п опытов В,С не вызывают D. Тогда па основании наблюдений можно сделать следующий вывод: "Вероятно, А является причиной D".
Применяются также нечеткие выводы, когда истинность посылок принимается с некоторой степенью уверенности и заключение также выводимо из таких посылок с определенной степенью достоверности (вероятности). Нечеткие выводы имеют под собой математическое обоснование в виде теории нечетких множеств, основанной Л. Заде.
Основные идеи, лежащие в основе дедуктивных рассуждений, восходят к работам Аристотеля и состоят в следующем:
1) исходные посылки рассуждения являются истинными;
2) правильно применяемые приемы перехода от посылок к вытекающим из них утверждениям и из посылок и ранее полученных утверждений к новым вытекающим из них утверждениям должны сохранять истинность получаемых утверждений - истинные посылки порождают истинные следствия.
Наиболее важные практические результаты в СИИ получены при использовании дедуктивных рассуждений, на базе которых построено большинство логических систем представления знаний.
291
287 :: 288 :: 289 :: 290 :: 291 :: Содержание

Содержание  Назад  Вперед