Geodesic
Simple games in Łukasiewicz calculus and their cores
Kybernetika, Tome 49 (2013) no. 3, pp. 404-419 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

We propose a generalization of simple coalition games in the context of games with fuzzy coalitions. Mimicking the correspondence of simple games with non-constant monotone formulas of classical logic, we introduce simple Łukasiewicz games using monotone formulas of Łukasiewicz logic, one of the most prominent fuzzy logics. We study the core solution on the class of simple Łukasiewicz games and show that cores of such games are determined by finitely-many linear constraints only. The non-emptiness of core is completely characterized in terms of balanced systems and by the presence of strong veto players.
We propose a generalization of simple coalition games in the context of games with fuzzy coalitions. Mimicking the correspondence of simple games with non-constant monotone formulas of classical logic, we introduce simple Łukasiewicz games using monotone formulas of Łukasiewicz logic, one of the most prominent fuzzy logics. We study the core solution on the class of simple Łukasiewicz games and show that cores of such games are determined by finitely-many linear constraints only. The non-emptiness of core is completely characterized in terms of balanced systems and by the presence of strong veto players.
Classification : 06D35, 91A12
Keywords: simple game; game with fuzzy coalitions; core; McNaughton function; Łukasiewicz logic 
@article{KYB_2013_49_3_a2,
     author = {Cintula, Petr and Kroupa, Tom\'a\v{s}},
     title = {Simple games in {{\L}ukasiewicz} calculus and their cores},
     journal = {Kybernetika},
     pages = {404--419},
     year = {2013},
     volume = {49},
     number = {3},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_2013_49_3_a2/}
}
TY  - JOUR
AU  - Cintula, Petr
AU  - Kroupa, Tomáš
TI  - Simple games in Łukasiewicz calculus and their cores
JO  - Kybernetika
PY  - 2013
SP  - 404
EP  - 419
VL  - 49
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/KYB_2013_49_3_a2/
LA  - en
ID  - KYB_2013_49_3_a2
ER  - 
%0 Journal Article
%A Cintula, Petr
%A Kroupa, Tomáš
%T Simple games in Łukasiewicz calculus and their cores
%J Kybernetika
%D 2013
%P 404-419
%V 49
%N 3
%U http://geodesic.mathdoc.fr/item/KYB_2013_49_3_a2/
%G en
%F KYB_2013_49_3_a2
Cintula, Petr; Kroupa, Tomáš. Simple games in Łukasiewicz calculus and their cores. Kybernetika, Tome 49 (2013) no. 3, pp. 404-419. http://geodesic.mathdoc.fr/item/KYB_2013_49_3_a2/

[1] Aguzzoli, S.: Geometric and Proof-theoretic Issues in Łukasiewicz Propositional Logics. PhD. Thesis, University of Siena 1998.

[2] Aubin, J.-P.: Coeur et valeur des jeux flous à paiements latéraux. Comptes rendus de l'Académie des Sciences, Série A 279 (1974), 891-894. | MR | Zbl

[3] Aumann, R. J., Shapley, L. S.: Values of Non-atomic Games. Princeton University Press, Princeton 1974. | MR | Zbl

[4] Azrieli, Y., Lehrer, E.: On some families of cooperative fuzzy games. Internat. J. Game Theory 36 (2007), 1, 1-15. | DOI | MR | Zbl

[5] Branzei, R., Dimitrov, D., Tijs, S.: Models in Cooperative Game Theory. Lecture Notes in Econom. and Math. Systems 556, Springer-Verlag, Berlin 2005. | MR | Zbl

[6] Butnariu, D., Klement, E. P.: Triangular Norm Based Measures and Games with Fuzzy Coalitions. Kluwer, Dordrecht 1993. | MR | Zbl

[7] Butnariu, D., Kroupa, T.: Shapley mappings and the cumulative value for $n$-person games with fuzzy coalitions. European J. Oper. Res. 186 (2008), 1, 288-299. | DOI | MR | Zbl

[8] Cignoli, R. L. O., D'Ottaviano, I. M. L., Mundici, D.: Algebraic Foundations of Many-valued Reasoning. Trends in Logic - Studia Logica Library 7, Kluwer Academic Publishers, Dordrecht 2000. | MR | Zbl

[9] Klement, E. P., Mesiar, R., Pap, E.: Triangular Norms. Trends in Logic - Studia Logica Library 8, Kluwer Academic Publishers, Dordrecht 2000. | MR | Zbl

[10] McNaughton, R.: A theorem about infinite-valued sentential logic. J. Symbolic Logic 16 (1051), 1-13. | DOI | MR | Zbl

[11] Mundici, D.: Averaging the truth-value in Łukasiewicz logic. Studia Logica 55 (1995), 1, 113-127. | DOI | MR | Zbl

[12] Peleg, B., Sudhölter, P.: Introduction to the Theory of Cooperative Games. Second edition. Theory and Decision Library. Series C: Game Theory, Mathematical Programming and Operations Research 34, Springer, Berlin 2007. | MR

[13] Riečan, B., Mundici, D.: Probability on MV-algebras. In: Handbook of Measure Theory, Vol. I, II, North-Holland, Amsterdam 2002, pp. 869-909. | MR | Zbl

[14] Rose, A., Rosser, J. B.: Fragments of many-valued statement calculi. Trans. AMS 87 (1958), 1-53. | DOI | MR | Zbl

[15] Webster, R.: Convexity. Oxford Science Publications. The Clarendon Press Oxford University Press, New York 1994. | MR | Zbl

[16] Wegener, I.: The Complexity of Boolean Functions. Wiley-Teubner Series in Computer Science. John Wiley and Sons, Chichester 1987. | MR | Zbl