Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
RFuzzy: An Expressive Simple Fuzzy Compiler
Year:2009
Research Areas
  • Programming language
Information
Abstract
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.
International
Si
Congress
International Work Conference on Artificial Neural Networks - IWANN 2009
960
Place
Salamanca, Spain
Reviewers
Si
ISBN/ISSN
0302-9743
10.1007/978-3-642-02478-8_34
Start Date
10/06/2009
End Date
12/06/2009
From page
270
To page
277
Bio-Inspired Systems: Computational and Ambient Intelligence
Participants
  • Autor: Hannes Strass (Facultad de Informática, UPM)
  • Autor: Victor Pablos Ceruelo (UPM)
  • Autor: Susana Muñoz Hernandez (UPM)
Research Group, Departaments and Institutes related
  • 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
S2i 2019 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)