Inspecting side-effects of abduction in logic programs

Luís Moniz Pereira, Alexandre Miguel Pinto

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

6 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationLogic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Subtitle of host publication Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
EditorsMarcello Balduccini, Tran Cao Son
Place of PublicationBerlin
PublisherSpringer Verlag
Number of pages16
ISBN (Print)9783642208317
Publication statusPublished - 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6565 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


  • Abduction
  • Logic Programs
  • Side-Effects


Dive into the research topics of 'Inspecting side-effects of abduction in logic programs'. Together they form a unique fingerprint.

Cite this