Fuzzy positive primitive formulas
Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona)

Fecha: 2018
Resumen: 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. We study fuzzy positive-primitive sentences, and we present an algebraic characterization of classes axiomatized by these kind of sentences in terms of homomorphisms and finite direct products. The ultimate goal is to study the expressiveness and reasoning mechanisms of non-classical languages, with respect to constraint satisfaction problems and, in general, in modelling decision scenarios.
Nota: Número d'acord de subvenció EC/H2020/689176
Nota: Número d'acord de subvenció RASO TIN2015-71799-C2-1-P
Nota: Número d'acord de subvenció CIMBVAL TIN2017-89758-R
Nota: Número d'acord de subvenció AGAUR/2017/SGR-172
Derechos: Aquest document està subjecte a una llicència d'ús Creative Commons. Es permet la reproducció total o parcial, la distribució, i la comunicació pública de l'obra, sempre que no sigui amb finalitats comercials, i sempre que es reconegui l'autoria de l'obra original. No es permet la creació d'obres derivades. Creative Commons
Lengua: Anglès.
Documento: workingPaper
Materia: Fuzzy constraint satisfaction ; Preference modeling ; Fuzzy logics ; Model theory



12 p, 286.3 KB

El registro aparece en las colecciones:
Documentos de investigación > Working papers

 Registro creado el 2018-05-18, última modificación el 2018-10-20



   Favorit i Compartir