АБДУКЦИЯ

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

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

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

H – объясняет D

Следовательно, гипотезы из H правдоподобны.

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

В ряде работ по автоматизированным правдоподобным рассуждениям было установлено, что формализация абдукции как конструктивной аргументации возможна посредством взаимодействия последней с индукцией и аналогией, причем аргументы порождаются посредством индукции, предсказания посредством аналогии [АНАЛОГИЯ], а принятие гипотез осуществляется с помощью абдукции. Для этого уточнения абдукции (в смысле Ч.С.Пирса) используются многозначные логики [ЛОГИКА МНОГОЗНАЧНАЯ]. В работах по искусственному интеллекту широко распространена следующая формализация абдукции средствами двузначной логики предикатов [ЛОГИКА ПРЕДИКАТОВ]первого порядка:

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

(1) Ε содержится в H,

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

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

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

Литература:

1. Финн В.К. Синтез познавательных процедур и проблема индукции. – «Научно-техническая информация», сер. 2, № 1–2, 1998, с. 3–52;

2. Burks A.W. Peirce’s Theory of Abduction. – «Philosophy of Science», 1946, vol. 13, Ν 4, p. 301–306;

3. Peine С.S. Philosophical writings. N.Y., 1955;

4. Fam К.Т. Peirce’s Theory of Abduction, The Hague Stanford. Martinas Nijhoff, 1970;

5. Rescher N. Peirce’s Philosophy of Science. Notre Dame – L., 1978;

6. Peng Y., Reggia J.A. Abductive Inference Models for Diagnostic Problem-Solving. N.Y. – В. – Hdlb., 1990;

7. Brewka G., Dix J., Konolige K. Nonmonotonic Reasoning. Stanford, 1997.

В.К.Финн