Página principal > Resultados de la búsqueda: Dellunde i Clavé, Pilar
  Consejos para la búsqueda
Búsqueda avanzada
Buscar colecciones:
Ordenar por: Mostrar resultados: Formato de visualización:
Resultados globales: 24 registros encontrados en 0.01 segundos.
Artículos, Encontrados 15 registros
Documentos de investigación, Encontrados 2 registros
Materiales académicos, Encontrados 7 registros
Artículos Encontrados 15 registros  1 - 10siguiente  ir al registro:
1.
3 p, 797.5 KB Perspectives innovadores en el disseny d'algoritmes intel·ligents per a la classificació d'obres d'art : eines per a una millor integració humà-màquina / Roca-Martín, Oriol (Universitat Autònoma de Barcelona) ; Falomir, Zoe (Universität Bremen. Bremen Spatial Cognition Center) ; Costa, Vicent (Universitat Autònoma de Barcelona. Departament de Filosofia) ; Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona. Departament de Filosofia)
La present investigació explora una perspectiva innovadora en el disseny d'algoritmes capaços de classificar pintures segons el seu estil artístic. Evitant alguns inconvenients d'integració humà-màquina que presenta el disseny amb aprenentatge automàtic, ℓ-SHE és un algoritme basat en sistemes de representació lògica i conceptes qualitatius que, a més de reconèixer i classificar amb èxit l'estil artístic d'una pintura, treballa amb informació semàntica, genera explicacions del perquè dels seus resultats, i pot ser entrenat fàcilment i amb bancs de dades relativament petits.
La presente investigación explora una perspectiva innovadora en el diseño de algoritmos capaces de clasificar pinturas según su estilo artístico. Evitando algunos inconvenientes de integración humano-máquina que presenta el diseño con aprendizaje automático, ℓ-SHE es un algoritmo basado en sistemas de representación lógica y conceptos cualitativos que, además de reconocer y clasificar con éxito el estilo artístico de una pintura, trabaja con información semántica, genera explicaciones del por qué de sus resultados, y puede ser entrenado fácilmente y con bancos de datos relativamente pequeños.
The present research explores an innovative perspective in the design of algorithms for classifying pictorial artworks according to their art style. Avoiding some of the human-machine integration issues associated with machine learning algorithm design, ℓ-SHE is an algorithm based on logical representation and qualitative concepts which in addition to successfully recognizing and classifying the art style of paintings, it works with semantic information, generates explanations of which reasonings have been followed for the classification results, and can easily be trained using relatively small databases.
2021
UAB divulga, Març 2021
3 documentos
Registro completo - Creative Commons
2.
10 p, 316.9 KB Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic / Badia, Guillermo (University of Queensland. School of Historical and Philosophical Inquiry (Australia)) ; Costa, Vicent (Universitat Autònoma de Barcelona. Departament de Filosofia) ; Dellunde i Clavé, Pilar (Barcelona Graduate School of Mathematics (BGSMath)) ; Noguera, Carles (Czech Academy of Sciences. Institute of Information Theory and Automation)
This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. [...]
2019 - 10.1007/s00500-019-03850-6
Soft Computing, Vol. 23, Issue 7 (April 2019) , p. 2177-2186  
Registro completo - Creative Commons
3.
31 p, 377.5 KB Back-and-forth systems for fuzzy first-order models / Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona. Departament de Filosofia) ; García-Cerdaña, Àngel (Institut d'Investigació en Intel·ligència Artificial (IIIA-CSIC)) ; Noguera, Carles (Akademie věd České republiky)
This paper continues the study of model theory for fuzzy logics by addressing the fundamental issue of classifying models according to their first-order theory. Three different definitions of elementary equivalence for fuzzy first-order models are introduced and separated by suitable counterexamples. [...]
2018 - 10.1016/j.fss.2018.01.016
Fuzzy sets and systems, Vol. 345 (2018) , p. 83-98  
Registro completo -
4.
3 p, 400.9 KB Arbres de decisió per a análisis de dades sobre qualitat de vida / Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona. Departament de Filosofia) ; García-Cerdaña, Àngel (Institut d'Investigació en Intel·ligència Artificial (IIIA-CSIC)) ; Armengol, Eva (Institut d'Investigació en Intel·ligència Artificial (IIIA-CSIC))
Investigadors de l'IIIA i la UAB han utilitzat l'anàlisi d'arbres de decisió sobre dues bases de dades de naturalesa pràctica: una amb descripcions de pigues que poden ser o no melanomes; i una altra referent a la qualitat de vida de persones amb discapacitat intel·lectual.
Researchers at the IIIA and the UAB have used decision trees analysis on two databases of practical nature: one with descriptions of pigs that may or may not be melanomas; and another referring to the quality of life of people with intellectual disabilities.
2018
UAB divulga, Juny 2018, p. 1-3
3 documentos
Registro completo - Creative Commons
5.
15 p, 296.2 KB On the existence of free models in fuzzy universal Horn classes / Costa, Vicent (Universitat Autònoma de Barcelona. Departament de Filosofia) ; Dellunde i Clavé, Pilar (Barcelona Graduate School of Mathematics (BGSMath))
This paper is a contribution to the study of the universal Horn fragment of predicate fuzzy logics, focusing on some relevant notions in logic programming. We introduce the notion of term structure associated to a set of formulas in the fuzzy context and we show the existence of free models in fuzzy universal Horn classes. [...]
2016 - 10.1016/j.jal.2016.11.002
Journal of Applied Logic, In Press (2016)  
Registro completo -
6.
45 p, 408.0 KB On similarity in fuzzy description logics / Armengol, Eva (Institut d'Investigació en Intel·ligència Artificial (IIIA-CSIC)) ; Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona. Departament de Filosofia) ; García-Cerdaña, Àngel (Institut d'Investigació en Intel·ligència Artificial (IIIA-CSIC))
This paper is a contribution to the study of similarity relations between objects represented as attribute-value pairs in Fuzzy Description Logics . For this purpose we use concrete domains in the fuzzy description logic IALCEF(D)IALCEF(D) associated either with a left-continuous or with a finite t-norm. [...]
2016 - 10.1016/j.fss.2015.11.021
Fuzzy sets and systems, Vol. 292 (2016) , p. 49-74  
Registro completo -
7.
28 p, 370.2 KB Löwenheim-Skolem theorems for non-classical first-order algebraizable logics / Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona) ; García-Cerdaña, Àngel (Institut d'Investigació en Intel·ligència Artificial (IIIA-CSIC)) ; Noguera, Carles (Akademie věd České republiky)
This article is a contribution to the model theory of non-classical first-order predicate logics. In a wide framework of first-order systems based on algebraizable logics, we study several notions of homomorphisms between models and find suitable definitions of elementary homomorphism, elementary substructure and elementary equivalence. [...]
2016 - 10.1093/jigpal/jzw009
Logic journal of the IGPL, Vol. 24, núm. 3 (2016) , p. 321-345  
Registro completo -
8.
16 p, 198.6 KB A logical study of local and global graded similarities / Armengol, Eva (Institut d'Investigació en Intel·ligència Artificial (IIIA-CSIC)) ; Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona. Departament de Filosofia) ; García-Cerdaña, Àngel (Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions)
In this work we study the relationship between global and local similarities in the graded framework of fuzzy class theory (FCT), in which there already exists a graded notion of similarity. In FCT we can express the fact that a fuzzy relation is reflexive, symmetric, or transitive up to a certain degree, and similarity is defined as a first-order sentence, which is the fusion of three sentences corresponding to the graded notions of reflexivity, symmetry, and transitivity. [...]
2015 - 10.1080/08839514.2015.1026657
Applied artificial intelligence, Vol. 29, núm. 5 (2015) , p. 424-444  
Registro completo -
9.
18 p, 190.1 KB On elementary equivalence in fuzzy predicate logics / Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona) ; Esteva Massaguer, Francesc (Institut d'Investigació en Intel·ligència Artificial (IIIA-CSIC))
Our work is a contribution to the model theory of fuzzy predicate logics. In this paper we characterize elementary equivalence between models of fuzzy predicate logic using elementary mappings. Refining the method of diagrams we give a solution to an open problem of Hájek and Cintula (J Symb Log 71(3):863-880, 2006, Conjectures 1 and 2). [...]
2013 - 10.1007/s00153-012-0303-x
Archive for Mathematical Logic, Vol. 52, núm. 1 (2013) , p. 1-17  
Registro completo -
10.
43 p, 761.1 KB A defeasible reasoning model of inductive concept learning from examples and communication / Ontañón Villar, Santi (Institut d'Investigació en Intel·ligència Artificial (IIIA-CSIC)) ; Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona) ; Godo, Luís (Institut d'Investigació en Intel·ligència Artificial (IIIA-CSIC)) ; Plaza, Enric 1957- (Institut d'Investigació en Intel·ligència Artificial (IIIA-CSIC))
This paper introduces a logical model of inductive generalization, and specifically of the machine learning task of inductive concept learning (ICL). We argue that some inductive processes, like ICL, can be seen as a form of defeasible reasoning. [...]
2012 - 10.1016/j.artint.2012.08.006
Artificial intelligence, Vol. 193 (2012) , p. 129-148  
Registro completo -

Artículos : Encontrados 15 registros   1 - 10siguiente  ir al registro:
Documentos de investigación Encontrados 2 registros  
1.
133 p, 2.9 MB Fuzzy Horn clauses in artificial intelligence : a study of free models, and applications in art painting style categorization / Costa, Vicent ; Dellunde i Clavé, Pilar, dir.
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. [...]
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. [...]
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. [...]
2021  
Registro completo - Creative Commons
2.
12 p, 286.3 KB Fuzzy positive primitive formulas / Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona)
Can non-classical logic contribute to the analysis of complexity in computer science? In this paper, we give an step towards the solution of this open problem, taking a logical model-theoretic approach to the analysis of complexity in fuzzy constraint satisfaction. [...]
2018  
Registro completo - Creative Commons

Materiales académicos Encontrados 7 registros  
1.
4 p, 294.2 KB Computational Logic [106500] / Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona. Departament de Filosofia) ; Universitat Autònoma de Barcelona. Escola d'Enginyeria
This course is an introduction to logic in computer science. Students will acquire the basic techniques for the logical analysis of reasoning, emphasizing the computational aspects of logic. We will introduce algorithmic problems in logic, such as SAT-solving and automated theorem proving. [...]
2021-22
Artificial Intelligence [1488]  
Registro completo - Creative Commons
2.
7 p, 78.8 KB Lògica [100314] / Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona. Departament de Filosofia) ; Universitat Autònoma de Barcelona. Facultat de Filosofia i Lletres
2011-12
Grau en Filosofia [802]  
Registro completo - Creative Commons
3.
9 p, 106.7 KB Teoria i Pràctica de l'Argumentació [100294] / Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona. Departament de Filosofia) ; Universitat Autònoma de Barcelona. Facultat de Filosofia i Lletres
2011-12
Grau en Filosofia [802]  
Registro completo - Creative Commons
4.
10 p, 48.5 KB Lògica [100314] / Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona. Departament de Filosofia) ; Universitat Autònoma de Barcelona. Facultat de Filosofia i Lletres
2010-11
Llicenciat en Filosofia [498]  
Registro completo - Creative Commons
5.
2 p, 37.3 KB Ampliació de Lògica [28748] / Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona. Departament de Filosofia) ; Universitat Autònoma de Barcelona. Facultat de Filosofia i Lletres
2010-11
Llicenciat en Filosofia [498]  
Registro completo - Creative Commons
6.
2 p, 19.8 KB Lògica [28791] / Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona. Departament de Filosofia) ; Universitat Autònoma de Barcelona. Facultat de Filosofia i Lletres
2009-10
Llicenciat en Filosofia [498]  
Registro completo - Creative Commons
7.
2 p, 24.8 KB Lògica [28791] / Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona. Departament de Filosofia) ; Universitat Autònoma de Barcelona. Facultat de Filosofia i Lletres
2008-09
Llicenciat en Filosofia i Lletres - Filosofia [20]  
Registro completo - Creative Commons

¿Le interesa recibir alertas sobre nuevos resultados de esta búsqueda?
Defina una alerta personal vía correo electrónico o subscríbase al canal RSS.
Depósito Digital de Documentos de la UAB :: Buscar :: Enviar :: Personalizar :: Ayuda
Powered by Invenio v1.1.6
Mantenido por ddd.bib@uab.cat  :: Metadatos sujetos a:
Colaboramos