ACLP: Flexible solutions to complex problems
Ημερομηνία
1997ISSN
0302-9743Source
4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997Volume
1265Pages
387-398Google Scholar check
Keyword(s):
Metadata
Εμφάνιση πλήρους εγγραφήςΕπιτομή
In this paper we present a new system for non-monotonic reasoning performed using abduction. The system, called ACLP, is a programming language based on the framework of Abductive and Constraint Logic Programming (ACLP) which integrates abduction and constraint solving in Logic Programming. It is build on top of the ECLiPSe language for Constraint Logic Programming (CLP) interfacing (and exploiting) appropriately the non-monotonic reasoning of abduction with the specialized constraint solving of the CLP language. ACLP is intended as a programming language that extends the underlying CLP language in which using NMR (in this case abduction) together with constraint solving it is possible to develop flexible solutions that are computationally viable in the real-life domain. We present the basic theory of ACLP that underlies the system, the main features of the ACLP language and how it can be used when developing applications. We then report on some experiments performed in order to test the cost of the use of the ACLP system as compared with the direct use of the (lower level) constraint solving framework of CLP on which this is build. These experiments provide evidence that the non-monotonic framework of ACLP does not compromise significantly the computational efficiency of the solutions thus confirming the computational viability of the framework for the development of flexible solutions to real-life applications. © 1997, Springer Verlag. All rights reserved.