Empirical Analysis for Agent System Comprehension and Verification

Authors:
Tibor Bosse;Dung N. Lam;K. Suzanne Barber
Affiliations:
Vrije Universiteit Amsterdam, The Netherlands;The University of Texas at Austin, USA;The University of Texas at Austin, USA
Venue:
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Year:
2006

Citing 7
Cited 0

The software bookshelf

IBM Systems Journal
Reverse Engineering and Design Recovery: A Taxonomy

IEEE Software
The Insufficiency of Formal Design Methods " The Necessity of an Experimental Approach - for the Understanding and Control of Complex MAS

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Comprehending agent software

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Specification and Verification of Dynamics in Cognitive Agent Models

IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Requirements analysis of an agent’s reasoning capability

AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Debugging agent behavior in an implemented agent system

ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Comprehending and verifying agent system behavior is an arduous task when dealing with complex multi-agent systems whose behaviors are sophisticated. This paper presents an approach resulting from collaboration between the Tracer Tool and the TTL Checker, which together automate the analysis and verification of an implemented system's behavior, with the aim of aiding the user in redesigning, debugging, and maintaining the agent system. The Tracer Tool ensures that the user's comprehension of the system behavior is accurate and provides explanations of anomalous behavior, which can be detected as a failed behavioral property by the TTL Checker. The integrated approach has been applied to an agent-based system in an Unmanned Aerial Vehicles domain.