Verifying strategies in dialogue games

Anna Sawicka, Magdalena Kacprzak, Marcin Dziubiński, Katarzyna Budzynska

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The aim of the paper is to consider a game-theoretic properties of strategies available to players in dialogue games. We treat speech acts formulated in a dialogue as moves in a dialogue game and rules for their appropriateness as rules of this game. We would like to analyze dialogical systems as a Nash-style games, and explore verification possibilities for some properties of such games e.g. dominant strategies and Nash equilibrium. Since automatic verification of such games could be of high complexity, we consider a model checking approach, which is commonly applied method allowing for verification of different systems and their properties. This method is based on solutions, which are trying to deal with the state explosion problem.

Original languageEnglish
Title of host publicationConcurrency, Specification and Programming
Subtitle of host publicationProceedings of the 23th International Workshop on Concurrency, Specification and Programming Chemnitz, Germany, September 29 - October 1, 2014
EditorsLouchka Popova-Zeugmann
Place of PublicationBerlin
PublisherHumboldt Universitat zu Berlin
Pages92-100
Number of pages9
Volume1269
Publication statusPublished - 2014
Event23th International Workshop on Concurrency, Specification and Programming, CS and P 2014 - Chemnitz, Germany
Duration: 29 Sep 20141 Oct 2014

Publication series

NameCEUR Workshop Proceedings
PublisherHumbodlt University of Berlin
Volume1269
ISSN (Print)1613-0073

Conference

Conference23th International Workshop on Concurrency, Specification and Programming, CS and P 2014
CountryGermany
CityChemnitz
Period29/09/141/10/14

Keywords

  • Dialogue games
  • Dominant strategy
  • Formal natural dialogues
  • Game theory
  • Nash equilibrium

Fingerprint Dive into the research topics of 'Verifying strategies in dialogue games'. Together they form a unique fingerprint.

  • Cite this

    Sawicka, A., Kacprzak, M., Dziubiński, M., & Budzynska, K. (2014). Verifying strategies in dialogue games. In L. Popova-Zeugmann (Ed.), Concurrency, Specification and Programming: Proceedings of the 23th International Workshop on Concurrency, Specification and Programming Chemnitz, Germany, September 29 - October 1, 2014 (Vol. 1269, pp. 92-100). (CEUR Workshop Proceedings; Vol. 1269). Humboldt Universitat zu Berlin. http://ceur-ws.org/Vol-1269/