Verifying and Explaining Agent Behavior in an Implemented Agent System

  • Authors:
  • Dung N. Lam;K. Suzanne Barber

  • Affiliations:
  • University of Texas at Austin;University of Texas at Austin

  • Venue:
  • AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
  • Year:
  • 2004

Quantified Score

Hi-index 0.01

Visualization

Abstract

As agent systems become more sophisticated, there is a growing need for agent-oriented debugging, maintenance, and testing methods and tools. This paper presents the Tracing Method and accompanying Tracer tool to help verify actual agent behavior in the implemented system against expected (or designed) agent behavior. The Tracing Method captures dynamic run-time data as actual agent behavior, creates modeled interpretations in terms of agent concepts (e.g. beliefs, goals, and intentions), and compares those models to the agent behavior expected by the designer or developer; thereby, gaining insight into both the design and the implemented agent behavior. The Tracer tool can help: (1) determine if agent design specifications are correctly implemented and guide debugging efforts and (2) discover and examine motivations for agent behaviors such as beliefs, communications, and intentions.