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.
展开▼