Observatorio de I+D+i UPM

Memorias de investigación
Thesis:
Fuzzy reasoning via Logic Programming
Year:2008
Research Areas
  • Programming language
Information
Abstract
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.
International
Si
Type
Master
Mark Rating
Sobresaliente cum laude
Date
22/06/2008
Participants
  • Autor: Hannes Strasse
  • Director: 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)