Memorias de investigación
Ponencias en congresos:
RFuzzy---A framework for multi-adjoint Fuzzy Logic Programming
Año:2009

Áreas de investigación
  • Lenguaje de programación

Datos
Descripción
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.
Internacional
Si
Nombre congreso
NAFIPS 2009. Annual Meeting of the North American Fuzzy Information Processing Society Annual Conference.
Tipo de participación
960
Lugar del congreso
Cincinnati, Ohio, USA
Revisores
Si
ISBN o ISSN
978-1-4244-4575-2
DOI
10.1109/NAFIPS.2009.5156427
Fecha inicio congreso
14/06/2009
Fecha fin congreso
17/06/2009
Desde la página
1
Hasta la página
6
Título de las actas
Fuzzy Information Processing Society, 2009. NAFIPS 2009. Annual Meeting of the North American Fuzzy Information Processing Society Annual Conference

Esta actividad pertenece a memorias de investigación

Participantes
  • Autor: Hannes Strass Computational Logic Group, Technical University of Dresden, Germany
  • Autor: Victor Pablos Ceruelo UPM
  • Autor: Susana Muñoz Hernandez UPM

Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • 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