Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A fuzzy Prolog database system
A fuzzy Prolog database system
Likelog: a logic programming language for flexible data retrieval
Proceedings of the 1999 ACM symposium on Applied computing
Fuzzy Logic and the Resolution Principle
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
Fril- Fuzzy and Evidential Reasoning in Artificial Intelligence
Approximate reasoning by similarity-based SLD resolution
Theoretical Computer Science
Proceedings of the Third International Conference on Algebraic and Logic Programming
Soundness and Completeness of Non-classical SLD-Resolution
ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
Transformation Rules and Strategies for Functional-Logic Programs: Thesis
AI Communications - CASC
Prolog-ELF incorporating fuzzy logic
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Similarity relations and fuzzy orderings
Information Sciences: an International Journal
Building a fuzzy transformation system
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Formal Properties of Needed Narrowing with Similarity Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Similarity-based reasoning in qualified logic programming
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding
Electronic Notes in Theoretical Computer Science (ENTCS)
A hybrid programming scheme combining fuzzy-logic and functional-logic resources
Fuzzy Sets and Systems
Qualified Logic Programming with Bivalued Predicates
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantitative logic programming revisited
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
| Hi-index | 0.00 |
This paper focuses on the integration of the (also integrated) declarative paradigms of functional logic and fuzzy logic programming, in order to obtain a richer and much more expressive framework where mathematical functions cohabit with fuzzy logic features. In this sense, this paper must be seen as a first stage in the development of this new research line. Starting with two representative languages from both settings, namely Curry and Likelog, we propose an hybrid dialect where a set of rewriting rules associated to the functional logic dimension of the language, are accompanied with a set of similarity equations between symbols of the same nature and arity, which represents the fuzzy counterpart of the new environment. We directly act inside the kernel of the operational mechanism of the language, thus obtaining a fuzzy variant of needed narrowing which fully exploits the similarities collected in a given program. A key point in the design of this last operational method is that, apart from computing at least the same elements of the crisp case, all similar terms of a given goal are granted to be completely treated too while avoiding the risk of infinite loops associated to the intrinsic (reflexive, symmetric and transitive) properties of similarity relations.