Agent

= Formalisation du modéle Entropie =

Généralité
Le système est formalisé par un tuple $$\langle \mathcal{V}, \mathcal{A}, \mathcal{P}, \mathcal{C}, \pi, \mathcal{M} \rangle$$ où :


 * $$\mathcal{V} $$ est l'ensemble de variables d'état de croyance (les beliefs  $$\mathsf{B} $$) de l'agent;
 * $$\mathcal{A} $$est l'ensemble de tâches opérationnelles de l'agent
 * $$\mathcal{P} $$ est l'ensemble de tâches de planification de l'agent (modélise les desires $$\mathsf{D} $$)
 * $$\mathcal{C} $$ est l'ensemble de tâches composées (la bibliothèque de plans BDI) de l'agent
 * $$ \pi $$ est un graphe orienté de tâches $$\mathcal{A}, \mathcal{P} $$ qui représente le plan courant de l'agent  (les intentions   $$\mathsf{I} $$
 * $$\mathcal{M} $$ est un ensemble d'algorithmes déclenchés par   $$\mathcal{P} $$ et qui permettent d'étendre ou de  réduire  $$\pi $$

L'état de croyance de l'agent
L'état de croyance $$\mathcal{V}$$ de l'agent est décit par un ensemble de constantes, un ensemble de variables qui sont des fonctions de temps multivaluées et un ensemble de relations entre constantes et variables. Les relations permettent de définir les caractéristiques fixes et l'évolution dans le temps de la valeur des variables d'un objets manipulés par l'agent. Les objets manipulés par l'agent peuvent être de différentes natures : des ressources matérielles et humaines, des parcelaires, des variables climatiques etc. De manière formelle, $$\mathcal{V}$$ est définit comme ci-dessous.

Formalisation DEVS de l'agent
$$ \begin{array}{l} M = \langle X, Y, S, \delta_{int}, \delta_{ext}, \delta_{con}, ta, \lambda \rangle\\ N = \langle X, Y, D, EIC, EOC, IC > \end{array} $$