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
Inspecting Side-Effects of Abduction in Logic Programs
October 2010
ISEALP
In the context of abduction in Logic Programs, when finding an abductive solution for a query, one may want to check too whether some other literals become true (or false) as a consequence, strictly within the abductive solution found, that is without performing additional abductions, and without having to produce a complete model to do so. That is, such consequence literals may consume, but not produce, the abduced literals of the solution. We show how this type of reasoning requires a new mechanism, not provided by others already available. To achieve it, we present the concept of Inspection Point in Abductive Logic Programs, and show, by means of examples, how one can employ it to investigate side-effects of interest (the inspection points) in order to help choose among abductive solutions. We show how to implement inspection points on top of already existing abduction solving systems — ABDUAL and XSB-XASP — in a way that can be adopted by other systems too.
Book chapter
Luís Moniz Pereira, Alexandre Miguel Pinto
M. Balduccini, S. Tran
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in honour of Michael Gelfond
Symposium on Constructive Mathematics in Computer Science
University of Kentucky
Lexington, USA
http://marcy.cjb.net/MG65/proceedings.pdf
129-144
-
-
Symposium on Constructive Mathematics in Computer Science http://marcy.cjb.net/MG65/
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/ISALP.pdf
Export formats
Luís Moniz Pereira and Alexandre Miguel Pinto, Inspecting Side-Effects of Abduction in Logic Programs, in: M. Balduccini and S. Tran (eds), Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in honour of Michael Gelfond, Symposium on Constructive Mathematics in Computer Science, University of Kentucky, Lexington, USA, Vol. http://marcy.cjb.net/MG65/proceedings.pdf, Pag. 129-144, (http://centria.di.fct.unl.pt/~lmp/publications/online-papers/ISALP.pdf), Symposium on Constructive Mathematics in Computer Science http://marcy.cjb.net/MG65/, October 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>Inspecting Side-Effects of Abduction in Logic Programs</b>, in: M. Balduccini and S. Tran (eds), <u>Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in honour of Michael Gelfond</u>, Symposium on Constructive Mathematics in Computer Science, University of Kentucky, Lexington, USA, Vol. http://marcy.cjb.net/MG65/proceedings.pdf, Pag. 129-144, (<a href="http://centria.di.fct.unl.pt/~lmp/publications/online-papers/ISALP.pdf" target="_blank">url</a>), <i>Symposium on Constructive Mathematics in Computer Science http://marcy.cjb.net/MG65/</i>, October 2010.
@incollection {ISEALP, author = {Lu\'{\i}s Moniz Pereira and Alexandre Miguel Pinto}, editor = {M. Balduccini and S. Tran}, title = {Inspecting Side-Effects of Abduction in Logic Programs}, booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in honour of Michael Gelfond}, series = {Symposium on Constructive Mathematics in Computer Science}, publisher = {University of Kentucky}, address = {Lexington, USA}, volume = {http://marcy.cjb.net/MG65/proceedings.pdf}, pages = {129-144}, note = {Symposium on Constructive Mathematics in Computer Science http://marcy.cjb.net/MG65/}, url = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/ISALP.pdf}, abstract = {In the context of abduction in Logic Programs, when finding an abductive solution for a query, one may want to check too whether some other literals become true (or false) as a consequence, strictly within the abductive solution found, that is without performing additional abductions, and without having to produce a complete model to do so. That is, such consequence literals may consume, but not produce, the abduced literals of the solution. We show how this type of reasoning requires a new mechanism, not provided by others already available. To achieve it, we present the concept of Inspection Point in Abductive Logic Programs, and show, by means of examples, how one can employ it to investigate side-effects of interest (the inspection points) in order to help choose among abductive solutions. We show how to implement inspection points on top of already existing abduction solving systems — ABDUAL and XSB-XASP — in a way that can be adopted by other systems too.}, keywords = {Logic Programs, Abduction, Side-Effects}, month = {October}, year = {2010}, }
Publication's urls
/publications/view.php?code=3858441773d1b6f3e6554af020219a11
/publications/view.php?code=ISEALP
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