Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Computing in Horn clause theories
Computing in Horn clause theories
Refined strategies for semantic unification
II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development
A fuzzy Prolog database system
A fuzzy Prolog database system
Sequentiality in orthogonal term rewriting systems
Journal of Symbolic Computation
Handbook of logic in computer science (vol. 2)
A logic for approximate reasoning
Journal of Symbolic Logic
Term rewriting and all that
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)
Fundamenta Informaticae
Journal of the ACM (JACM)
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fuzzy logic: mathematical tools for approximate reasoning
Fuzzy logic: mathematical tools for approximate reasoning
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
Canonical Forms and Unification
Proceedings of the 5th Conference on Automated Deduction
Rules + strategies for transforming lazy functional logic programs
Theoretical Computer Science
A First Course in Fuzzy Logic, Third Edition
A First Course in Fuzzy Logic, Third Edition
Transformation Rules and Strategies for Functional-Logic Programs: Thesis
AI Communications - CASC
On fuzzy unfolding: A multi-adjoint approach
Fuzzy Sets and Systems
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
Programming with fuzzy logic and mathematical functions
WILF'05 Proceedings of the 6th international conference on Fuzzy Logic and Applications
Hi-index | 0.20 |
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 programming scheme where mathematical functions cohabit with fuzzy-logic features. Our final goal is to achieve a fully integrated language amalgamating powerful programming resources from both worlds, including an efficient (lazy) evaluation mechanism, non-determinism, similarity relations, and so on. Starting with two representative languages from both settings, namely Curry and Likelog, we propose a 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 novel framework. Then, we directly act inside the kernel of the operational mechanism of the language, thus obtaining a fuzzy variant of needed narrowing which safely deals with similarity relations. A key point in the design of this last operational method is that, in contrast with the crisp case, the fuzzified version of the function which determines the set of tuples that enable new narrowing steps for a given goal, say @l"f"u"z"z"y, must explicitly take care of binding variables belonging to both goals and program rules. This action is crucial to model the notion of needed narrowing with similarity relations step by means of a transition system whose final states are triples of the form which collect the three relevant components of the new notion of fuzzy computed answer. Finally, we prove that the resulting strategy verifies that, apart from computing at least the same elements of the crisp case (crispness), all similar terms of a given goal are completely treated too by fully exploiting the similarities collected in a given program (fuzziness) while avoiding the risk of infinite loops associated to the intrinsic (reflexive, symmetric and transitive) properties of similarity relations (termination).