Cтраница 2
Преимуществом данного подхода является то, что он обеспечивает изящную общую структуру для исследования различных аргументационных систем. Авторы подхода показали, что некоторые немонотонные логики могут быть переведены в аргументационные системы. В результате появляется возможность для определения альтернативной семантики немонотонных логик. Например, Данг показал, что семантика логики умолчаний соответствует устойчивой семантике аргументационной системы, и для этой логики можно определить другую аргументационную семантику, гарантирующую наличие расширений. [16]
В этой главе представлены основные подходы к организации аб-дуктивного вывода и к построению систем пересматриваемой аргументации. На сегодняшний день не существует формальной теории аргументации. Изложение основ теории аргументации приводится по этой работе. Обзор систем аргументации также выполнен по работе [10.1], и дополнительно использована работа [10.2], где описан ряд разработок по теории аргументации в искусственном интеллекте и примеры их практических приложений. Более подробное изложение аргументационной семантики Данга можно найти в [10.3], где, в частности, утверждается, что логическое программирование и другие формализмы немонотонного и пересматриваемого вывода в искусственном интеллекте основываются на принципах теории аргументации. В работе [10.4] описано, как различные системы для вывода по умолчанию могут быть представлены с помощью теории аргументации. В частности, здесь в качестве систем для вывода по умолчанию приводятся следующие: логика умолчаний, логическое программирование, автоэпи-стемические логики, немонотонные модальные логики, логика очерчивания. [17]