Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view

[spa]El trabajo desarrollado en esta tesis es una propuesta de sistematizar la formalización de las Lógicas de la Descripción Fuzzy a partir de la Lógica Difusa Matemática. Para ello se define un lenguaje para las Lógicas de la Descripción Fuzzy que extiende el lenguaje de la primera tradición de es...

Descripción completa

Detalles Bibliográficos
Autor: Cerami, Marco
Tipo de recurso: tesis doctoral
Estado:Versión publicada
Fecha de publicación:2012
País:España
Institución:Universidad de Barcelona
Repositorio:Dipòsit Digital de la UB
OAI Identifier:oai:diposit.ub.edu:2445/43817
Acceso en línea:https://hdl.handle.net/2445/43817
http://hdl.handle.net/10803/113374
Access Level:acceso abierto
Palabra clave:Lògica borrosa
Lògica matemàtica
Intel·ligència artificial
Fuzzy logic
Mathematical logic
Artificial intelligence
id ES_9a8519caaeecec97bfe085cc564fd203
oai_identifier_str oai:diposit.ub.edu:2445/43817
network_acronym_str ES
network_name_str España
repository_id_str
dc.title.none.fl_str_mv Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view
title Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view
spellingShingle Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view
Cerami, Marco
Lògica borrosa
Lògica matemàtica
Intel·ligència artificial
Fuzzy logic
Mathematical logic
Artificial intelligence
title_short Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view
title_full Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view
title_fullStr Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view
title_full_unstemmed Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view
title_sort Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view
dc.creator.none.fl_str_mv Cerami, Marco
author Cerami, Marco
author_facet Cerami, Marco
author_role author
dc.contributor.none.fl_str_mv Esteva Massaguer, Francesc
Bou Moliner, Félix
Godo i Lacasa, Lluís
Universitat de Barcelona. Departament de Probabilitat, Lògica i Estadística
dc.subject.none.fl_str_mv Lògica borrosa
Lògica matemàtica
Intel·ligència artificial
Fuzzy logic
Mathematical logic
Artificial intelligence
topic Lògica borrosa
Lògica matemàtica
Intel·ligència artificial
Fuzzy logic
Mathematical logic
Artificial intelligence
description [spa]El trabajo desarrollado en esta tesis es una propuesta de sistematizar la formalización de las Lógicas de la Descripción Fuzzy a partir de la Lógica Difusa Matemática. Para ello se define un lenguaje para las Lógicas de la Descripción Fuzzy que extiende el lenguaje de la primera tradición de esta disciplina para adaptarlo al lenguaje más propio de la Lógica Difusa Matemática. Desde el punto de vista semántico, la teoría de conjuntos borrosos cede el paso a una semántica algebraica, que es la que se utiliza en la Lógica Difusa Matemática y que resuelve las consecuencias poco intuitivas que tenía la semántica tradicional. A partir de esta formalización, se tratan temas que eran tradicionales en las Lógicas de la Descripción clásicas como son las jerarquías de inclusiones entre lenguajes de la descripción y la relación de las Lógicas de la Descripción Fuzzy con la Lógica Difusa de primer orden por un lado y la Lógica Difusa Multi-modal por el otro. En relación a problemas de decidibilidad se demuestra que la satisfacción y la subsunción de conceptos en el lenguaje ALE bajo una semántica basada en la Lógica del Producto son problemas decidibles. También se demuestra que la consistencia de bases de conocimiento en el lenguaje ALC bajo una semántica basada en la Lógica de Lukasiewicz es un problema indecidible. En relación a problemas de complejidad computacional se demuestra que satisfacción y validez de fórmulas en la Lógica Modal minimal de Lukasiewicz con valores finitos son problemas PSPACE-completos. También se demuestra que la satisfacción y subsunción de conceptos en el lenguaje IALCED bajo una semántica basada en cualquier lógica difusa con valores finitos son problemas PSPACE-completos. Otra contribución de nuestro trabajo es el estudio sistemático de algoritmos de decisión para la satisfacción y subsunción de conceptos en el lenguaje IALCED, respecto a modelos “witnessed", basados en una reducción de es- tos problemas a los problemas de satisfacción y consecuencia en la lógica proposicional correspondiente
publishDate 2012
dc.date.none.fl_str_mv 2012
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/publishedVersion
format doctoralThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/2445/43817
http://hdl.handle.net/10803/113374
url https://hdl.handle.net/2445/43817
http://hdl.handle.net/10803/113374
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.rights.none.fl_str_mv cc-by, (c) Cerami,, 2010
http://creativecommons.org/licenses/by/3.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv cc-by, (c) Cerami,, 2010
http://creativecommons.org/licenses/by/3.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universitat de Barcelona
publisher.none.fl_str_mv Universitat de Barcelona
dc.source.none.fl_str_mv Tesis Doctorals - Departament - Probabilitat, Lògica i Estadística
reponame:Dipòsit Digital de la UB
instname:Universidad de Barcelona
instname_str Universidad de Barcelona
reponame_str Dipòsit Digital de la UB
collection Dipòsit Digital de la UB
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869414411010048000
spelling Fuzzy Description Logics from a Mathematical Fuzzy Logic point of viewCerami, MarcoLògica borrosaLògica matemàticaIntel·ligència artificialFuzzy logicMathematical logicArtificial intelligence[spa]El trabajo desarrollado en esta tesis es una propuesta de sistematizar la formalización de las Lógicas de la Descripción Fuzzy a partir de la Lógica Difusa Matemática. Para ello se define un lenguaje para las Lógicas de la Descripción Fuzzy que extiende el lenguaje de la primera tradición de esta disciplina para adaptarlo al lenguaje más propio de la Lógica Difusa Matemática. Desde el punto de vista semántico, la teoría de conjuntos borrosos cede el paso a una semántica algebraica, que es la que se utiliza en la Lógica Difusa Matemática y que resuelve las consecuencias poco intuitivas que tenía la semántica tradicional. A partir de esta formalización, se tratan temas que eran tradicionales en las Lógicas de la Descripción clásicas como son las jerarquías de inclusiones entre lenguajes de la descripción y la relación de las Lógicas de la Descripción Fuzzy con la Lógica Difusa de primer orden por un lado y la Lógica Difusa Multi-modal por el otro. En relación a problemas de decidibilidad se demuestra que la satisfacción y la subsunción de conceptos en el lenguaje ALE bajo una semántica basada en la Lógica del Producto son problemas decidibles. También se demuestra que la consistencia de bases de conocimiento en el lenguaje ALC bajo una semántica basada en la Lógica de Lukasiewicz es un problema indecidible. En relación a problemas de complejidad computacional se demuestra que satisfacción y validez de fórmulas en la Lógica Modal minimal de Lukasiewicz con valores finitos son problemas PSPACE-completos. También se demuestra que la satisfacción y subsunción de conceptos en el lenguaje IALCED bajo una semántica basada en cualquier lógica difusa con valores finitos son problemas PSPACE-completos. Otra contribución de nuestro trabajo es el estudio sistemático de algoritmos de decisión para la satisfacción y subsunción de conceptos en el lenguaje IALCED, respecto a modelos “witnessed", basados en una reducción de es- tos problemas a los problemas de satisfacción y consecuencia en la lógica proposicional correspondiente[eng]Description Logic is a formalism that is widely used in the framework of Knowledge Representation and Reasoning in Artificial Intelligence. They are based on Classical Logic in order to guarantee the correctness of the inferences on the required reasoning tasks. It is indeed a fragment of First Order Predicate Logic whose language is strictly related to the one of Modal Logic. Fuzzy Description Logic is the generalization of the classical Description Logic framework thought for reasoning with vague concepts that often arise in practical applications. Fuzzy Description Logic has been investigated since the last decade of the 20th century. During the first fifteen years of investigation their semantics has been based on Fuzzy Set Theory. A semantics based on Fuzzy Set Theory, however, has been shown to have some counter-intuitive behavior, due to the fact that the truth function for the implication used is not the residuum of the truth function for the conjunction. In the meanwhile, Fuzzy Logic has been given a formal framework based on Many-valued Logic. This framework, called Mathematical Fuzzy Logic, has been proposed has the kernel of a mathematically well founded Fuzzy Logic. In this dissertation we propose a Fuzzy Description Logic whose semantics is based on Mathematical Fuzzy Logic as its mathematically well settled kernel. To this end we provide a novel notation that is strictly related to the notation that is used in Mathematical Fuzzy Logic. After having settled the notation, we investigate the hierarchies of description languages over different-“t” norm based semantics and the reductions that can be performed between reasoning tasks. The new framework that we establish gives us the possibility to systematically investigate the relation of Fuzzy Description Logic to Fuzzy First Order Logic and Fuzzy Modal Logic. Next we provide some (un)decidability results for the case of infinite “t”-norm based semantics with or without knowledge bases. Finally we investigate the complexity bounds of reasoning tasks without knowledge bases for basic Fuzzy Description Logics over finite “t”-norms.Universitat de BarcelonaEsteva Massaguer, FrancescBou Moliner, FélixGodo i Lacasa, LluísUniversitat de Barcelona. Departament de Probabilitat, Lògica i Estadística2012info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://hdl.handle.net/2445/43817http://hdl.handle.net/10803/113374Tesis Doctorals - Departament - Probabilitat, Lògica i Estadísticareponame:Dipòsit Digital de la UBinstname:Universidad de BarcelonaIngléscc-by, (c) Cerami,, 2010http://creativecommons.org/licenses/by/3.0/info:eu-repo/semantics/openAccessoai:diposit.ub.edu:2445/438172026-05-27T06:46:51Z
score 15.301603

Similares en LA Referencia