Cтраница 1
Объективная литера а из SLX-T - вывода не появляется в SLX-TU - выводах. Все SLX-T - выводы для - а неуспешны. [1]
Истинностное значение оставшихся объективных литер не определено. [2]
Если в результате будет найдена фиксированная точка S, то она содержит объективные литеры, истинные в WFM. [3]
Определим теперь два монотонных оператора: один из них позволяет по заданному множеству истинных объективных литер находить дополнительные истинные объективные литеры, а другой - по заданному множеству ложных объективных литер находить дополнительные ложные объективные литеры. [4]
Осторожная ( cautious) семантика умолчаний для А - это контекст, содержащий все объективные литеры, принадлежащие всем расширениям А. Оказывается, расширения умолчаний могут рассматриваться как рациональные ( rational) множества заключений, дедуктивно выводимых из А. [5]
Каждой теории умолчаний А Рейтер ставит в соответствие оператор Гд, действующий на множествах объективных литер, которые называются контекстами. [6]
Пусть QI - QTUnot QF - такое множество литер, что QT не содержит пары объективных литер А и - А. [7]
Заметим, что в этих альтернативных определениях каждая модель PSM полностью определяется истинными в ней объективными литерами. [8]
Определим теперь два монотонных оператора: один из них позволяет по заданному множеству истинных объективных литер находить дополнительные истинные объективные литеры, а другой - по заданному множеству ложных объективных литер находить дополнительные ложные объективные литеры. [9]
Кроме того, классическое отрицание в логических программах не отвечает свойству поддерснсиваемости ( supportedness), которое требует, чтобы для каждой программы Р объективная литера L была истинной только в том случае, когда существует правило для L, чье тело истинно. Это свойство вызвано природой эпистемического знания. [10]
Определим теперь два монотонных оператора: один из них позволяет по заданному множеству истинных объективных литер находить дополнительные истинные объективные литеры, а другой - по заданному множеству ложных объективных литер находить дополнительные ложные объективные литеры. [11]
Определим теперь два монотонных оператора: один из них позволяет по заданному множеству истинных объективных литер находить дополнительные истинные объективные литеры, а другой - по заданному множеству ложных объективных литер находить дополнительные ложные объективные литеры. [12]
Расширенная логическая программа Р является канонической тогда и только тогда, когда для любого правила в Р: Н - Body, если L E Body, то not-i L e Body, где L - произвольная объективная литера. [13]
Трехзначная интерпретация / - частичная устойчивая модель расширенной логической программы Р тогда и только тогда, когда / - частичная устойчивая модель нормальной программы Р, где / и Р получены соответственно из / и Р заменой каждой объективной литеры вида - А новым атомом, скажем, - А. [14]
Объективная литера L программы Р истинна при семантике ответных множеств тогда и только тогда, когда L принадлежит всем ответным множествам Р; L - ложна тогда и только тогда, когда - L истинна; в противном случае L не определена. [15]