/Logic_and_Classical_Planning

This project involves creating Python-based logical agents to solve planning, localization, mapping, and SLAM tasks in Pacman. Using logical sentences and a SAT solver (pycosat), we generate action sequences, determine Pacman’s location, build maps, and perform simultaneous localization and mapping.

Primary LanguagePython

Stargazers