Cтраница 3
Представляемая семантика теорий умолчаний определена для ограниченного языка, в котором предпосылки ( prerequisites) и обоснования ( justifications) - конечные множества фундаментальных литер, заключением также является литера, и все формулы, не входящие в правила-умолчания, представлены лишь литерами. Отметим, что, как обычно, при установлении соответствия теорий умолчаний и логических программ, язык теорий уже ограничен подобным образом. Более того, далее будет показано, что теории умолчаний с ограниченным языком представления тем не менее обладают такой же выразительной силой, как и логические программы с явным отрицанием. [31]
Идея установления связи между логическим программированием и теориями умолчаний состоит в следующем: перевести каждое правило программы в правило-умолчание и затем сравнить расширения теории умолчаний с семантикой соответствующей программы. Поводом для проведения таких исследований послужило то, что с одной стороны, появляется возможность использования логического программирования как структуры для немонотонного вывода, и, с другой стороны, - вычислять расширения логики умолчаний с помощью алгоритмов, разработанных для логических программ. Для того, чтобы установить связь фундированной семантики с расширениями теории умолчаний, Альфереш и Перейра сначала определяют основные принципы, которым должна удовлетворять семантика теории умолчаний, а затем определяют специальную теорию умолчаний, согласующуюся с этими принципами. [32]
Идея установления связи между логическим программированием и теориями умолчаний состоит в следующем: перевести каждое правило программы в правило-умолчание и затем сравнить расширения теории умолчаний с семантикой соответствующей программы. Поводом для проведения таких исследований послужило то, что с одной стороны, появляется возможность использования логического программирования как структуры для немонотонного вывода, и, с другой стороны, - вычислять расширения логики умолчаний с помощью алгоритмов, разработанных для логических программ. Для того, чтобы установить связь фундированной семантики с расширениями теории умолчаний, Альфереш и Перейра сначала определяют основные принципы, которым должна удовлетворять семантика теории умолчаний, а затем определяют специальную теорию умолчаний, согласующуюся с этими принципами. [33]