Fuzzy Positive Primitive Formulas

  • Pilar DellundeEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11144)


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.


Fuzzy constraint satisfaction Preference modeling Fuzzy logics Model theory 



The research leading to these results has received funding from RecerCaixa. This project has also received funding from the European Union’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.


  1. 1.
    Atserias, A., Dawar, A., Kolaitis, P.G.: On preservation under homomorphisms and unions of conjunctive queries. J. ACM 53(2), 208–237 (2006)MathSciNetCrossRefGoogle Scholar
  2. 2.
    Bellman, R.E., Zadeh, L.A.: Decision-making in a fuzzy environment. Manag. Sci. 17, 141–164 (1970)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201–236 (1997)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Chang, C.C., Keisler, H.J.: Model Theory. Elsevier Science Publishers, Amsterdam (1973)zbMATHGoogle Scholar
  5. 5.
    Cintula, P., Hájek, P.: Triangular norm based predicate fuzzy logics. Fuzzy Sets Syst. 161, 311–346 (2010)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Cintula, P., Hájek, P., Noguera, C. (eds.): Handbook of Mathematical Fuzzy Logic. Studies in Logic, Mathematical Logic and Foundations, vol. 37. College Publications, London (2011)zbMATHGoogle Scholar
  7. 7.
    Dellunde, P.: Preserving mappings in fuzzy predicate logics. J. Log. Comput. 22(6), 1367–1389 (2011)MathSciNetCrossRefGoogle Scholar
  8. 8.
    Dellunde, P.: Applications of ultraproducts: from compactness to fuzzy elementary classes. Log. J. IGPL 22(1), 166–180 (2014)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Dellunde, P., García-Cerdaña, A., Noguera, C.: Löwenheim-Skolem theorems for non-classical first-order algebraizable logics. Log. J. IGPL 24(3), 321–345 (2016)MathSciNetCrossRefGoogle Scholar
  10. 10.
    Dubois, D., Fargier, H., Prade, H.: The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction. In: 2nd IEEE International Conference on Fuzzy Systems, IEEE (1993)Google Scholar
  11. 11.
    Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124, 271–288 (2001)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Fargier, H., Lang, J.: Uncertainty in constraint satisfaction problems: a probabilistic approach. In: Clarke, M., Kruse, R., Moral, S. (eds.) ECSQARU 1993. LNCS, vol. 747, pp. 97–104. Springer, Heidelberg (1993). Scholar
  13. 13.
    Geiger, D.: Closed systems of functions and predicates. Pac. J. Math. 27(1), 95–100 (1968)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Hodges, W.: Model Theory. Cambridge University Press, Cambridge (1993)CrossRefGoogle Scholar
  15. 15.
    Kolaitis, P.G., Vardi, M.Y.: A Logical Approach to Constraint Satisfaction. In: Creignou, N., Kolaitis, P.G., Vollmer, H. (eds.) Complexity of Constraints. LNCS, vol. 5250, pp. 125–155. Springer, Heidelberg (2008). Scholar
  16. 16.
    Kolmogorov, V., Krokhin, A., Rolinek, M.: The Complexity of General-Valued CSPs. In: FOCS, pp. 1246–1258 (2015)Google Scholar
  17. 17.
    Krokhin, A.A., Zivny, S.: The Complexity of Valued CSPs. The Constraint Satisfaction Problem, pp. 233–266 (2017)Google Scholar
  18. 18.
    Meseguer, P., Rossi, F., Schiex, T.: Soft constraints. In: Handbook of Constraint Programming, chap. 9, pp. 281–328 (2006)CrossRefGoogle Scholar
  19. 19.
    Moura J., Prade, H.: Logical analysis of fuzzy constraint satisfaction problems. In: 7nd IEEE International Conference on Fuzzy Systems. IEEE (1993)Google Scholar
  20. 20.
    Pini, M.S., Rossi, F., Venable, K.B.: Compact preference representation via fuzzy constraints in stable matching problems. In: Rothe, J. (ed.) Compact Preference Representation via Fuzzy Constraints in Stable Matching Problems. LNCS (LNAI), vol. 10576, pp. 333–338. Springer, Cham (2017). Scholar
  21. 21.
    Rossi, F., Brent, K., Walsh, T.: A short introduction to preferences. In: Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan and Claypool Pub (2011)Google Scholar
  22. 22.
    Horcík, R., Moraschini, T., Vidal, A.: An algebraic approach to valued constraint satisfaction. In: 26th EACSL Annual Conference on Computer Science Logic, pp. 42:1–42:20 (2017)Google Scholar
  23. 23.
    Rossman, B.: Homomorphism preservation theorems. J. ACM 55(3), 15:1–15:53 (2008)MathSciNetCrossRefGoogle Scholar
  24. 24.
    Rossman, B.: An improved homomorphism preservation theorem from lower bounds in circuit complexity. ITCS 27, 1–27 (2017)zbMATHGoogle Scholar
  25. 25.
    Ruttkay, Z.: Fuzzy constraint satisfaction. In: 3rd IEEE International Conference on Fuzzy Systems. IEEE (1994)Google Scholar
  26. 26.
    Schiex, T., Fargier, H., Verfaillie, G.: Valued constraint satisfaction problems: Hard and easy problems. In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI 95), pp. 631–639 (1995)Google Scholar
  27. 27.
    Torra, V.: On considering constraints of different importance in fuzzy constraint satisfaction problems. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 6(5), 489–502 (1998)MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  1. 1.Universitat Autònoma de BarcelonaBarcelonaSpain
  2. 2.Barcelona Graduate School of MathematicsBarcelonaSpain
  3. 3.Artificial Intelligence Research Institute IIIA-CSICBarcelonaSpain

Personalised recommendations