Cтраница 3
Заметим, что в искусственном интеллекте до последнего времени работы по абдукции и индукции велись независимо. [31]
Заметим, что мы рассмотрели особенности решения с помощью аргументации задачи абдукции для случая, когда базовая теория представлена логическими программами. Если в качестве гипотез могут выступать лишь умолчания, для поиска абдуктивных объяснений можно использовать различные виды аргументационной семантики, для вычисления которых существует единая модель. В случае аб-дуктивного логического программирования применение аргументации позволяет справиться с проблемой несостоятельности обычной абдуктивной процедуры. Таким образом, теорию аргументации можно рассматривать как средство реализации абдуктивного вывода, позволяющее определять наилучшее абдуктивное объяснение как выигравшее в ходе определения статуса множеств гипотез-аргументов по правилам конкретной семантики при заданном отношении атаки. В настоящее время остается открытым вопрос о том, в каких случаях следует отдать предпочтение той или иной аргументационной семантике, какими свойствами обладают полученные абдуктивные объяснения. [32]
Здесь мы уже имеем гибридный процесс, первая ступень которого использует абдукцию как наблюдение на абдуцируемых предикатах, а вторая ступень - индукцию для обобщения этого множества наблюдений, получая общее утверждение на абдуцируемых предикатах. [33]
Что касается индукции, то в ней объяснение играет иную роль, чем в абдукции. [34]
Так как абдукция и индукция являются недедуктивными формами рассуждений, считаем, что основная функция абдукции заключается в обеспечении объяснений наблюдаемых явлений или событий, а функция индукции - в обеспечении обобщений наблюдений. [35]
Заметим, что представление абдуктивного объяснения в виде конъюнкции фактов является синтаксическим ограничением, отличающим абдукцию от других моделей объяснений, например, от индуктивного обобщения. [36]
Заметим, что если Ф - 0 для любого объяснения, то приведенное определение описывает классическую абдукцию для логики первого порядка. Изменение автоэпистемиче-ской теории Т рассматривается как построение ( ( Т U Ф) Ф) для минимального объяснения ( Ф, Ф) формулы о, если из должно быть помещено в Т, и для минимального анти - объяснения ( Ф Ф), если из должно быть удалено. [37]
Таким образом, данная книга состоит из трех частей, каждая из которых посвящена дедукции, абдукции и индукции соответственно. В первой части, содержащей пять глав, рассмотрены проблемы достоверного вывода. Глава 1 носит обзорный характер и посвящена автоматическому доказательству теорем, в котором главный акцент сделан на метод резолюции, его модификации и применение этого метода в языке Пролог. В следующих двух главах рассмотрены методы вывода на графовых структурах. [38]
Дополнительно в работе [10.18] можно найти ряд статей, посвященных вероятностному подходу к организации вывода по абдукции, а в [9.1] ( С. [39]
Таким образом, Пирс отделяет процесс образования гипотез от их тестирования, и, по его мнению, абдукция является процессом генерации объяснительных гипотез, а индукция соответствует методу тестирования гипотез и их оценки. [40]
Чарняк и Шимони отмечают, что для случая а 1 не определена семантика, поэтому может моделироваться лишь наиболее специфичная абдукция. Более того, взвешивание правил должно привести к непротиворечивому упорядочению без циклов, что делает еще более сложным определение весов вновь добавляемых правил. [41]
Анализируя работы по абдукции, Пол подчеркивает ключевую роль представления причинно-следственных связей в базовой теории для решения задачи абдукции. [42]
Авторы утверждают, что этот подход определяет более общую структуру, чем предыдущие, и лучше охватывает понятие абдукции Пирса. Помимо генерации гипотетических объяснений для некоторого наблюдения, формализуется также и их ревизия. [43]
В 1902 г. Пирс писал, что, уделяя слишком много внимания силлогистическим формам рассуждений, он недостаточно останавливался на трех формах рассуждений - абдукции, дедукции и индукции, которые идентифицировались, по его понятиям, с тремя стадиями научного исследования - генерацией гипотез, предсказанием и оценкой соответственно. [44]
В работах [0.6, 0.7, 0.8] подробно излагается роль абдукции и индукции в философии и логике, приводится теория силлогистики и инференциальная теория Пирса, показывается взаимодействие между абдукцией и индукцией, описывается индукция и абдукция в машинном обучении. Статья [0.6] оказала сильное влияние на создание введения, особенно той части, которая касается силлогистики Пирса и его инференциальной теории. [45]