Paper Info
Title
Programming with fuzzy logic and mathematical functions
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 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.
Year
DOI
Venue
2005
10.1007/11676935_11
WILF
Keywords
Field
DocType
new research line,fuzzy logic feature,fuzzy logic programming,last operational method,operational mechanism,fuzzy variant,fuzzy counterpart,mathematical function,functional logic dimension,functional logic,new environment,fuzzy logic
Functional logic programming,Computational logic,Fuzzy set operations,Computer science,Fuzzy logic,Theoretical computer science,Artificial intelligence,Logic programming,Fuzzy Control Language,Many-valued logic,Fuzzy number,Machine learning
Conference
Volume
ISSN
ISBN
3849
0302-9743
3-540-32529-8
Citations 
PageRank 
References 
7
0.53
14
Authors
2
Name
Order
Citations
PageRank
Ginés Moreno138232.56
Vicente Pascual2151.36