25. Правдоподобные рассуждения. Индуктивные умозаключения.

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

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

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

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

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

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

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

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

Вопрос № 26

Правдоподобные рассуждения. Умозаключения по аналогии.

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

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

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

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

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

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

Умозаключении по аналогии – это вывод о принадлежности определенного признака исследуемому единичному объекту (предмету, событию, отношению или классу) на основе его сходства в существенных чертах с другим уже известным единичным объектом.

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

Виды аналогии: аналогия предметов, аналогия отношений.