Cтраница 2
Попутно заметим, что многие модифицируемые от неопределенности рассуждения моделируемы интроспективно. Но различие между двумя классами модифицируемых логик важно для понимания областей применимости разных немонотонных логик. Последние перечислены ниже и описаны далее в этой главе. [16]
В более поздней работе Макдермотт и я [35] пытаемся формализовать логику, лежащую в основе TMS, при помощи того, что мы называем немонотонной логикой. Мы также приводим исторический обзор соответствующих методов рассуждения. Вейхраух [63] предлагает структуру для метатеорети-ческих рассуждений, в которой могут быть выражены как упомянутые выше, так и другие методы рассуждений. Хинтикка [23] приводит форму семантики возможного в мире для модальных логик знаний и допущений. Мур [38] комбинирует эту семантику для знаний с модальной логикой действий, но не рассматривает допущения и пересмотр допущений. [17]
Преимуществом данного подхода является то, что он обеспечивает изящную общую структуру для исследования различных аргументационных систем. Авторы подхода показали, что некоторые немонотонные логики могут быть переведены в аргументационные системы. В результате появляется возможность для определения альтернативной семантики немонотонных логик. Например, Данг показал, что семантика логики умолчаний соответствует устойчивой семантике аргументационной системы, и для этой логики можно определить другую аргументационную семантику, гарантирующую наличие расширений. [18]
В последние годы были предприняты попытки развития формальных методов дедуктивных умозаключений, избавленных от проблем подобных тем, которые возникают в случае CWA. Проводимые исследования направлены на развитие новых логик, получивших название немонотонные логики. Основное различие между немонотонными и классическими логиками высказываний и предикатов состоит в том, что в немонотонных логиках мы можем отменять ранее сделанные заключения по мере того, как выводятся новые. [19]
Последнее свойство используют при решении задачи поддержания непротиворечивости фактов в БЗ и БД. При этом подход включает фиксацию ( запись) условий ( называемых условиями доверия), которые приводят к заключению. Фиксация условий доверия может служить для таких операций, как выявление заключений, которые не согласуются с происшедшими изменениями в исходных утверждениях; прослеживание источника противоречия, если оно обнаружено, и др. Подобные процедуры называют обеспечением истинности. Они находят применение также в немонотонных логиках. Напомним, что в монотонной системе никогда не требуется повторного вывода заключения при появлении дополнительных фактов. [20]