TY - CHAP
T1 - Inspecting side-effects of abduction in logic programs
AU - Moniz Pereira, Luís
AU - Pinto, Alexandre Miguel
N1 - Symposium on Constructive Mathematics in Computer Science http://marcy.cjb.net/MG65/
PY - 2011
Y1 - 2011
N2 - 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.
AB - 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.
KW - Abduction
KW - Logic Programs
KW - Side-Effects
UR - http://www.scopus.com/inward/record.url?scp=79956312050&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-20832-4_10
DO - 10.1007/978-3-642-20832-4_10
M3 - Chapter
SN - 9783642208317
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 148
EP - 163
BT - Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
A2 - Balduccini, Marcello
A2 - Cao Son, Tran
PB - Springer Verlag
CY - Berlin
ER -