Package MAKBPInterpreter.agents

This package defines the basis of the agents, memory, observation, etc.

Author:

Guillaume LETELLIER, Corentin PIERRE

Interface Summary

Interface	Description
Action	Represents an action for an agent.

Class Summary

Class	Description
Agent	Represents an agent evolving into an environment.
AgentKnowledge	Represents an agent knowledge about the world.
AgentProgram	Class representing an ordered map specifically implemented to handle agent program.
Box	Represents a knowledge that agent knows it true in a world in a modal logic system.
CommonKnowledge	Represents a set of agents knowing a common formula.
Diamond	Represents a knowledge that an agent considers to be true between world in a modal logic system.
EverybodyKnowledge	Represents a set of agents knowing a common formula.
Kripke	Store a pair of KripkeWorld and KripStructure
KripkeStructure	Represents a system of reasoning for modal logic.
KripkeWorld	Class representing a world in a KripkeStructure (node of the graph in this structure).
ModalLogicAssignment	Represents an assignment for modal and epistemic logic and its extension.