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
Parametrized Logic Programming
2010
ga10:jelia
Traditionally, a logic program is built up to reason about atomic rst-order formulas. The key idea of parametrized logic programming is that, instead of atomic rst-order formulas, a parametrized logic program reasons about formulas of a given parameter logic. Of course, the main challenge is to de ne the semantics of such general programs. In this work we introduce the novel defnitions along with some motivating examples. This approach allows us to prove general results that can be instantiated for every particular choice of the parameter logic. Important general results we can prove include the existence of semantics and the alternating x-point theorem of well-founded semantics. To reenforce the soundness of our general framework we show that some known approaches in the literature of logic programming, such as paraconsistent answer-sets and the MKNF semantics for hybrid knowledge bases, are obtained as particular choices of the parameter logic.
In proceedings
R. Gonçalves, José Júlio Alferes
Tomi Janhunen, Ilkka Niemelä
Logics in Artificial Intelligence - 12th European Conference (JELIA 2010), Helsinki, Finland, September 13-15, 2010.
Lecture Notes in Computer Science
Springer Berlin / Heidelberg
-
6341
182-194
-
-
-
-
Publication files
- click here to download - pdf 187 KB
Export formats
R. Gonçalves and José Júlio Alferes, Parametrized Logic Programming, in: Tomi Janhunen and Ilkka Niemelä (eds), Logics in Artificial Intelligence - 12th European Conference (JELIA 2010), Helsinki, Finland, September 13-15, 2010., Lecture Notes in Computer Science, Springer Berlin / Heidelberg, Vol. 6341, Pag. 182-194, 2010.
<a href="/people/members/view.php?code=855d4cc45b6396858cd0838dd42db58f" class="author">R. Gonçalves</a> and <a href="/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7" class="author">José Júlio Alferes</a>, <b>Parametrized Logic Programming</b>, in: Tomi Janhunen and Ilkka Niemelä (eds), <u>Logics in Artificial Intelligence - 12th European Conference (JELIA 2010), Helsinki, Finland, September 13-15, 2010.</u>, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, Vol. 6341, Pag. 182-194, 2010.
@inproceedings {ga10:jelia, author = {R. Gon\c{c}alves and Jos{\'e} J{\'u}lio Alferes}, editor = {Tomi Janhunen and Ilkka Niemel{\"a}}, title = {Parametrized Logic Programming}, booktitle = {Logics in Artificial Intelligence - 12th European Conference (JELIA 2010), Helsinki, Finland, September 13-15, 2010.}, series = {Lecture Notes in Computer Science}, publisher = {Springer Berlin / Heidelberg}, volume = {6341}, pages = {182-194}, abstract = {Traditionally, a logic program is built up to reason about atomic rst-order formulas. The key idea of parametrized logic programming is that, instead of atomic rst-order formulas, a parametrized logic program reasons about formulas of a given parameter logic. Of course, the main challenge is to de ne the semantics of such general programs. In this work we introduce the novel defnitions along with some motivating examples. This approach allows us to prove general results that can be instantiated for every particular choice of the parameter logic. Important general results we can prove include the existence of semantics and the alternating x-point theorem of well-founded semantics. To reenforce the soundness of our general framework we show that some known approaches in the literature of logic programming, such as paraconsistent answer-sets and the MKNF semantics for hybrid knowledge bases, are obtained as particular choices of the parameter logic.}, year = {2010}, }
Publication's urls
/publications/view.php?code=9aee6e68c58d6dfbe92dde35f08ec749
/publications/view.php?code=ga10:jelia
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