ПРАВДОПОДОБНЫЕ РАССУЖДЕНИЯ

-рассуждения, применяемые правила вывода, в которых не гарантируют истинности заключения при условии истинности посылок. Примером правдоподобного вывода является вывод высказывания А из посылок «если А, то В» и «В».

Известными классами правдоподобных рассуждений являются индукция, аналогия, абдукция.

Данная выше весьма широкая характеризация правдоподобных рассуждений охватывает и т. н. приближенные рассуждения, основанные на формализме нечетких множеств и статистические выводы. Формализацию правдоподобных рассуждений можно считать нетривиальной, если охарактеризованы способы принятия заключений и реализован контроль за процессом построения рассуждения. Такими средствами могут быть оценки ошибки заключения или обзор возможных фальсификаторов заключения, отсутствие которых является эвристическим основанием для принятия заключения.

Правдоподобные рассуждения являются логическим средством формализации автоматического порождения гипотез, примерами которых являются GUHA-метод, предложенный чешскими математиками П. Гаеком и Т. Гавранеком, и ДСМ-метод автоматического порождения гипотез, а также средства машинного обучения, разработанные американским специалистом по машинному обучению Р. Михальским.

ОЦНА-метод является комбинацией логических средств и методов статистики. В рамках GUHA-метода разработана логика выдвижения гипотез.

ДСМ-метод автоматического порождения гипотез использует идеюДж. С. Милш относительно идукгивных методов порождения гипотез о причинах, порожденных на основе сходства в наблюдаемых данных. ДСМ-метод является синтезом трех познавательных процедур — индукции, аналогии и абдукции, образующих правдоподобные рассуждения  типа ДСМ. ДСМ-рассуждения формализуются средствами бесконечнозначной логики предикатов с кванторами по кортежам переменной длины. Критерием достаточного основания для принятия заключения в ДСМ-рассуждении является абдукция, посредством которой порожденные гипотезы объясняют исходное состояние фактов. Различные виды правдоподобных рассуждений используются в системах искусственного интеллекта как автоматизированное средство принятия решений и порождения гипотез.

Лит.: ПочаД. Математика и правдоподобные рассуждения. М., 1975; Гаек П., Гавра fieK Т. Автоматическое образование гипотез. М., 1984; Финн В. К. Правдоподобные рассуждения в интеллектуальных системах типа ДСМ.— В кн.: Итоги науки и техники, сер. «Информатика», т. 15. М., 1991: Michahki R. S. Variable-valued logic and its applications to pattern recognition and machine learning. Computer science and multiple-valued logic. Amsterdam, 1977.

В. К. Финн