АБДУКЦИЯ

—познавательная процедура принятия гипотез. Впервые явно выделена Ч. С. Пирсом, который рассматривал абдукцию (абдуктивный вывод) наряду с индукцией и дедукцией. Ч. С. Пирс считал, что, отбирая среди необозримого множества гипотез наиболее существенные, исследователи реализуют «абдукционный инстинкт», без которого невозможно было бы развитие науки. Согласно Пирсу, методология науки  должна пониматься как взаимодействие 1) абдукции, осуществляющей принятие объяснительных правдоподобных гипотез, 2) индукции, реализующей эмпирическое тестирование выдвинутых гипотез, и 3) дедукции, посредством которой из принятых гипотез выводятся следствия. Таким образом, Ч. С. Пирс создал идейный эскиз теории рассуждений, впоследствии получивший развитие в исследованиях по искусственному интеллекту, в которых абдуктивный вывод представлен как вид автоматизированного правдоподобного рассуждения. Идея абдукции, согласно Ч. С. Пирсу, может быть сформулирована следующим образом: Z>—множество фактов, Н— множество выдвинутых гипотез, H объясняет D

Следовательно, гипотезы из Я правдоподобны. Для последовательного осуществления и усиления этой идеи потребовалось формализовать как процедуру выдвижения гипотез из Н, так и отношение «Я объясняет >». Кроме того, необходимо было конструктивно задать процедуру оценки правдоподобия гипотез, порожденных посредством индукции на основе фактов из D.

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

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

Лит.: Финн В. К. Синтез познавательных процедур и проблема индукции.—«Научно-техническая информация», сер. 2, № 1—2, 1998, с. 3-52; BurksA. W. Peirces Theory of Abduction.- «Philosophy f Science», 1946, vol. 13, N 4, p. 301-306; Peirce С. S. Philosophical writings. N. Y., 1955; Fann K. T. Peirces Theory of Abduction, The Hague Stanford. Martinas Nijhoff, 1970; Rescher N. Peirces Philosophy f Science. Notre Dame—L., 1978; Peng Y., Reggia J. A. Abductive Inference Models for Diagnostic Problem-Solving. N. Y.—B.—HdIb., 1990; Brewka G., Dix J., Konolige K. Nonmonotonic Reasoning. Stanford, 1997.

В. К. Финн