research-article

Similarity-based reasoning in qualified logic programming

Authors:

Rafael Caballero,

Mario Rodríguez-Artalejo,

Carlos A. Romero-DíazAuthors Info & Claims

PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming

Pages 185 - 194

https://doi.org/10.1145/1389449.1389472

Published: 15 July 2008 Publication History

Abstract

Similarity-based Logic Programming (briefly, SLP) has been proposed to enhance the LP paradigm with a kind of approximate reasoning which supports flexible information retrieval applications. This approach uses a fuzzy similarity relation ℝ between symbols in the program's signature, while keeping the syntax for program clauses as in classical LP. Another recent proposal is the QLP(D) scheme for Qualified Logic Programming, an extension of the LP paradigm which supports approximate reasoning and more. This approach uses annotated program clauses and a parametrically given domain D whose elements qualify logical assertions by measuring their closeness to various users' expectations. In this paper we propose a more expressive scheme SQLP(ℝ, D) which subsumes both SLP and QLP(D) as particular cases. We also show that SQLP(ℝ, D) programs can be transformed into semantically equivalent QLP(D) programs. As a consequence, existing QLP(D) implementations can be used to give efficient support for similarity-based reasoning

References

[1]

K.R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 493--574. Elsevier and The MIT Press, 1990.]]

Digital Library

[2]

K.R. Apt and M.H. van Emden. Contributions to the theory of logic programming. Journal of the Association for Computing Machinery (JACM), 29(3):841--862, 1982.]]

Digital Library

[3]

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

Digital Library

[4]

P. Arenas, A.J. Fernández, A. Gil, F.J. López-Fraguas, M. Rodríguez-Artalejo and F. Sáenz-Pérez. T OY, a multiparadigm declarative language. Version 2.3.1, 2007. R. Caballero and J. Sánchez (Eds.), available at http://toy.sourceforge.net.]]

[5]

F. Formato, G. Gerla and M.I. Sessa. Similarity-based unification. Fundamenta Informaticae, 41(4):393--414, 2000.]]

Digital Library

[6]

G. Gerla and M.I. Sessa. Similarity in logic programming. In G. Chen, M. Ying and K. Cai, editors, Fuzzy Logic and Soft Computing, pages 19--31. Kluwer Academic Publishers, 1999.]]

[7]

M. Kifer and V.S. Subrahmanian. Theory of generalized annotated logic programs and their applications. Journal of Logic Programming, 12(3&4):335--367, 1992.]]

Digital Library

[8]

V. Loia, S. Senatore and M.I. Sessa. Similarity-based SLD resolution and its role for web knowledge discovery. Fuzzy Sets and Systems, 144(1):151--171, 2004.]]

[9]

J. Medina, M. Ojeda-Aciego and P. Vojtáš. Multi-adjoint logic programming with continuous semantics. In T. Eiter, W. Faber and M. Truszczyinski, editors, Logic Programming and Non-Monotonic Reasoning (LPNMR'01), volume 2173 of LNAI, pages 351--364. Springer-Verlag, 2001.]]

Digital Library

[10]

J. Medina, M. Ojeda-Aciego and P. Vojtáš. A procedural semantics for multi-adjoint logic programming. In P. Brazdil and A. Jorge, editors, Progress in Artificial Intelligence (EPIA'01), volume 2258 of LNAI, pages 290--297. Springer-Verlag, 2001.]]

Digital Library

[11]

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

[12]

G. Moreno and V. Pascual. Programming with fuzzy logic and mathematical functions. In A.P.I. Bloch and A. Tettamanzi, editors, Proceedings of the 6th International Workshop on Fuzzy Logic and Applications (WILF'05), volume 3849 of LNAI, pages 89--98. Springer-Verlag, 2006.]]

Digital Library

[13]

M. Rodríguez-Artalejo and C.A. Romero-Díaz. A generic scheme for qualified logic programming (Technical Report SIC-1-08). Technical Report, Universidad Complutense, Departamento de Sistemas Informáticos y Computaci ón, Madrid, Spain, 2008.]]

[14]

M. Rodríguez-Artalejo and C.A. Romero-Díaz. Quantitative logic programming revisited. In J. Garrigue and M. Hermenegildo, editors, Functional and Logic Programming (FLOPS'08), volume 4989 of LNCS, pages 272--288. Springer-Verlag, 2008.]]

Digital Library

[15]

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

[16]

M.I. Sessa. Approximate reasoning by similarity-based SLD resolution. Theoretical Computer Science, 275(1&2):389--426, 2002.]]

Digital Library

[17]

V.S. Subrahmanian. On the semantics of quantitative logic programs. In Proceedings of the 4th IEEE Symposium on Logic Programming, pages 173--182, San Francisco, 1987.]]

[18]

V.S. Subrahmanian. Query processing in quantitative logic programming. In Proceedings of the 9th International Conference on Automated Deduction, volume 310 of LNCS, pages 81--100, London, UK, 1988. Springer-Verlag.]]

Digital Library

[19]

V.S. Subrahmanian. Uncertainty in logic programming: Some recollections. Association for Logic Programming Newsletter, 20(2), 2007.]]

[20]

M.H. van Emden. Quantitative deduction and its fixpoint theory. Journal of Logic Programming, 3(1):37--53, 1986.]]

Digital Library

[21]

M.H. van Emden and R.A. Kowalski. The semantics of predicate logic as a programming language. Journal of the Association for Computing Machinery (JACM), 23(4):733--742, 1976.]]

Digital Library

[22]

P. Vojtáš. Fuzzy logic programming. Fuzzy Sets and Systems, 124:361:370, 2001.]]

