Artificial Intelligence

Projects for the Artificial Intelligence course.

1. Search algorithms

Implementing and compairing multiple search algorithms.

2. Logic

• Solving logic puzzles with algebra on Boolean rings.
• Translator from propositional logic to arithmetics in the boolean ring, written in Python.

3. Planning

Writing domains and problems in PDDL, obtaining plans using the Fast-Downward planner, and explaining the results.

Documentation

All information can be found in the documentation.