Multi-agent Epistemic Planning With Proper Doxastic Knowledge Bases

This repository houses the code for solving Multi-agent Epistemic Planning (MEP) problems using Proper Doxastic Knowledge Bases (PDKB). There are a number of components that may be useful on their own, including working directing with PDKB's, augmenting the MEP formalism, or even just creating / dealing with KD45 kripke structures.

Eventually, more documentation will be added to the project, but feel free to contact me if you have any questions. For a demo and more information on the project, [click here].