Les effets de bord des agents ne sont pas que le fruit du hasard - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

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

Bruno Mermet
Gaële Simon

Abstract

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é.
Fichier principal
Vignette du fichier
rfia2014_submission_7.pdf (119.8 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

hal-00989234 , version 1 (09-05-2014)

Identifiers

  • HAL Id : hal-00989234 , version 1

Cite

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⟩
101 View
67 Download

Share

Gmail Facebook X LinkedIn More