Les effets de bord des agents ne sont pas que le fruit du hasard

Bruno Mermet (1) , Gaële Simon (1)

1 Equipe MAD - Laboratoire GREYC - UMR6072

Une des spécificités des SMA est l'apparition d'effets de bord au niveau du système : des propriétés inattendues apparaîssent. On parle alors de propriétés de vivacité. Suivant les cas, il peut s'agir de propriétés intéressantes ou au contraire, de défauts du système. Dans tous les cas, il peut être intéressant de prouver l'apparition de telles propriétés, mais il n'existe pas de système de preuve adapté. GDT4MAS est une méthodologie qui permet de spécifier des SMA et de les prouver. Cependant, elle est actuellement plus particulièrement orienté vers la preuve de propriétés d'invariance. Dans cet article, nous proposons un mécanisme de preuve permettant d'enrichir GDT4MAS pour prouver l'apparition d'effets de bord. Plus précisément, nous montrons comme il est possible d'ajouter à GDT4MAS un mécanisme de preuve adapté à des propriétés de type "leads-to", un cas particulier de propriété de vivacité.

Mots clés: propriétés de vivacité; GDT4MAS; preuve; SMA

Domaines: Intelligence artificielle [cs.AI]

Bruno Mermet, Gaële Simon. Les effets de bord des agents ne sont pas que le fruit du hasard. Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014, Jun 2014, CAEN CEDEX 5, France. pp.6. ⟨hal-00989234⟩