@inbook{2ac0a304334347bfa45d3f4cc865a850,
title = "Fuzzy Positive Primitive Formulas",
abstract = "Can non-classical logic contribute to the analysis of complexity in computer science? In this paper, we give a 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 this 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.",
keywords = "Fuzzy constraint satisfaction, Fuzzy logics, Model theory, Preference modeling",
author = "Pilar Dellunde",
note = "Funding Information: The research leading to these results has received funding from RecerCaixa. This project has also received funding from the European Union{\textquoteright}s Horizon 2020 research and innovation program under the Marie Sklodowska-Curie grant agreement No 689176 (SYSMICS project), and by the projects RASO TIN2015-71799-C2-1-P, CIMBVAL TIN2017-89758-R, and the grant 2017SGR-172 from the Generalitat de Catalunya. The author would like to thank the reviewers for their comments, and the Algorithmic Decision Theory Group of Data61 (UNSW, Sydney) for hosting me during this research. Funding Information: Acknowledgements. The research leading to these results has received funding from RecerCaixa. This project has also received funding from the European Union{\textquoteright}s Horizon 2020 research and innovation program under the Marie Sklodowska-Curie grant agreement No 689176 (SYSMICS project), and by the projects RASO TIN2015-71799-C2-1-P, CIMBVAL TIN2017-89758-R, and the grant 2017SGR-172 from the Generalitat de Catalunya. The author would like to thank the reviewers for their comments, and the Algorithmic Decision Theory Group of Data61 (UNSW, Sydney) for hosting me during this research. Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2018. Copyright: Copyright 2018 Elsevier B.V., All rights reserved.",
year = "2018",
doi = "10.1007/978-3-030-00202-2\_13",
language = "English",
isbn = "9783030002015",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "156--168",
editor = "Vicenc Torra and Vicenc Torra and Yasuo Narukawa and Manuel Gonz{\'a}lez-Hidalgo and Isabel Aguilo",
booktitle = "Modeling Decisions for Artificial Intelligence - 15th International Conference, MDAI 2018, Proceedings",
}