Blar i Faculty of Social Sciences på forfatter "Aartun, Vemund Innvær"
-
Reasoning about Knowledge and Action in Cluedo using Prolog
Aartun, Vemund Innvær (Master thesis, 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 ...