https://github.com/lsickert/epistemic-cluedo

The game of Cluedo modeled in epistemic logic. This project is part of the course Logical Aspects of Multi-Agent Systems by the University of Groningen 2022
https://github.com/lsickert/epistemic-cluedo

cluedo epistemic-logic game

Last synced: 21 days ago
JSON representation

The game of Cluedo modeled in epistemic logic. This project is part of the course Logical Aspects of Multi-Agent Systems by the University of Groningen 2022

• Host: GitHub
• URL: https://github.com/lsickert/epistemic-cluedo
• Owner: lsickert
• License: mit
• Created: 2022-06-05T14:07:11.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2023-04-12T06:06:58.000Z (almost 2 years ago)
• Last Synced: 2024-11-02T10:52:16.224Z (2 months ago)
• Topics: cluedo, epistemic-logic, game
• Language: Python
• Homepage: https://lsickert.github.io/epistemic-cluedo/
• Size: 1.01 MB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# epistemic-cluedo

The game of Cluedo modeled in epistemic logic. This project is part of the course Logical Aspects of Multi-Agent Systems by the University of Groningen 2022. [Project Website](https://lsickert.github.io/epistemic-cluedo/)

## Installation

> IMPORTANT: This project needs a python version of at least 3.9 to run properly. It is also recommended to install the dependencies in a virtual environment

Before starting the game, install the required packages:

```

pip install -r requirements.txt

```

## Starting the game

To start the game run `python main.py` from the root folder of the project and follow the prompts in the command line.

It is strongly advised to follow the default settings when running the game for the first time, as larger configurations can quickly make the game run very slow due to state explosion in the internal Kripke models. In general you can expect the game to speed up as the number of turns progresses due to the increased knowledge of the players, which means that less possible worlds need to be checked.