Skip to main content
×
Home
    • Aa
    • Aa

A Transformation-based implementation for CLP with qualification and proximity*

  • R. CABALLERO (a1), M. RODRÍGUEZ-ARTALEJO (a1) and C. A. ROMERO-DÍAZ (a1)
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.

Copyright
Footnotes
Hide All

This work has been partially supported by the Spanish projects STAMP (TIN2008-06622-C03-01), PROMETIDOS–CM (S2009TIC-1465) and GPD–UCM (UCM–BSCH–GR58/08-910502).

Footnotes
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

F. Arcelli Fontana 2002. Likelog for flexible query answering. Soft Computing 7, 107114.

F. Arcelli Fontana and F. Formato 1999. Likelog: A logic programming language for flexible data retrieval. In Proceedings of the 1999 ACM Symposium on Applied Computing (SAC'99). ACM Press, New York, NY, USA, 260267.

F. Arcelli Fontana and F. Formato 2002. A similarity-based resolution rule. International Journal of Intelligent Systems 17, 9, 853872.

R. Caballero , M. Rodríguez-Artalejo and C. A. Romero-Díaz 2008. Similarity-based reasoning in qualified logic programming. In PPDP '08: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, ACM, Valencia, Spain, 185194.

R. Caballero , M. Rodríguez-Artalejo and C. A. Romero-Díaz 2009. Qualified computations in functional logic programming. In Logic Programming (ICLP'09), P. Hill and D. Warren , Eds. LNCS, vol. 5649, Springer-Verlag, Berlin, Germany, 449463.

A. Campi , E. Damiani , S. Guinea , S. Marrara , G. Pasi and P. Spoletini 2009. A fuzzy extension of the XPath query language. Journal of Intelligent Information Systems 33, 3 (December), 285305.

D. Dubois and H. Prade 1980. Fuzzy Sets and Systems: Theory and Applications. Academic Press, New York, NY, USA.

E. C. Freuder and R. J. Wallace 1992. Partial constraint satisfaction. Artificial Intelligence 58, 1–3, 2170.

G. Gerla 2001. Fuzzy Logic: Mathematical Tools for Approximate Reasoning. Kluwer Academic, Norwell, MA, USA.

S. Guadarrama , S. Muñoz and C. Vaucheret 2004. Fuzzy prolog: A new approach using soft constraint propagation. Fuzzy Sets and Systems 144, 1, 127150.

J. Jaffar and J. L. Lassez 1987. Constraint logic programming. In Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'87). ACM Press, New York, NY, USA, 111119.

J. Jaffar , M. Maher , K. Marriott and P. J. Stuckey 1998. Semantics of constraints logic programs. Journal of Logic Programming 37, 1–3, 146.

R. Julián , G. Moreno and J. Penabad 2009. An improved reductant calculus using fuzzy partial evaluation techniques. Fuzzy Sets and Systems 160, 2, 162181.

P. Julián-Iranzo and C. Rubio-Manzano 2009a. A declarative semantics for Bousi~Prolog. In PPDP'09: Proceedings of the 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. ACM, Coimbra, Portugal, 149160.

M. Kifer and V. S. Subrahmanian 1992. Theory of generalized annotated logic programs and their applications. Journal of Logic Programming 12, 3 & 4, 335367.

R. C. T. Lee 1972. Fuzzy logic and the resolution principle. Journal of the Association for Computing Machinery (ACM) 19, 1 (January), 109119.

D. Li and D. Liu 1990. A Fuzzy Prolog Database System. John Wiley, Hoboken, NJ, USA.

J. W. Lloyd 1987. Foundations of Logic Programming, 2nd ed., Springer, New York, USA.

V. Loia , S. Senatore and M. I. Sessa 2004. Similarity-based SLD resolution and its role for web knowledge discovery. Fuzzy Sets and Systems 144, 1, 151171.

J. Medina , M. Ojeda-Aciego and P. Vojtáš 2001a. Multi-adjoint logic programming with continuous semantics. In Logic Programming and Non-Monotonic Reasoning (LPNMR'01), T. Eiter , W. Faber and M. Truszczyinski , Eds. LNAI, vol. 2173. Springer-Verlag, Berlin, Germany, 351364.

J. Medina , M. Ojeda-Aciego and P. Vojtáš 2001b. A procedural semantics for multi-adjoint logic programming. In Progress in Artificial Intelligence (EPIA'01), P. Brazdil and A. Jorge , Eds. LNAI, vol. 2258. Springer-Verlag, Berlin, Germany, 290297.

J. Medina , M. Ojeda-Aciego and P. Vojtáš 2004. Similarity-based unification: A multi-adjoint approach. Fuzzy Sets and Systems 146, 4362.

M. Rodríguez-Artalejo and C. A. Romero-Díaz 2008. Quantitative logic programming revisited. In Functional and Logic Programming (FLOPS'08), J. Garrigue and M. Hermenegildo , Eds. LNCS, vol. 4989. Springer-Verlag, Ise, Japan, 272288.

M. Rodríguez-Artalejo and C. A. Romero-Díaz 2010a. A declarative semantics for CLP with qualification and proximity. Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue 10, 4–6, 627642.

M. I. Sessa 2001. Translations and similarity-based logic programming. Soft Computing 5, 2, 160170.

M. I. Sessa 2002. Approximate reasoning by similarity-based SLD resolution. Theoretical Computer Science 275, 1–2, 389426.

M. H. van Emden 1986. Quantitative deduction and its fixpoint theory. Journal of Logic Programming 3, 1, 3753.

P. Vojtáš 2001. Fuzzy logic programming. Fuzzy Sets and Systems 124, 361370.

L. A. Zadeh 1965. Fuzzy sets. Information and Control 8, 3, 338353.

L. A. Zadeh 1971. Similarity relations and fuzzy orderings. Information Sciences 3, 2, 177200.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords:

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 2 *
Loading metrics...

Abstract views

Total abstract views: 256 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 26th June 2017. This data will be updated every 24 hours.