Computer Science – Artificial Intelligence
Scientific paper
2000-03-07
Computer Science
Artificial Intelligence
6 pages
Scientific paper
ACLP is a system which combines abductive reasoning and constraint solving by integrating the frameworks of Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). It forms a general high-level knowledge representation environment for abductive problems in Artificial Intelligence and other areas. In ACLP, the task of abduction is supported and enhanced by its non-trivial integration with constraint solving facilitating its application to complex problems. The ACLP system is currently implemented on top of the CLP language of ECLiPSe as a meta-interpreter exploiting its underlying constraint solver for finite domains. It has been applied to the problems of planning and scheduling in order to test its computational effectiveness compared with the direct use of the (lower level) constraint solving framework of CLP on which it is built. These experiments provide evidence that the abductive framework of ACLP does not compromise significantly the computational efficiency of the solutions. Other experiments show the natural ability of ACLP to accommodate easily and in a robust way new or changing requirements of the original problem.
No associations
LandOfFree
ACLP: Integrating Abduction and Constraint Solving does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with ACLP: Integrating Abduction and Constraint Solving, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and ACLP: Integrating Abduction and Constraint Solving will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-143951