Package MAKBPInterpreter

This package defines modules to create an interpreter of Multi-Agents Knowledge-Based Programs (MAKBPs). It defines :

• the logic (logic package)
• the agents, modal logic and raisoning (agents package)
• the interpreter (interpreter package)

Author:

Guillaume LETELLIER, Corentin PIERRE

Class Summary

Class	Description
Main	Main class allowing to choose the problem to be interpreted.
MuddyChildrenProblem	Class representing the problem of muddy children.