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


Введение в логику - часть 7


В индуктивных выводах используются различные методы установления причинно-следственных отношений. Формулируются они в виде принципов, основными из которых являются принципы: единственного различия, единственного сходства, единственного остатка, аналогии и другие.

Например, формулировка принципа единственного различия'. "Если после введения какого-либо фактора появляется или после удаления его исчезает известное явление, причем мы не вводим и не удаляем никакого другого обстоятельства, которое могло бы изменить в данном случае явления, и не производим никакого изменения среди первоначальных условий явления, то указанный фактор и составляет причину явления". Этот принцип можно описать следующим образом: Пусть в серии из п опытов А,В,С вызывают D; в другой серии из п опытов В,С не вызывают D. Тогда па основании наблюдений можно сделать следующий вывод: "Вероятно, А является причиной D".

Применяются также нечеткие выводы, когда истинность посылок принимается с некоторой степенью уверенности и заключение также выводимо из таких посылок с определенной степенью достоверности (вероятности). Нечеткие выводы имеют под собой математическое обоснование в виде теории нечетких множеств, основанной Л. Заде.

Основные идеи, лежащие в основе дедуктивных рассуждений, восходят к работам Аристотеля и состоят в следующем:

1) исходные посылки рассуждения являются истинными;

2) правильно применяемые приемы перехода от посылок к вытекающим из них утверждениям и из посылок и ранее полученных утверждений к новым вытекающим из них утверждениям должны сохранять истинность получаемых утверждений - истинные посылки порождают истинные следствия.

Наиболее важные практические результаты в СИИ получены при использовании дедуктивных рассуждений, на базе которых построено большинство логических систем представления знаний.

291

287 :: 288 :: 289 :: 290 :: 291 :: Содержание




Начало  Назад  Вперед