Download PDFOpen PDF in browserPlaying Lorenzen Dialogue Games on the Web6 pages•Published: March 25, 2013AbstractWe 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.
|