Now showing items 1-2 of 2

    • Reasoning about Knowledge and Action in Cluedo using Prolog 

      Aartun, Vemund Innvær (The University of Bergen, 2016-06-01)
      This thesis will look at how to define a representation for the implementation of Cluedo and dynamic epistemic logic into Prolog. It looks at basics of modal logic, and definitions of dynamic epistemic logic. The thesis ...
      Master thesis
    • Using Genetic Programming for Agents in Non-Deterministic Games 

      Johansen, Bjarte (The University of Bergen, 2012-08-01)
      The aim of this thesis is to explore the possibility of using Genetic Programming to create agents that play non-deterministic games at a human level. The game that is used to test the hypothesis is Ms. Pac-Man; an old ...
      Master thesis