Logical knowledge representations (propositional and first-order logic), knowledge bases and knowledge-based agents. New knowledge derivation using inference algorithms (model checking), inference rules, and inference by resolution.
- Knights: Solve logic puzzles.
python puzzle.py
- Minesweeper: Play Minesweeper.
python runnner.py