Абдукция


АБДУКЦИЯ —познавательная процедура принятия гипотез. Впервые явно выделена Ч. С. Пирсом, который рассматривал абдукцию (абдуктивный вывод) наряду с индук­цией я дедукцией. Ч. С. Пирс считал, что, отбирая среди необозримого множества гипотез наиболее существенные, исследователи реализуют «абдукционный инстинкт», без которого невозможно было бы развитие науки. Согласно Пирсу, методология науки должна пониматься как взаимо­действие 1) абдукции, осуществляющей принятие объяс­нительных правдоподобных гипотез, 2) индукции, реали­зующей эмпирическое тестирование выдвинутых гипотез, и 3) дедукции, посредством которой из принятых гипотез выводятся следствия. Таким образом, Ч. С. Пирс создал идейный эскиз теории рассуждений, впоследствии полу­чивший развитие в исследованиях по искусственному ин­теллекту, в которых абдуктивный вывод представлен как вид автоматизированного правдоподобного рассуждения: Идея абдукции, согласно Ч. С. Пирсу, может быть сфор­мулирована следующим образом:

D—множество фактов,

Я — множество выдвинутых гипотез,

Н объясняет D

Следовательно, гипотезы из Я правдоподобны. Для последовательного осуществления и усиления этой идеи потребовалось формализовать как процедуру выдви­жения гипотез из Н, так и отношение «И объясняет D». Кроме того, необходимо было конструктивно задать про­цедуру оценки правдоподобия гипотез, порожденных по­средством индукции на основе фактов из В. В ряде работ по автоматизированным правдоподобным рассуждениям было установлено, что формализация аб­дукции как конструктивной аргументации возможна по­средством взаимодействия последней с индукцией и ана­логией, причем аргументы порождаются посредством ин­дукции, предсказания посредством аналогии, а принятие гипотез осуществляется с помощью абдукции. Для этого уточнения абдукции (в смысле Ч. С. Пирса) используются многозначные логики. В работах по искусственному интел­лекту широко распространена следующая формализация абдукции средствами двузначной логики предикатов перво­го порядка:

Пусть D—множество наблюдаемых фактов, Г— некоторая заданная теория, Я — множество гипотез. Тогда множество высказываний Е называется абдуктивным объяснением D, если и только если для него выполняются следующие условия:

(1) Е содержится в Н,

(2) из объединения Г и Е выводится D,

(3) Т и Е—непротиворечивы.

Задача получения абдуктивного объяснения сводится к на­хождению Е. Указанная выше формализация абдуктивного объяснения не является достаточно глубокой имитацией идеи Ч. С. Пирса об абдукции как познавательной проце­дуре, присущей творческой активности человека. Имеются интересные связи между абдукцией и немонотонными рас­суждениями, а также формализациями, диагностических процедур, представленных в системах .искусственного ин­теллекта. .

Лит.: Финн В. К. Синтез познавательных процедур и проблема индукции.—«Научно-техническая информация», сер. 2, № 1 — 2, 1998, с. 3—52; Burks A. W. Peirce's Theory of Abduction.—«Philosophy of Science», 1946, vol. 13, N4, p. 301—306; Peirce С S. Philosophical же того, как возможно достижение блага собственным усилием или предначертаниями закона, заставила обра­титься к иудейской религии.




 

Поиск по сайту