Kausl, M. (2013). A framework for Giles-style evaluation games [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/159735
Spiele sind nützliche Werkzeuge um die Semantik von verschiedensten Logiken zu beschreiben. Diese Arbeit enthält einige spielbasierte Zugänge zu Logik wie zum Beispiel Lorenzens dialogische Logik und Hintikkas spielbasierte Semantik. Besonderes Augenmerk liegt auf Giles Auswertungsspiel das, basierend auf Überlegungen zu physikalischen Theorien, die Semantik von Lukasiewicz Logik charakterisiert. Wir beschreiben Erweiterungen zu Giles Spiel für andere Logiken, etwa Gödel und Produkt Logik. Wir diskutieren disjunktive Gewinnstrategien, die Gültigkeit von Formeln und Gewinnstrategien in Giles Spiel in Verbindung bringen. Der Hauptteil der Arbeit beschäftigt sich mit der Erstellung eines Frameworks für Giles-artige Auswertungsspiele. Das Framework ermöglicht es benutzerdefinierte Regeln und Auswertungsmechanismen festzulegen, und Spiele mit diesen Regeln im Browser zu simulieren. Die automatisierte Suche nach disjunktiven Gewinnstrategien und deren Visualisierung wird ebenfalls ermöglicht
Games are useful tools to characterize the semantics of various logics. In this thesis we include a representative range of game theoretic approaches, such as Lorenzen's dialogical logic and Hintikka's game-theoretic semantics. In particular, we discuss Giles' evaluation game which, motivated by reasoning about physical theories, characterizes the semantics of infinite valued Lukasiewicz logic. Moreover, we describe extensions of the game to other logics, such as Gödel and Product logic. We present disjunctive winning strategies which provide an approach to connect validity of a formula to winning strategies in Giles' game. The central aim of this work is to create a framework for Giles-style evaluation games. This framework features user definable rules and evaluation mechanisms used to define games, which can be simulated in a web browser. Additionally, the framework supports the automated search for disjunctive winning strategies and visualizes these in tree form.
