Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Each normal logic program has a 2-valued Minimal Hypotheses semantics
September 2011
MHsem
We explore a unifying approach of hypotheses assumption to provide a semantics for all Normal Logic Programs (NLP), the Minimal Hypotheses (MH) semantics. This semantics takes a positive hypotheses assumption approach to guarantee the desirable properties of model existence, relevance and cumulativity, and of generalizing the Stable Models semantics. We first introduce the semantic concept of minimality of assumed positive hypotheses, define MH semantics, and analyze its properties and applicability. Abductive Logic Programming can be captured by a strategy centered on the assumption of abducibles (or hypotheses). The Argumentation perspective of Logic Programs also lends itself to an arguments (or hypotheses) assumption approach. Previous works on Abduction have depicted the atoms of default negated literals in NLPs as abducibles, i.e., assumable hypotheses. We take a complementary and more general view than these works to NLP semantics by employing positive hypotheses instead.
In proceedings
Alexandre Miguel Pinto, Luís Moniz Pereira
H. Tompits and
19th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'11)
http://arxiv.org/corr/home
CoRR
http://arxiv.org/
http://arxiv.org/abs/1108.5766v1
248-262
-
-
-
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/MH-INAP11.pdf
Export formats
Alexandre Miguel Pinto and Luís Moniz Pereira, Each normal logic program has a 2-valued Minimal Hypotheses semantics, in: H. Tompits and (eds), 19th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'11), http://arxiv.org/corr/home, CoRR, http://arxiv.org/, Vol. http://arxiv.org/abs/1108.5766v1, Pag. 248-262, (http://centria.di.fct.unl.pt/~lmp/publications/online-papers/MH-INAP11.pdf), September 2011.
<a href="/people/members/view.php?code=76dee43781430d064f62dee3fbdf47a8" class="author">Alexandre Miguel Pinto</a> and <a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a>, <b>Each normal logic program has a 2-valued Minimal Hypotheses semantics</b>, in: H. Tompits and (eds), <u>19th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'11)</u>, http://arxiv.org/corr/home, CoRR, http://arxiv.org/, Vol. http://arxiv.org/abs/1108.5766v1, Pag. 248-262, (<a href="http://centria.di.fct.unl.pt/~lmp/publications/online-papers/MH-INAP11.pdf" target="_blank">url</a>), September 2011.
@inproceedings {MHsem, author = {Alexandre Miguel Pinto and Lu\'{\i}s Moniz Pereira}, editor = {H. Tompits and}, title = {Each normal logic program has a 2-valued Minimal Hypotheses semantics}, booktitle = {19th Intl. Conf. on Applications of Declarative Programming and Knowledge Management (INAP'11)}, series = {http://arxiv.org/corr/home}, publisher = {CoRR}, address = {http://arxiv.org/}, volume = {http://arxiv.org/abs/1108.5766v1}, pages = {248-262}, url = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/MH-INAP11.pdf}, abstract = {We explore a unifying approach of hypotheses assumption to provide a semantics for all Normal Logic Programs (NLP), the Minimal Hypotheses (MH) semantics. This semantics takes a positive hypotheses assumption approach to guarantee the desirable properties of model existence, relevance and cumulativity, and of generalizing the Stable Models semantics. We first introduce the semantic concept of minimality of assumed positive hypotheses, define MH semantics, and analyze its properties and applicability. Abductive Logic Programming can be captured by a strategy centered on the assumption of abducibles (or hypotheses). The Argumentation perspective of Logic Programs also lends itself to an arguments (or hypotheses) assumption approach. Previous works on Abduction have depicted the atoms of default negated literals in NLPs as abducibles, i.e., assumable hypotheses. We take a complementary and more general view than these works to NLP semantics by employing positive hypotheses instead.}, keywords = {Hypotheses, Semantics, NLPs, Abduction, Argumentation}, month = {September}, year = {2011}, }
Publication's urls
/publications/view.php?code=d111288d05225cac3de23da9dce5745b
/publications/view.php?code=MHsem
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT