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

ПРАВДОПОДОБНЫЕ РАССУЖДЕНИЯ – рассуждения, применяемые правила вывода, в которых не гарантируют истинности заключения при условии истинности посылок. Примером правдоподобного вывода является вывод высказывания А из посылок «если А, то В» и «В».

Известными классами правдоподобных рассуждений являются индукция [ИНДУКЦИЯ], аналогия [АНАЛОГИЯ], абдукция [АБДУКЦИЯ].

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

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

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

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

Литература:

1. Пойа Д. Математика и правдоподобные рассуждения. М., 1975;

2. Гаек П., Гавранек Т. Автоматическое образование гипотез. М., 1984;

3. Финн В.К. Правдоподобные рассуждения в интеллектуальных системах типа ДСМ. – В кн.: Итоги науки и техники, сер. «Информатика», т. 15. М., 1991;

4. Michalski R.S. Variable-valued logic and its applications to pattern recognition and machine learning. Computer science and multiple-valued logic. Amsterdam, 1977.

В.К.Финн