Observatorio de I+D+i UPM

Descripción
Fuzzy reasoning is a very productive research field that during the last years has provided a number of theoretical approaches and practical implementation prototypes. Nevertheless, the classical implementations, like Fril, are not adapted to the latest formal approaches, like multi-adjoint logic semantics. Some promising implementations, like Fuzzy Prolog, are so general that the regular user/programmer does not feel comfortable because either the representation of fuzzy concepts is complex or the results of the fuzzy queries are di¿cult to interpret. In this paper we present a modern framework, RFuzzy, that is modeling multi-adjoint logic in a practical way. It provides some extensions as default values (to represent missing information), partial default values (for a subset of data) and typed variables. RFuzzy represents the truth value of predicates using facts, rules and also can define fuzzy predicates as continuous functions. Queries are answered with direct results (instead of providing complex constraints), so it is easy to use for any person that wants to represent a problem using fuzzy reasoning in a simple way (just using the classical fuzzy representation with real numbers). The most promising characteristic of RFuzzy is that the user can obtain constructive answers to queries that restrict the truth value.
Internacional	Si
Nombre congreso	International Work Conference on Artificial Neural Networks - IWANN 2009
Tipo de participación	960
Lugar del congreso	Salamanca, Spain
Revisores	Si
ISBN o ISSN	0302-9743
DOI	10.1007/978-3-642-02478-8_34
Fecha inicio congreso	10/06/2009
Fecha fin congreso	12/06/2009
Desde la página	270
Hasta la página	277
Título de las actas	Bio-Inspired Systems: Computational and Ambient Intelligence

Esta actividad pertenece a memorias de investigación

• Autor: Hannes Strass (Facultad de Informática, UPM)
• Autor: Victor Pablos Ceruelo (UPM)
• Autor: Susana Muñoz Hernandez (UPM)

• Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
• Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software