A Transformation-based implementation for CLP with qualification and proximity*. Issue 1 (25th April 2012)

• Record Type: Journal Article
• Authors: CABALLERO, R.; RODRÍGUEZ-ARTALEJO, M.; ROMERO-DÍAZ, C. A.
• Is Part Of: Theory and practice of logic programming. Volume 14:Issue 1(2014)
• Page Start: 1
• Page End: 63
• Publication Date: 2012-04-25
• Subjects: constraint logic programming, -- program transformation, -- qualification domains and values, -- similarity and proximity relations, -- flexible information retrieval; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068412000014
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: Uncertainty in logic programming has been widely investigated in the last decades, leading to multiple extensions of the classical logic programming paradigm. However, few of these are designed as extensions of the well-established and powerful Constraint Logic Programming (CLP) scheme for CLP. In a previous work we have proposed the proximity-based qualified constraint logic programming (SQCLP) 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.