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