Title: On the duality of abduction and model generation in a framework for model generation with equality
Authors: Denecker, Marc ×
De Schreye, Danny #
Issue Date: Jan-1994
Publisher: Elsevier science bv
Series Title: Theoretical computer science vol:122 issue:1-2 pages:225-262
Abstract: We present a duality relationship between abduction for definite abductive programs and model generation on the only-if part of these programs. As was pointed out by Console et al. (1991), abductive solutions for an abductive program correspond to models of the only-if part. We extend this observation by showing that the procedural semantics of abduction itself can be interpreted dually as a form of model generation on the only-if part. This model generation extends Satchmo with an efficient treatment of equality atoms occurring in the head of rules. It is illustrated how this duality allows to improve current procedures for both abduction and model generation by transferring technical results known for one of these computational paradigms to the other.
ISSN: 0304-3975
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


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

© Web of science