Computer Science – Logic in Computer Science
Scientific paper
2012-01-25
Computer Science
Logic in Computer Science
To appear in Theory and Practice of Logic Programming (TPLP). arXiv admin note: significant text overlap with arXiv:1009.1976
Scientific paper
Uncertainty in logic programming has been widely investigated in the last decades, leading to multiple extensions of the classical LP paradigm. However, few of these are designed as extensions of the well-established and powerful CLP scheme for Constraint Logic Programming. In a previous work we have proposed the SQCLP ({\em proximity-based qualified constraint logic programming}) scheme as a quite expressive extension of CLP with support for qualification values and proximity relations as generalizations of uncertainty values and similarity relations, respectively. In this paper we provide a transformation technique for transforming SQCLP programs and goals into semantically equivalent CLP programs and goals, and a practical Prolog-based implementation of some particularly useful instances of the SQCLP scheme. We also illustrate, by showing some simple---and working---examples, how the prototype can be effectively used as a tool for solving problems where qualification values and proximity relations play a key role. Intended use of SQCLP includes flexible information retrieval applications.
Caballero Rafael
Rodríguez-Artalejo Mario
Romero-Díaz Carlos A.
No associations
LandOfFree
A Transformation-based Implementation for CLP with Qualification and Proximity 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 A Transformation-based Implementation for CLP with Qualification and Proximity, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Transformation-based Implementation for CLP with Qualification and Proximity will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-444913