Cтраница 1
Альфереш и Перейра доказали, что описанный метод ( даже с упрощениями) корректен по отношению к фундированной семантике нормальных программ. [1]
Альфереш и Перейра следуют второму подходу. [2]
Альфереш и Перейра вводят семантику теории умолчаний, которая является модулярной и удовлетворяет принципу принудительности для каждой ограниченной теории умолчаний. [3]
Основываясь на О-расширениях, Альфереш и Перейра определяют семантику теории умолчаний. [4]
Фундированная семантика для расширенных логических программ была предложена Альферешем и Перейрой, и ее описание приведено по книге [9.1], с. [5]
Альфереш и Перейра определили эпистемическую логику ЕВ с модальностями убеждения и доказуемости, и показали, что она охватывает семантику WFSX. [6]
Эта семантика не удовлетворяет свойству обоснованности. Тем не менее, эта семантика - единственная из рассматриваемых здесь, которая вводит настоящее классическое отрицание в нормальных логических программах. Альфереш и Перейра утверждают, что если ее сравнивать с другими видами семантики с сильным отрицанием, то преимущество данной семантики невелико, так как если разрешить добавление дизъюнкции к логическим программам с сильным отрицанием, то программист сможет устанавливать отрицание, похожее скорее на классическое, нежели на сильное. Это может быть сделано просто с помощью добавления правил в форме А V - А для каждого атома. Более того, программист имеет возможность устанавливать, какое отрицание - сильное или классическое - желательно использовать для каждого атома языка, путем выбора - добавлять или нет для этого атома дизъюнктивное правило. [7]
Идея установления связи между логическим программированием и теориями умолчаний состоит в следующем: перевести каждое правило программы в правило-умолчание и затем сравнить расширения теории умолчаний с семантикой соответствующей программы. Поводом для проведения таких исследований послужило то, что с одной стороны, появляется возможность использования логического программирования как структуры для немонотонного вывода, и, с другой стороны, - вычислять расширения логики умолчаний с помощью алгоритмов, разработанных для логических программ. Для того, чтобы установить связь фундированной семантики с расширениями теории умолчаний, Альфереш и Перейра сначала определяют основные принципы, которым должна удовлетворять семантика теории умолчаний, а затем определяют специальную теорию умолчаний, согласующуюся с этими принципами. [8]