Debugging BDI-based multi-agent programs

  • Authors:
  • Mehdi Dastani;Jaap Brandsema;Amco Dubel;John-Jules Ch. Meyer

  • Affiliations:
  • Utrecht University, The Netherlands;Utrecht University, The Netherlands;Utrecht University, The Netherlands;Utrecht University, The Netherlands

  • Venue:
  • ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

The development of multi-agent programs requires debugging tools and techniques to find and resolve possible defects in such programs. This paper focuses on BDI-based multi-agent programs, discusses some existing debugging approaches that are developed for specific BDI-based multi-agent programming languages, and proposes a generic and systematic approach for debugging BDI-based multi-agent programs. The proposal consists of an assertion language to specify cognitive and temporal behavior of multi-agent programs and a set of debugging tools. The assertions can be assigned to the debugging tools which will be activated as soon as the execution of a multi-agent program satisfies the assertion.