Universidad de Castilla-La Mancha
Departamento de Sistemas Informáticos

Technical Report
Código: DIAB-04-03-2
Fecha Publicación: 29-03-2004
Título: Unfolding Fuzzy Logic Programs
Detalle: Unfolding is a semantics-preserving program transformation technique that consists in the expansion of subexpressions of a program using their own definitions. The unfolding transformation is able to improve programs, generating more efficient code. Unfolding is the basis for developing sophisticated and powerful programming tools, such as fold/unfold transformation systems or partial evaluators. In this paper we address the problem of extending the classical definition of the unfolding rule (for pure logic programs) to a fuzzy logic setting. We use a fuzzy variant of Prolog where a fuzzy computed answer is a pair (truth degree; substitution) computed by Fuzzy SLD-Resolution. We adapt the concept of a computation rule, a mapping that selects the subexpression of a goal involved in a computation step, and we prove the independence of the computation rule. Moreover, we define a fuzzy unfolding rule and we demonstrate its strong correctness properties, that is, the original and the unfolded program compute the same fuzzy computed answers. Finally, we discuss how to improve the expressive power (of the fuzzy component) of our language by introducing a more general labeled mark language.

Autor Detalles

Fichero Bytes Detalles
DIAB-04-03-2.zip 173.3K


Sindicación     Sindicación     Sindicación
Curso: 2016-17
© Departamento de Sistemas Informáticos
ESII - Avda. de España s/n
02071 Albacete
Tfno: 967 59 92 00 - Fax: 967 59 92 24

aviso legal