Paper Info
Title
A hybrid programming scheme combining fuzzy-logic and functional-logic resources
Abstract
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).
Year
DOI
Venue
2009
10.1016/j.fss.2008.11.028
Fuzzy Sets and Systems
Keywords
Field
DocType
expressive programming scheme,fuzzy-logic programming,similarity relations,fuzzy computed answer,fuzzy variant,similarity equation,fuzzy counterpart,crisp case,functional-logic resource,final goal,needed narrowing,similarity relation,hybrid programming scheme,similarity relations step,fuzzy logic,lazy evaluation
Transition system,Arity,Functional programming,Tuple,Computer science,Fuzzy logic,Fuzzy set,Artificial intelligence,Rewriting,Machine learning,Transitive relation
Journal
Volume
Issue
ISSN
160
10
Fuzzy Sets and Systems
Citations 
PageRank 
References 
4
0.42
25
Authors
2
Name
Order
Citations
PageRank
Ginés Moreno138232.56
Vicente Pascual2151.36