Introduction

This page has been created for the final project for the course Multi Agent Systems, which is a course in the Masters Artificial Intelligence and Human Machine Interaction at the University of Groningen. The project group constisted of Selwin van Dijk, Maarten van Grootel and Chris Janssen.

We chose to analyze the Three Number Problem because we got interested in the fact that by knowing nothing substantial, a problem can be solved. Ignorance creating knowledge. This might prove interesting in other situations. Another reason to choose this particular problem is because it is an epistemic riddle, and while solving the fenomena, it was intreguing to analyze our own strategies to solve the riddle. Last but not least it is always a challenge to learn a new programming language, which was in this case Haskell and DEMO.

The solution uses epistemic logic, logic about knowledge. With this logic you can make statements about knowledge of propositions and individuals and knowledge about knowledge.

On this website we try to explain the problem in further detail, walk through the solution of the problem, show the implementation in DEMO and explain some features of it and finally put the problem in a more real context.