Message Exchange Games in Strategic Contexts

When two people engage in a conversation, knowingly or unknowingly, they are playing a game. Players of such games have diverse objectives, or winning conditions: an applicant trying to convince her potential employer of her eligibility over that of a competitor, a prosecutor trying to convict a defendant, a politician trying to convince an electorate in a political debate, and so on. We argue that infinitary games offer a natural model for many structural characteristics of such conversations. We call such games message exchange games, and we compare them to existing game theoretic frameworks used in linguistics—for example, signaling games—and show that message exchange games are needed to handle non-cooperative conversation. In this paper, we concentrate on conversational games where players’ interests are opposed. We provide a taxonomy of conversations based on their winning conditions, and we investigate some essential features of winning conditions like consistency and what we call rhetorical cooperativity. We show that these features make our games decomposition sensitive, a property we define formally in the paper. We show that this property has far-reaching implications for the existence of winning strategies and their complexity. There is a class of winning conditions (decomposition invariant winning conditions) for which message exchange games are equivalent to Banach- Mazur games, which have been extensively studied and enjoy nice topological results. But decomposition sensitive goals are much more the norm and much more interesting linguistically and philosophically.

[1]  David Lewis Convention: A Philosophical Study , 1986 .

[2]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[3]  A. Rubinstein,et al.  On Optimal Rules of Persuasion , 2004 .

[4]  R. Daniel Mauldin,et al.  The Scottish book : mathematics from the Scottish Café , 1981 .

[5]  Erich Grädel Banach-Mazur Games on Graphs , 2008, FSTTCS.

[6]  Uri Zwick,et al.  The Complexity of Mean Payoff Games , 1995, COCOON.

[7]  Leslie Lamport,et al.  "Sometime" is sometimes "not never": on the temporal logic of programs , 1980, POPL '80.

[8]  John C. Oxtoby 7. THE BANACH-MAZUR GAME AND BANACH CATEGORY THEOREM , 1958 .

[9]  J. R. Büchi,et al.  Solving sequential conditions by finite-state strategies , 1969 .

[10]  R. McNaughton,et al.  Counter-Free Automata , 1971 .

[11]  Harvey Sacks,et al.  Lectures on Conversation , 1995 .

[12]  M. Rabin Communication between Rational Agents , 1990 .

[13]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[14]  Prashant Parikh,et al.  Communication and strategic inference , 1991 .

[15]  Robert van Rooy,et al.  Being polite is a handicap: towards a game theoretical analysis of polite linguistic behavior , 2003, TARK '03.

[16]  Leonid Libkin,et al.  Elements of Finite Model Theory , 2004, Texts in Theoretical Computer Science.

[17]  Sarit Kraus,et al.  Collaborative Plans for Group Activities , 1993, IJCAI.

[18]  Krishnendu Chatterjee Concurrent games with tail objectives , 2007, Theor. Comput. Sci..

[19]  Jean-Eric Pin,et al.  Infinite words - automata, semigroups, logic and games , 2004, Pure and applied mathematics series.

[20]  Alex Lascarides,et al.  Logics of Conversation , 2005, Studies in natural language processing.

[21]  Michael Franke,et al.  Relevance in Cooperation and Conflict , 2012, J. Log. Comput..

[22]  S. Hart,et al.  Long Cheap Talk , 2003 .

[23]  Prashant Parikh The use of language , 2001 .

[24]  Michael Franke,et al.  Signal to act : game theory in pragmatics , 2009 .

[25]  R.A.M. van Rooij,et al.  Being polite is a handicap: Towards a game theoretic analysis of polite linguistic behavior , 2003 .

[26]  W. Hamilton,et al.  The evolution of cooperation. , 1984, Science.

[27]  J. Sobel,et al.  STRATEGIC INFORMATION TRANSMISSION , 1982 .

[28]  Ariel Rubinstein,et al.  Debates and Decisions: On a Rationale of Argumentation Rules , 2001, Games Econ. Behav..

[29]  Lawrence M. Solan,et al.  Speaking of Crime: The Language of Criminal Justice , 2005 .

[30]  K. Pienta,et al.  Evolution of cooperation among tumor cells , 2006, Proceedings of the National Academy of Sciences.

[31]  Krishnendu Chatterjee,et al.  Concurrent games with tail objectives , 2006, Theor. Comput. Sci..

[32]  Nicholas Asher,et al.  Credibility and its Attacks , 2014 .

[33]  Candace L. Sidner,et al.  Attention, Intentions, and the Structure of Discourse , 1986, CL.

[34]  Robert J. Aumann,et al.  Repeated Games with Incomplete Information , 1995 .

[35]  J. Revalski The Banach-Mazur Game: History and Recent Developments ⁄ , 2004 .

[36]  Nicholas Asher Evaluating conversational success: Weighted Message Exchange Games , 2019 .

[37]  Joseph Farrell Meaning and Credibility in Cheap-Talk Games , 1993 .

[38]  William C. Mann,et al.  Rhetorical Structure Theory: A Framework for the Analysis of Texts , 1987 .

[39]  Robert van Rooy,et al.  SIGNALLING GAMES SELECT HORN STRATEGIES , 2004 .

[40]  M. Spence Job Market Signaling , 1973 .

[41]  Alex Lascarides,et al.  Strategic conversation , 2012 .

[42]  Siobhan Chapman Logic and Conversation , 2005 .

[43]  A. Kechris Classical descriptive set theory , 1987 .

[44]  Prashant Parikh Communication, Meaning, and Interpretation , 2000 .

[45]  이영식 Communication 으로서의 영어교육 , 1986 .

[46]  Faruk Gul,et al.  SELF-CONTROL AND THE THEORY OF CONSUMPTION , 1999 .

[47]  Nicholas Asher,et al.  OK or not OK? Commitments in acknowledgments and corrections , 2015 .

[48]  Gerhard Jäger,et al.  Game Theory and Pragmatics , 2005 .

[49]  David R. Traum,et al.  Discourse Obligations in Dialogue Processing , 1994, ACL.