Utilisation de la logique des défauts pour les tests de comportement des agents

Un agent est une entité autonome capable d’effectuer des actions pour atteindre ses objectifs. Il agit dans un environnement dynamique qui peut engendrer des défaillances quant à son comportement. Ainsi, une approche formelle de test/vérification de l’agent est nécessaire pour garantir l’exactitude de son comportement. Dans cet article, nous proposons un formalisme de la Logique des Défauts pour abstraire le comportement d’un agent sous forme de règles de connaissance et de raisonnement, et pour vérifier et tester la cohérence du comportement. Les agents considérés sont implémentés avec le framework JADE. De plus, l’abstraction de l’agent est traduite en programmation par ensembles de réponses (ASP) et résolue par le solveur Clingo pour générer des cas de test dynamiques et adaptatifs du comportement de l’agent. Les cas de test dynamiques permettent de prédire le comportement de l’agent lorsqu’une nouvelle information apparaît dans le système.