Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
RFuzzy---A framework for multi-adjoint Fuzzy Logic Programming
Year:2009
Research Areas
  • Programming language
Information
Abstract
Abstract¿Fuzzy Logic Programming aims at combining the advantages of Logic Programming (such as readability, conciseness, and a formally well-de¿ned semantics) with the advantages of Fuzzy Logic (representability of imprecise and uncertain knowledge). In this paper, we present the RFuzzy framework for Fuzzy Logic Programming. It has three main advantages compared to other Fuzzy Logic Programming frameworks: RFuzzy provides constructive answers (it responds with direct results instead of constraints), models multi-adjoint logic, and allows the user to combine fuzzy and crisp reasoning in the same program. It provides some extensions such as default values (to represent missing information) and typed predicates. The truth values of predicates are de¿ned via facts, rules, and functions. We describe the implementation of our framework and its operational semantics. RFuzzy has been implemented and is ready for being used.
International
Si
Congress
NAFIPS 2009. Annual Meeting of the North American Fuzzy Information Processing Society Annual Conference.
960
Place
Cincinnati, Ohio, USA
Reviewers
Si
ISBN/ISSN
978-1-4244-4575-2
10.1109/NAFIPS.2009.5156427
Start Date
14/06/2009
End Date
17/06/2009
From page
1
To page
6
Fuzzy Information Processing Society, 2009. NAFIPS 2009. Annual Meeting of the North American Fuzzy Information Processing Society Annual Conference
Participants
  • Autor: Hannes Strass (Computational Logic Group, Technical University of Dresden, Germany)
  • 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)