Exploring the Concept of Abstracting and Visualizing Formal Logic Proofs in Games Development and Evaluation of Gentzen’s Quest

Visa enkel post
dc.contributor.authorBacklund, Johannes
dc.contributor.authorEkman, Ludvig
dc.contributor.authorHarryson, Magnus
dc.contributor.authorRonnås, Johan
dc.contributor.authorÅstedt, Robin
dc.contributor.authorÖberg, Jonathan
dc.contributor.departmentChalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)sv
dc.contributor.departmentChalmers University of Technology / Department of Computer Science and Engineering (Chalmers)en
dc.date.accessioned2019-07-03T14:55:38Z
dc.date.available2019-07-03T14:55:38Z
dc.date.issued2018
dc.description.abstractThe subject addressed in this thesis is the evaluation of the concept behind the game Gentzen’s Quest, but also to present Gentzen’s Quest. The intent behind the concept is to explore a new abstraction level via graphics for doing formal logic proofs targeted towards the general populace. A pre-study was made which concluded this concept was original. The priority in making Gentzen’s Quest was to make it easily understandable when interacting (i.e very little prior knowledge should be needed to advance in the game) and fun as to encourage the player to continue. A simple user-testing study was made to evaluate this, and the conclusion reached was that there is potential for further development and it was a working game concept. However a few parts of the game, namely those introducing rules and concepts in formal logic proofs, were difficult to abstract and consequently hard to understand by users as well as enjoy. An essential part of the game concept is that it corresponds to proof construction in formal logic. The connection between the graphical abstraction and the formal logic is presented and argued for in the thesis.
dc.identifier.urihttps://hdl.handle.net/20.500.12380/256228
dc.language.isoeng
dc.setspec.uppsokTechnology
dc.subjectData- och informationsvetenskap
dc.subjectComputer and Information Science
dc.titleExploring the Concept of Abstracting and Visualizing Formal Logic Proofs in Games Development and Evaluation of Gentzen’s Quest
dc.type.degreeExamensarbete för kandidatexamensv
dc.type.degreeBachelor Thesisen
dc.type.uppsokM2
local.programmeDatateknik 300 hp (civilingenjör)
Ladda ner
Samling
Examensarbeten för kandidatexamen