Depósito Digital de Documentos de la UAB Encontrados 20 registros  1 - 10siguiente  ir al registro: La búsqueda tardó 0.00 segundos. 
1.
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) ; 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  
2.
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.
2018
UAB divulga, Juny 2018, p. 1-3  
3.
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  
4.
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)  
5.
45 p, 408.0 KB On similarity in fuzzy description logics / Armengol, Eva (Institut d'Investigació en Intel·ligència Artificial) ; 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)
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  
6.
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) ; 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  
7.
16 p, 198.6 KB A logical study of local and global graded similarities / Armengol, Eva (Institut d'Investigació en Intel·ligència Artificial) ; 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  
8.
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)
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/978-3-642-14049-5_76
Archive for Mathematical Logic, Vol. 52, núm. 1 (2013) , p. 1-17  
9.
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) ; Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona) ; Godo, Luís (Institut d'Investigació en Intel·ligència Artificial) ; Plaza, Enric 1957- (Institut d'Investigació en Intel·ligència Artificial)
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  
10.
23 p, 437.9 KB Extending possibilistic logic over Gödel logic / Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona) ; Godo, Luís (Institut d'Investigació en Intel·ligència Artificial) ; Marchioni, Enrico (Institut d'Investigació en Intel·ligència Artificial)
In this paper we present several fuzzy logics trying to capture different notions of necessity (in the sense of possibility theory) for Gödel logic formulas. Based on different characterizations of necessity measures on fuzzy sets, a group of logics with Kripke style semantics is built over a restricted language, namely, a two-level language composed of non-modal and modal formulas, the latter, moreover, not allowing for nested applications of the modal operator N. [...]
2011 - 10.1016/j.ijar.2010.08.014
International journal of approximate reasoning, Vol. 52, núm. 1 (2011) , p. 63-75  

Depósito Digital de Documentos de la UAB : Encontrados 20 registros   1 - 10siguiente  ir al registro:
¿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.