Digital Library

Cited By

Julián-Iranzo PMoreno GRiaza J(2023)Some properties of substitutions in the framework of similarity relationsFuzzy Sets and Systems10.1016/j.fss.2023.03.013465(108510)Online publication date: Aug-2023
https://doi.org/10.1016/j.fss.2023.03.013
Julián-Iranzo PMoreno GPenabad J(2018)FASILL: Fuzzy Correct Answers and Soundness⋆2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)10.1109/FUZZ-IEEE.2018.8491504(1-8)Online publication date: 8-Jul-2018
https://dl.acm.org/doi/10.1109/FUZZ-IEEE.2018.8491504
Julián-Iranzo PMoreno GPenabad JVázquez C(2016)A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth DegreesRule Technologies. Research, Tools, and Applications10.1007/978-3-319-42019-6_5(68-82)Online publication date: 28-Jun-2016
https://doi.org/10.1007/978-3-319-42019-6_5
Show More Cited By

Index Terms

Similarity-based reasoning in qualified logic programming

Recommendations

Qualified Logic Programming with Bivalued Predicates

Research on the field of uncertainty in logic programming has evolved during the last 25 years. In a recent paper [M. Rodriguez-Artalejo and C.A. Romero-Diaz. Quantitative logic programming revisited. In J. Garrigue and M. Hermenegildo, editors, ...
‘Classical’ Negation in Nonmonotonic Reasoning and Logic Programming

Gelfond and Lifschitz were the first to point out the need for a symmetric negation in logic programming and they also proposed a specific semantics for such negation for logic programs with the stable semantics, which they called ‘classical’. Subsequently,...
Quantitative logic programming revisited
FLOPS'08: Proceedings of the 9th international conference on Functional and logic programming

Uncertainty in Logic Programming has been investigated since about 25 years, publishing papers dealing with various approaches to semantics and different applications. This paper is intended as a first step towards the investigation of uncertainty in ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming

July 2008

278 pages

ISBN:9781605581170

DOI:10.1145/1389449

General Chair:
Sergio Antoy
Portland State University, Oregon, USA
,
Program Chair:
Elvira Albert
Complutense University of Madrid, Spain

Copyright © 2008 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 July 2008

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

PPDP08

Sponsor:

PPDP08: Principles and Practice of Declarative Programming

July 15 - 17, 2008

Valencia, Spain

Acceptance Rates

PPDP '08 Paper Acceptance Rate 24 of 48 submissions, 50%;

Overall Acceptance Rate 230 of 486 submissions, 47%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
116
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Julián-Iranzo PMoreno GRiaza J(2023)Some properties of substitutions in the framework of similarity relationsFuzzy Sets and Systems10.1016/j.fss.2023.03.013465(108510)Online publication date: Aug-2023
https://doi.org/10.1016/j.fss.2023.03.013
Julián-Iranzo PMoreno GPenabad J(2018)FASILL: Fuzzy Correct Answers and Soundness⋆2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)10.1109/FUZZ-IEEE.2018.8491504(1-8)Online publication date: 8-Jul-2018
https://dl.acm.org/doi/10.1109/FUZZ-IEEE.2018.8491504
Julián-Iranzo PMoreno GPenabad JVázquez C(2016)A Declarative Semantics for a Fuzzy Logic Language Managing Similarities and Truth DegreesRule Technologies. Research, Tools, and Applications10.1007/978-3-319-42019-6_5(68-82)Online publication date: 28-Jun-2016
https://doi.org/10.1007/978-3-319-42019-6_5
Julián-Iranzo PMoreno GPenabad JVázquez C(2015)A Fuzzy Logic Programming Environment for Managing Similarity and Truth DegreesElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.173.6173(71-86)Online publication date: 8-Jan-2015
https://doi.org/10.4204/EPTCS.173.6
Julián-Iranzo PRubio-Manzano C(2015)Proximity-based unification theoryFuzzy Sets and Systems10.1016/j.fss.2014.07.006262:C(21-43)Online publication date: 1-Mar-2015
https://dl.acm.org/doi/10.1016/j.fss.2014.07.006
CABALLERO RRODRÍGUEZ-ARTALEJO MROMERO-DÍAZ C(2012)A Transformation-based implementation for CLP with qualification and proximityTheory and Practice of Logic Programming10.1017/S147106841200001414:1(1-63)Online publication date: 25-Apr-2012
https://doi.org/10.1017/S1471068412000014
Julián-Iranzo PRubio-Manzano C(2011)A sound semantics for a similarity-based logic programming languageProceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II10.5555/2023332.2023393(421-428)Online publication date: 8-Jun-2011
https://dl.acm.org/doi/10.5555/2023332.2023393
RodrÍguez-artalejo MRomero-dÍaz C(2010)A declarative semantics for clp with qualification and proximity*Theory and Practice of Logic Programming10.1017/S147106841000032310:4-6(627-642)Online publication date: 1-Jul-2010
https://dl.acm.org/doi/10.1017/S1471068410000323
Julián-Iranzo PRubio-Manzano CPorto ALópez-Fraguas F(2009)A declarative semantics for Bousi~PrologProceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming10.1145/1599410.1599430(149-160)Online publication date: 7-Sep-2009
https://dl.acm.org/doi/10.1145/1599410.1599430
Rodríguez-Artalejo MRomero-Díaz C(2009)Qualified Logic Programming with Bivalued PredicatesElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2009.07.060248(67-82)Online publication date: 1-Aug-2009
https://dl.acm.org/doi/10.1016/j.entcs.2009.07.060

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents