Title: SLDNFA: An abductive procedure for abductive logic programs
Authors: Denecker, Marc ×
De Schreye, Danny #
Issue Date: Feb-1998
Publisher: Elsevier science inc
Series Title: Journal of logic programming vol:34 issue:2 pages:111-167
Abstract: We present SLDNFA, an extension of SLDNF resolution for abductive reasoning an abductive logic programs. SLDNFA solves the floundering abduction problem: nonground abductive atoms can be selected, SLDNFA also provides a partial solution for the floundering negation problem. Different abductive answers can be derived from an SLDNFA refutation; these answers provide different compromises between generality and comprehensibility. Two extensions of SLDNFA are proposed that satisfy stronger completeness results. The soundness of SLDNFA and its extensions is proved. Their completeness for minimal solutions with respect to implication, cardinality, and set inclusion is investigated. The formalization of SLDNFA presented here is an update of an older version and does not rely on skolemization of abductive atoms. (C) Elsevier Science Inc., 1998.
ISSN: 0743-1066
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
1906.pdf Published 448KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science