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
Properties of Stable Model Semantics Extensions
July 2014
psmse
The stable model (SM) semantics lacks the properties of existence, relevance and cumulativity. We define a large class of conservative extensions of the SM semantics, dubbed affix stable model semantics (ASM), and study the above properties into two non-disjoint subfamilies of the class ASM, here dubbed ASMh and ASMm. From this study a number of results stem which facilitate the assessment of semantics in the class ASMh [ASMm with respect to the properties of existence, relevance and cumulativity, whilst unveiling relations among these properties. As a result of the approach taken in our work, light is shed on the characterization of the SM semantics, as we show that the properties of (lack of) existence and (lack of) cautious monotony are equivalent, which opposes statements on this issue that may be found in the literature. We also characterize the relevance failure of SM semantics in a more clear way than usually stated in the literature.
In proceedings
Mário Abrantes, Luís Moniz Pereira
Manuel Carro
30th Intl. Conf. Logic Programming (ICLP'14)
International Conferences on Logic Programming
Cambridge University Press
Cambridge, UK
-
-
-
-
http://arxiv.org/abs/1405.3896
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/properties_sm_ext.pdf
Export formats
Mário Abrantes and Luís Moniz Pereira, Properties of Stable Model Semantics Extensions, in: Manuel Carro (eds), 30th Intl. Conf. Logic Programming (ICLP'14), International Conferences on Logic Programming, Cambridge University Press, Cambridge, UK, (http://centria.di.fct.unl.pt/~lmp/publications/online-papers/properties_sm_ext.pdf), http://arxiv.org/abs/1405.3896, July 2014.
Mário Abrantes and <a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a>, <b>Properties of Stable Model Semantics Extensions</b>, in: Manuel Carro (eds), <u>30th Intl. Conf. Logic Programming (ICLP'14)</u>, International Conferences on Logic Programming, Cambridge University Press, Cambridge, UK, (<a href="http://centria.di.fct.unl.pt/~lmp/publications/online-papers/properties_sm_ext.pdf" target="_blank">url</a>), <i>http://arxiv.org/abs/1405.3896</i>, July 2014.
@inproceedings {psmse, author = {M{\'a}rio Abrantes and Lu\'{\i}s Moniz Pereira}, editor = {Manuel Carro}, title = {Properties of Stable Model Semantics Extensions}, booktitle = {30th Intl. Conf. Logic Programming (ICLP'14)}, series = {International Conferences on Logic Programming}, publisher = {Cambridge University Press}, address = {Cambridge, UK}, note = {http://arxiv.org/abs/1405.3896}, url = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/properties_sm_ext.pdf}, abstract = {The stable model (SM) semantics lacks the properties of existence, relevance and cumulativity. We define a large class of conservative extensions of the SM semantics, dubbed affix stable model semantics (ASM), and study the above properties into two non-disjoint subfamilies of the class ASM, here dubbed ASMh and ASMm. From this study a number of results stem which facilitate the assessment of semantics in the class ASMh [ASMm with respect to the properties of existence, relevance and cumulativity, whilst unveiling relations among these properties. As a result of the approach taken in our work, light is shed on the characterization of the SM semantics, as we show that the properties of (lack of) existence and (lack of) cautious monotony are equivalent, which opposes statements on this issue that may be found in the literature. We also characterize the relevance failure of SM semantics in a more clear way than usually stated in the literature.}, keywords = {Stable model semantics, Conservative extensions to stable model semantics, Existence, Relevance, Cumulativity, Defectivity, Excessiveness, Irregularity, 2-valued semantics for logic programs}, month = {July}, year = {2014}, }
Publication's urls
/publications/view.php?code=7be92e33c996d9e129d3f4395f58ea16
/publications/view.php?code=psmse
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