Verifying Strategies in Dialogue Games
نویسندگان
چکیده
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.
منابع مشابه
Playing Lorenzen Dialogue Games on the Web
We announce an interactive website for exploring logic with the help of Lorenzen dialogue games. The site allows one to play dialogue games and computes winning plays and winning strategies from initial segments of such games. A variety of dialogue rule sets are available, allowing one to investigate different logics. We have also implemented several formula translations, so that one can learn ...
متن کاملAdmissibility in Concurrent Games∗†
In this paper, we study the notion of admissibility for randomised strategies in concurrent games. Intuitively, an admissible strategy is one where the player plays ‘as well as possible’, because there is no other strategy that dominates it, i.e., that wins (almost surely) against a superset of adversarial strategies. We prove that admissible strategies always exist in concurrent games, and we ...
متن کاملParallel Dialogue Games and Hypersequents for Intermediate Logics
A parallel version of Lorenzen’s dialogue theoretic foundation for intuitionistic logic is shown to be adequate for a number of important intermediate logics. The soundness and completeness proofs proceed by relating hypersequent derivations to winning strategies for parallel dialogue games. This also provides a computational interpretation of hypersequents.
متن کاملEvaluating Persuasion Strategies and Deep Reinforcement Learning methods for Negotiation Dialogue agents
In this paper we present a comparative evaluation of various negotiation strategies within an online version of the game “Settlers of Catan”. The comparison is based on human subjects playing games against artificial game-playing agents (‘bots’) which implement different negotiation dialogue strategies, using a chat dialogue interface to negotiate trades. Our results suggest that a negotiation ...
متن کاملA Complete Axiomatization of Differential Game Logic for Hybrid Games
Differential game logic (dGL) is a logic for specifying and verifying properties of hybrid games, i.e. games that combine discrete, continuous, and adversarial dynamics. Unlike hybrid systems, hybrid games allow choices in the system dynamics to be resolved adversarially by different players with different objectives. The logic dGL can be used to study the existence of winning strategies for su...
متن کامل