Cтраница 2
Если наследственные свойства между классами и подклассами можно относительно легко охарактеризовать в классической логике ( § 3.3.11), то исследование исключений требует ухищрений. Логика умолчаний очерчивает естественные рамки для формализации систем представления знаний и рассуждений с исключениями. [16]
Предлагаемые в главе 8 немонотонные модальные логики оперируют с неполным, противоречивым, динамически изменяющимся знанием. Далее описываются логики умолчаний Рейтера и системы поддержания истинности БД. [17]
Рассмотрим кратко ряд известных видов семантики теорий умолчаний для пропозиционального случая. Затем рассмотрим фундированную и стационарную логики умолчаний, соответствующие фундированной и стационарной семантике нерасширенных логических программ. [18]
Установим соотношение между логикой умолчаний и АЭЛ. На первый взгляд может показаться, что логика умолчаний менее выразительна, нежели АЭЛ, поскольку в ней нет возможности выводить умолчания из других формул, так как они не являются частью языка. Тем не менее, как это ни удивительно, Конолиге показал, что АЭЛ и логика умолчаний эквивалентны. L формулами некоторого класса расширений АЭЛ, так называемых строго основанных расширений. [19]
Рассмотрим два подхода, которые связывают нормальные логические программы с теориями умолчаний и решают отмеченные проблемы логики умолчаний Рейтера. [20]
В частности, в соответствии с теоремой 9.30, нисходящие процедуры для WFSX могут быть использованы как состоятельные нисходящие процедуры для логики умолчаний Рейтера. [21]
Идея установления связи между логическим программированием и теориями умолчаний состоит в следующем: перевести каждое правило программы в правило-умолчание и затем сравнить расширения теории умолчаний с семантикой соответствующей программы. Поводом для проведения таких исследований послужило то, что с одной стороны, появляется возможность использования логического программирования как структуры для немонотонного вывода, и, с другой стороны, - вычислять расширения логики умолчаний с помощью алгоритмов, разработанных для логических программ. Для того, чтобы установить связь фундированной семантики с расширениями теории умолчаний, Альфереш и Перейра сначала определяют основные принципы, которым должна удовлетворять семантика теории умолчаний, а затем определяют специальную теорию умолчаний, согласующуюся с этими принципами. [22]
Установим соотношение между логикой умолчаний и АЭЛ. На первый взгляд может показаться, что логика умолчаний менее выразительна, нежели АЭЛ, поскольку в ней нет возможности выводить умолчания из других формул, так как они не являются частью языка. Тем не менее, как это ни удивительно, Конолиге показал, что АЭЛ и логика умолчаний эквивалентны. L формулами некоторого класса расширений АЭЛ, так называемых строго основанных расширений. [23]
Неподвижная точка представляет собой устойчивое множество предположений, из которого нельзя вывести никакую новую выполнимую формулу. Этот метод непосредственно применяется в немонотонных, логиках Мак-Дермотта ( разд. В логиках умолчаний Рейтера ( разд. Столнекера и Мура ( разд. [24]
Преимуществом данного подхода является то, что он обеспечивает изящную общую структуру для исследования различных аргументационных систем. Авторы подхода показали, что некоторые немонотонные логики могут быть переведены в аргументационные системы. В результате появляется возможность для определения альтернативной семантики немонотонных логик. Например, Данг показал, что семантика логики умолчаний соответствует устойчивой семантике аргументационной системы, и для этой логики можно определить другую аргументационную семантику, гарантирующую наличие расширений. [25]
Рассматриваются методы достоверного ( дедуктивного) и правдоподобного ( абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах: вывод на графе связей, графе дизъюнктов, вывод на иерархических структурах. Даются различные виды параллелизма при выводе на графовых структурах. Описываются как классические, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Доила, автоэпистемические логики Мура, логики умолчания Рейтера. Приводятся основы теории аргументации и методы абдуктивного вывода. Рассматриваются базовые принципы построения систем обучения и принятия решений и даются задачи обучения без учителя и с учителем. Излагаются индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. [26]
Системы сетевого и объектного представлений часто позволяют выразить наследование свойств с исключениями и встроить механизмы вывода, связанные с этими методами. Поведение таких систем редко бывает корректным и полностью охарактеризованным. Соответствующие методы довольно плохо освоены. Если наследственные свойства между классами и подклассами можно относительно легко охарактеризовать в классической логике, то исследование исключений требует определенных ухищрений. Логика умолчаний очерчивает естественные рамки для формализации систем представления знаний и рассуждений с исключениями. [27]
В этой главе представлены основные подходы к организации аб-дуктивного вывода и к построению систем пересматриваемой аргументации. На сегодняшний день не существует формальной теории аргументации. Изложение основ теории аргументации приводится по этой работе. Обзор систем аргументации также выполнен по работе [10.1], и дополнительно использована работа [10.2], где описан ряд разработок по теории аргументации в искусственном интеллекте и примеры их практических приложений. Более подробное изложение аргументационной семантики Данга можно найти в [10.3], где, в частности, утверждается, что логическое программирование и другие формализмы немонотонного и пересматриваемого вывода в искусственном интеллекте основываются на принципах теории аргументации. В работе [10.4] описано, как различные системы для вывода по умолчанию могут быть представлены с помощью теории аргументации. В частности, здесь в качестве систем для вывода по умолчанию приводятся следующие: логика умолчаний, логическое программирование, автоэпи-стемические логики, немонотонные модальные логики, логика очерчивания. [28]
Аргументационная система, разработанная Прак-кеном и Сартором, обобщает фундаментальную семантику абстрактной аргументационной структуры Данга и др. для случая, когда используются приоритеты аргументов. Предполагается, что объектный язык содержит связку, используемую в логическом программировании для формирования правил на литерах, а также существует два вида отрицания - явное и неявное, и предикатный символ -, устанавливающий приоритеты в языке. Аргумент представляется конечной последовательностью фундаментальных примеров правил. В структуре аргумента выделяется подаргумент, заключение и гипотеза. При конфликте аргументов возможен как подрыв, так и опровержение. Причем при определении вида поражения аргумента учитываются и приоритеты, определенные для правил. С помощью скептической семантики определяется статус аргумента: подтверждаемый, аннулируемый или оправдываемый. При формулировке этой аргументационной системы может использоваться и язык логики умолчаний. Система сформулирована как в процедурной, так и в декларативной форме. [29]