PFIA 2024
Introducing Interdependent Simple Temporal Networks under Uncertainty for Multi-agent Temporal Planning
Les réseaux temporels simples avec incertitude (STNU) constituent un formalisme largement utilisé pour représen- ter et raisonner sur des contraintes temporelles convexes en présence d’incertitude. Depuis leur introduction, ils ont été utilisés dans des applications de planification et d’ordon- nancement pour modéliser des situations où l’agent d’or- donnancement ne contrôle pas certaines durées d’activité ou certains dates d’événements. Ce qu’il faut alors vé- rifier, c’est la contrôlabilité du réseau, c’est-à-dire qu’il existe une stratégie d’exécution valide quelles que soient les valeurs des contingents. Pour la première fois, cet ar- ticle considère un modèle multi-agents, chacun ayant son propre STNU. Cependant, contrairement aux travaux pré- cédents, le contrôle des durées d’activité est partagé entre les agents : ce que l’on appelle ici un contrat est une contrainte mutuelle contrôlable pour certains agents et in- contrôlable pour d’autres. Nous proposerons une version modifiée des STNU qui sera composée d’un modèle Multi- agent Interdependent STNU.