Fuzzy Horn clauses in artificial intelligence: a study of free models, and applications in art painting style categorization

Aquesta tesi doctoral contribueix a l’estudi de les clàusules de Horn en lògiques difuses, així com al seu ús en representació difusa del coneixement aplicada al disseny d’un algorisme de classificació de pintures segons el seu estil artístic. En la primera part del treball ens centrem en algunes no...

Descripción completa

Detalles Bibliográficos
Autor: Costa Bueno, Vicente
Tipo de recurso: tesis doctoral
Estado:Versión publicada
Fecha de publicación:2021
País:España
Institución:CBUC, CESCA
Repositorio:TDR. Tesis Doctorales en Red
OAI Identifier:oai:www.tdx.cat:10803/673374
Acceso en línea:http://hdl.handle.net/10803/673374
Access Level:acceso abierto
Palabra clave:Clàusula de Horn
Cláusula de Horn
Horn clause
Intel·ligència artificial explicativa
Inteligencia artificial explicativa
Explainable ai
Lògiques difuses
Lógicas difusas
Fuzzy logics
Ciències Humanes
16
id ES_7d91a8fa19fdf05470b2d0ffa32c3eaf
oai_identifier_str oai:www.tdx.cat:10803/673374
network_acronym_str ES
network_name_str España
repository_id_str
dc.title.none.fl_str_mv Fuzzy Horn clauses in artificial intelligence: a study of free models, and applications in art painting style categorization
title Fuzzy Horn clauses in artificial intelligence: a study of free models, and applications in art painting style categorization
spellingShingle Fuzzy Horn clauses in artificial intelligence: a study of free models, and applications in art painting style categorization
Costa Bueno, Vicente
Clàusula de Horn
Cláusula de Horn
Horn clause
Intel·ligència artificial explicativa
Inteligencia artificial explicativa
Explainable ai
Lògiques difuses
Lógicas difusas
Fuzzy logics
Ciències Humanes
16
title_short Fuzzy Horn clauses in artificial intelligence: a study of free models, and applications in art painting style categorization
title_full Fuzzy Horn clauses in artificial intelligence: a study of free models, and applications in art painting style categorization
title_fullStr Fuzzy Horn clauses in artificial intelligence: a study of free models, and applications in art painting style categorization
title_full_unstemmed Fuzzy Horn clauses in artificial intelligence: a study of free models, and applications in art painting style categorization
title_sort Fuzzy Horn clauses in artificial intelligence: a study of free models, and applications in art painting style categorization
dc.creator.none.fl_str_mv Costa Bueno, Vicente
author Costa Bueno, Vicente
author_facet Costa Bueno, Vicente
author_role author
dc.contributor.none.fl_str_mv Dellunde i Clavé, Pilar
dc.subject.none.fl_str_mv Clàusula de Horn
Cláusula de Horn
Horn clause
Intel·ligència artificial explicativa
Inteligencia artificial explicativa
Explainable ai
Lògiques difuses
Lógicas difusas
Fuzzy logics
Ciències Humanes
16
topic Clàusula de Horn
Cláusula de Horn
Horn clause
Intel·ligència artificial explicativa
Inteligencia artificial explicativa
Explainable ai
Lògiques difuses
Lógicas difusas
Fuzzy logics
Ciències Humanes
16
description Aquesta tesi doctoral contribueix a l’estudi de les clàusules de Horn en lògiques difuses, així com al seu ús en representació difusa del coneixement aplicada al disseny d’un algorisme de classificació de pintures segons el seu estil artístic. En la primera part del treball ens centrem en algunes nocions rellevants per a la programació lògica, com ho són per exemple els models lliures i les estructures de Herbrand en lògica matemàtica difusa. Així doncs, provem l’existència de models lliures en classes universals difuses de Horn, i demostrem que tota teoria difusa universal de Horn sense igualtat té un model de Herbrand. A més, introduïm dues nocions de minimalitat per a models lliures, i demostrem que aquestes nocions són equivalents en el cas de les fully named structures. En la segona part de la tesi doctoral, utilitzem les clàusules de Horn combinades amb el modelatge qualitatiu com a marc de representació difusa del coneixement per a la categorització d’estils de pintura artística. Finalment, dissenyem un classificador de pintures basat en clàusules de Horn avaluades, descriptors qualitatius de colors i explicacions. Aquest algorisme, anomenat l-SHE, proporciona raons dels resultats obtinguts i mostra percentatges competitius de precisió a l’experimentació.
publishDate 2021
dc.date.none.fl_str_mv 2021
2022
2022
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 http://hdl.handle.net/10803/673374
url http://hdl.handle.net/10803/673374
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.rights.none.fl_str_mv http://creativecommons.org/licenses/by-nc-nd/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-nd/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 132 p.
application/pdf
application/pdf
dc.publisher.none.fl_str_mv Universitat Autònoma de Barcelona
publisher.none.fl_str_mv Universitat Autònoma de Barcelona
dc.source.none.fl_str_mv TDX (Tesis Doctorals en Xarxa)
reponame:TDR. Tesis Doctorales en Red
instname:CBUC, CESCA
instname_str CBUC, CESCA
reponame_str TDR. Tesis Doctorales en Red
collection TDR. Tesis Doctorales en Red
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869411673686671361
spelling Fuzzy Horn clauses in artificial intelligence: a study of free models, and applications in art painting style categorizationCosta Bueno, VicenteClàusula de HornCláusula de HornHorn clauseIntel·ligència artificial explicativaInteligencia artificial explicativaExplainable aiLògiques difusesLógicas difusasFuzzy logicsCiències Humanes16Aquesta tesi doctoral contribueix a l’estudi de les clàusules de Horn en lògiques difuses, així com al seu ús en representació difusa del coneixement aplicada al disseny d’un algorisme de classificació de pintures segons el seu estil artístic. En la primera part del treball ens centrem en algunes nocions rellevants per a la programació lògica, com ho són per exemple els models lliures i les estructures de Herbrand en lògica matemàtica difusa. Així doncs, provem l’existència de models lliures en classes universals difuses de Horn, i demostrem que tota teoria difusa universal de Horn sense igualtat té un model de Herbrand. A més, introduïm dues nocions de minimalitat per a models lliures, i demostrem que aquestes nocions són equivalents en el cas de les fully named structures. En la segona part de la tesi doctoral, utilitzem les clàusules de Horn combinades amb el modelatge qualitatiu com a marc de representació difusa del coneixement per a la categorització d’estils de pintura artística. Finalment, dissenyem un classificador de pintures basat en clàusules de Horn avaluades, descriptors qualitatius de colors i explicacions. Aquest algorisme, anomenat l-SHE, proporciona raons dels resultats obtinguts i mostra percentatges competitius de precisió a l’experimentació.La presente tesis doctoral contribuye al estudio de las cláusulas de Horn en lógicas difusas, así como a su uso en representación difusa del conocimiento aplicada al diseño de un algoritmo de clasificación de pinturas según su estilo artístico. En la primera parte del trabajo nos centramos en algunas nociones relevantes para la programación lógica, como lo son por ejemplo los modelos libres y las estructuras de Herbrand en lógica matemática difusa. Así pues, probamos la existencia de modelos libres en clases universales difusas de Horn y demostramos que toda teoría difusa universal de Horn sin igualdad tiene un modelo de Herbrand. Asimismo, introducimos dos nociones de minimalidad para modelos libres, y demostramos que estas nociones son equivalentes en el caso de las fully named structures. En la segunda parte de la tesis doctoral, utilizamos cláusulas de Horn combinadas con el modelado cualitativo como marco de representación difusa del conocimiento para la categorización de estilos de pintura artística. Finalmente, diseñamos un clasificador de pinturas basado en cláusulas de Horn evaluadas, descriptores cualitativos de colores y explicaciones. Este algoritmo, que llamamos l-SHE, proporciona razones de los resultados obtenidos y obtiene porcentajes competitivos de precisión en la experimentación.This PhD thesis contributes to the systematic study of Horn clauses of predicate fuzzy logics and their use in knowledge representation for the design of an art painting style classification algorithm. We first focus the study on relevant notions in logic programming, such as free models and Herbrand structures in mathematical fuzzy logic. We show the existence of free models in fuzzy universal Horn classes, and we prove that every equality-free consistent universal Horn fuzzy theory has a Herbrand model. Two notions of minimality of free models are introduced, and we show that these notions are equivalent in the case of fully named structures. Then, we use Horn clauses combined with qualitative modeling as a fuzzy knowledge representation framework for art painting style categorization. Finally, we design a style painting classifier based on evaluated Horn clauses, qualitative color descriptors, and explanations. This algorithm, called l-SHE, provides reasons for the obtained results and obtains percentages of accuracy in the experimentation that are competitive.Universitat Autònoma de Barcelona. Programa de Doctorat en Ciència Cognitiva i LlenguatgeUniversitat Autònoma de BarcelonaDellunde i Clavé, Pilar202220222021info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersion132 p.application/pdfapplication/pdfhttp://hdl.handle.net/10803/673374TDX (Tesis Doctorals en Xarxa)reponame:TDR. Tesis Doctorales en Redinstname:CBUC, CESCAInglésL'accés als continguts d'aquesta tesi queda condicionat a l'acceptació de les condicions d'ús establertes per la següent llicència Creative Commons: http://creativecommons.org/licenses/by-nc-nd/4.0/http://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessoai:www.tdx.cat:10803/6733742026-06-14T12:46:07Z
score 15,300724

Similares en LA Referencia