Download PDFOpen PDF in browser

Playing Lorenzen Dialogue Games on the Web

6 pagesPublished: March 25, 2013

Abstract

We announce an interactive website for exploring logic with the help of Lorenzen dialogue games. The site allows one to play concrete dialogue games and compute winning plays and winning strategies from initial segments of such games. A variety of dialogue rule sets are available, allowing one to explore different logics through a uniform framework. We have also implemented several formula translations, so that one can explore how games vary as one changes the initial formula of a dialogue game, and we consider some heuristics for computing winning plays and winning strategies.

Keyphrases: dialogical logic, dialogue game, heuristic, object oriented programming, web mathematics

In: Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz and Christian Fermüller (editors). LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning., vol 13, pages 7-12.

BibTeX entry
@inproceedings{LPAR-17-short:Playing_Lorenzen_Dialogue_Games,
  author    = {Jesse Alama and Sara L. Uckelman},
  title     = {Playing Lorenzen Dialogue Games on the Web},
  booktitle = {LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.},
  editor    = {Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Christian Fermüller},
  series    = {EPiC Series in Computing},
  volume    = {13},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/8r},
  doi       = {10.29007/7v3p},
  pages     = {7-12},
  year      = {2013}}
Download PDFOpen PDF in browser