Luís Moniz Pereira, Alexandre Miguel Pinto:

*Approved Models for Normal Logic Programs.*

Complete Text [.pdf, 177KB]

In: Proceedings of 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2007), Yerevan, Armenia (15th - 19th October 2007), LNAI 4790, 454-468, October 2007

© Springer

Abstract

We introduce an original 2-valued semantics for Normal Logic Programs (NLPs) extending the well-known Argumentation work of Phan Minh Dung on Admissible Arguments and Preferred Extensions. In the 2-valued Approved Models Semantics set forth, an Approved Model (AM) correspond to the minimal positive strict consistent 2-valued completion of a Dung Preferred Extension. The AMs Semantics enjoys several non-trivial useful properties such as (1) Existence of a 2-valued Model for every NLP; (2) Relevancy, and (3) Cumulativity. Crucially, we show that the AMs Semantics is a conservative extension to the Stable Models (SMs) Semantics in the sense that every SM of a NLP is also an AM, thus providing every NLP with a model: a property not enjoyed by SMs. Integrity constraints, written in a simpler way, are introduced to identify undesired semantic scenarios, whilst permitting these to be produced nevertheless.We end the paper with some conclusions and mention of future work.

URL:

http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-089

BibTeX:

@inproceedings{REWERSE-RP-2007-089, author = {Luís Moniz Pereira and Alexandre Miguel Pinto}, title = {Approved Models for Normal Logic Programs}, booktitle = {Proceedings of 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Yerevan, Armenia (15th--19th October 2007)}, year = {2007}, volume = {4790}, series = {LNAI}, pages = {454--468}, url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-089} }