Results overview: Found 22 records in 0.02 seconds.
Articles, 15 records found
Research literature, 1 records found
Course materials, 6 records found
Articles 15 records found  1 - 10next  jump to record:
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 documents
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) ; Noguera, Carles (Czech Academy of Sciences. Institute of Information Theory and Automation (Czech Republic))
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  
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  
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 documents
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)
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)  
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  
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  
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  
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  
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  

Articles : 15 records found   1 - 10next  jump to record:
Research literature 1 records found  
1.
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  

Course materials 6 records found  
1.
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]  
2.
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]  
3.
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]  
4.
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]  
5.
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]  
6.
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]  

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.