Reasoning about Knowledge and Action in Cluedo using Prolog

Abstract

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 goes through the implementation in great detail, and shows a suggestion for how to best represent the game world of Cluedo. The thesis will look at how an agent using modal logic will compare against one that does not. And try to find out if Prolog is a programming language that is suitable for this kind of implementation.