Navegación

Búsqueda

Búsqueda avanzada

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

Resumen:

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.

Palabras Clave:

Fuzzy Logic Programming - Software Tools - symbolic execution - Unfolding

Autor(es):

Handle:

11705/PROLE/2018/004

Descargas:

Este artículo tiene una licencia de uso CreativeCommons - Reconocimiento (by)

Descarga el artículo haciendo click aquí.

Ver la referencia en formato Bibtex