Observatorio de I+D+i UPM

Memorias de investigación
Fuzzy reasoning via Logic Programming
Áreas de investigación
  • Lenguaje de programación
In many real-life applications, one needs to handle information that is either imprecise or uncertain, or even both. Since clas-sical symbolic approaches employing two-valued logic are not particularly well-suited for this task, various generalisations to enable the handling of imperfect information have been proposed in the literature. The present thesis takes another step into this direction and studies two fuzzifications of well-studied logic-based formalisms that are used in the field of knowledge representation and rea- soning. The first part presents a multi-adjoint semantics for fuzzy logic programming that is the theoretical foundation of a practical tool, the RFuzzy Framework. A least model semantics, a least fixpoint semantics, and an operational semantics are defined and their equivalence is proved. The second part reports on the prototype of a Fuzzy Description Logic reasoner that has been implemented in the Logic Programming language Prolog. The reasoner is based on a tableaux algorithm for Fuzzy ALC, but can be extended to other (Fuzzy) Description Logics as well.
Tipo de Tesis
Sobresaliente cum laude
Esta actividad pertenece a memorias de investigación
  • Autor: Hannes Strasse
  • Director: 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
S2i 2023 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)