Using default logic for agent behavior testing

Djamel Douha , Aicha Mokhtari (1) , Zahia Guessoum (2) , Yasser Moussa Berghout

1 USTHB - Université des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene [Alger]
2 CRESTIC - Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804

An agent is an autonomous entity that can perform actions to achieve its goals. It acts in a dynamic environment that may engender failures regarding its behavior. Therefore, a formal testing/verification approach of the agent is required to ensure the correctness of its behavior. In this paper, we propose a Default Logic formalism to abstract an agent behavior as knowledge and reasoning rules, and to verify and test the consistency of the behavior. The considered agents are implemented with JADE framework. Also, agent abstraction is translated into Answer Set Programming and solved by Clingo to generate dynamic and adaptive test cases of the agent behavior. The dynamic test cases allow predicting the agent behavior when a new information arises in the system.

Domaines: Système multi-agents [cs.MA]; Intelligence artificielle [cs.AI]; Apprentissage [cs.LG]

Djamel Douha, Aicha Mokhtari, Zahia Guessoum, Yasser Moussa Berghout. Using default logic for agent behavior testing. Multiagent and Grid Systems - An International Journal of Cloud Computing , 2022, 18 (1), pp.1-20. ⟨10.3233/MGS-220359⟩. ⟨hal-03740056⟩