Búsqueda avanzada

Resultados de búsqueda para Unfolding

Seeking a Safe and Efficient Similarity-based Unfolding Rule

The unfolding transformation has been widely used in many declarative frameworks for improving the efficiency of programs. Inspired by our previous experiences in fuzzy logic languages not dealing with similarity relations, in this work we try to adapt such operation to the so-called FASILL language (acronym of «Fuzzy Aggregators and Similarity Into a Logic Language») which has been developed in our research group for coping with implicit/explicit truth degree annotations, a great variety of connectives and unification by similarity. The traditional unfolding transformation is based on the application of unifiers on the heads and computational steps on the bodies of program rules. However, when considering similarity relations, the premature generation and application of weak (similarity-based) unifers at unfolding time could destroy the correctness of the transformation. In this paper we study how to avoid this risk by compiling what we call similarity constraints on transformed rules, whose further evaluation is delayed at running time. Moreover, our technique minimizes the size and number of occurrences of such constructs in transformed programs to gain efficiency while preserving semantics.

Autores: Pascual Julian-Iranzo / Gines Moreno / José Antonio Riaza Valverde / 
Palabras Clave: Fuzzy Logic Programming - Similarity Relations - Unfolding

An Online Tool for Unfolding Symbolic Fuzzy Logic Programs (Demostración)

In many declarative frameworks, unfolding is a very well-known semantics-preserving transformation technique based on the application of computational steps on the bodies of program rules for improving efficiency. In this paper we describe an online tool which allows us to unfold a symbolic extension of a modern fuzzy logic language where program rules can embed concrete and/or symbolic fuzzy connectives and truth degrees on their bodies. The system offers a comfortable interaction with users for unfolding symbolic programs and it also provides useful options to navigate along the sequence of unfolded programs. Finally, the symbolic unfolding transformation is connected with some fuzzy tuning techniques that we previously implemented on the same tool.

Autores: Ginés Moreno / José Antonio Riaza Valverde / 
Palabras Clave: Fuzzy Logic Programming - Software Tools - symbolic execution - Unfolding

No encuentra los resultados que busca? Prueba nuestra Búsqueda avanzada