Правдоподобные рассуждения

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

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

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