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
Inductive Tight Semantics for Logic Programs
July 2010
ITSLP
The Gelfond-Lifschitz operator fixed-point requirement by Stable Models induces asymmetry in dealing with Even Loops and Odd Loops Over Negation. We introduce a 2-valued semantics for Normal Logic Programs — the Inductive Tight semantics (ITS) — that generalizes SM semantics by dealing uniformly with Even and Odd loops. ITS conservatively extends the SM semantics, enjoys relevance and cumulativity, guarantees model existence, and respects the Well-Founded Model. The IT semantics relies on Layering, a generalization of Stratification, and is inductively defined on such layering: each model for a given layer must comply with some model for the whole set of layers below. Enjoying Relevance, the IT semantics is suitable top-down querying when complete models are unnecessary. The applications afforded by ITS are all those of Stable Models, which it generalizes, plus those employing OLONs for productively obtaining problem solutions, not just filtering them (like ICs).
In proceedings
Luís Moniz Pereira, Alexandre Miguel Pinto
http://dtai.cs.kuleuven.be/
Liber Amicorum in honour of Maurice Bruynooghe
http://dtai.cs.kuleuven.be/IM60/
K.U.Leuven
-
http://dtai.cs.kuleuven.be/IM60/index.php?CONT=liberamicorum
17-31
-
-
invited paper
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/ITMS.pdf
Export formats
Luís Moniz Pereira and Alexandre Miguel Pinto, Inductive Tight Semantics for Logic Programs, in: http://dtai.cs.kuleuven.be/ (eds), Liber Amicorum in honour of Maurice Bruynooghe, http://dtai.cs.kuleuven.be/IM60/, K.U.Leuven, Vol. http://dtai.cs.kuleuven.be/IM60/index.php?CONT=liberamicorum, Pag. 17-31, (http://centria.di.fct.unl.pt/~lmp/publications/online-papers/ITMS.pdf), invited paper, July 2010.
<a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a> and <a href="/people/members/view.php?code=76dee43781430d064f62dee3fbdf47a8" class="author">Alexandre Miguel Pinto</a>, <b>Inductive Tight Semantics for Logic Programs</b>, in: http://dtai.cs.kuleuven.be/ (eds), <u>Liber Amicorum in honour of Maurice Bruynooghe</u>, http://dtai.cs.kuleuven.be/IM60/, K.U.Leuven, Vol. http://dtai.cs.kuleuven.be/IM60/index.php?CONT=liberamicorum, Pag. 17-31, (<a href="http://centria.di.fct.unl.pt/~lmp/publications/online-papers/ITMS.pdf" target="_blank">url</a>), <i>invited paper</i>, July 2010.
@inproceedings {ITSLP, author = {Lu\'{\i}s Moniz Pereira and Alexandre Miguel Pinto}, editor = {http://dtai.cs.kuleuven.be/}, title = {Inductive Tight Semantics for Logic Programs}, booktitle = {Liber Amicorum in honour of Maurice Bruynooghe}, series = {http://dtai.cs.kuleuven.be/IM60/}, publisher = {K.U.Leuven}, volume = {http://dtai.cs.kuleuven.be/IM60/index.php?CONT=liberamicorum}, pages = {17-31}, note = {invited paper}, url = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/ITMS.pdf}, abstract = {The Gelfond-Lifschitz operator fixed-point requirement by Stable Models induces asymmetry in dealing with Even Loops and Odd Loops Over Negation. We introduce a 2-valued semantics for Normal Logic Programs — the Inductive Tight semantics (ITS) — that generalizes SM semantics by dealing uniformly with Even and Odd loops. ITS conservatively extends the SM semantics, enjoys relevance and cumulativity, guarantees model existence, and respects the Well-Founded Model. The IT semantics relies on Layering, a generalization of Stratification, and is inductively defined on such layering: each model for a given layer must comply with some model for the whole set of layers below. Enjoying Relevance, the IT semantics is suitable top-down querying when complete models are unnecessary. The applications afforded by ITS are all those of Stable Models, which it generalizes, plus those employing OLONs for productively obtaining problem solutions, not just filtering them (like ICs).}, keywords = {Normal Logic Programs, Relevance, Cumulativity, Stable Models, Well-Founded Semantics, Program Remainder}, month = {July}, year = {2010}, }
Publication's urls
/publications/view.php?code=30f3b64c1e98b9712cfd173846b37cde
/publications/view.php?code=ITSLP
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