Automated Interpretation of Agent Behaviour
Software comprehension, which is essential for debugging and maintaining software systems, has lacked attention in the agent community. Comprehension has been a manual process, involving the analysis and interpretation of log files that record agent behaviour in the implemented system. This paper describes an approach and tool to automate creating interpretations of agent behaviour from observations of the implementation execution, thus helping users (i.e. designers, developers, and end-users) to understand the motivations of agent actions. By explicitly modelling the user’s comprehension of the implemented system as background knowledge for the tool, feedback can be provided as to whether the user’s comprehension accurately represents the implementation’s behaviour and, if not, how it can be corrected. Additionally, with the aid of the Tracer Tool, many of the manual tasks are automated, such as verifying that agents are behaving as expected, identifying unexpected behaviour and generating explanations for any particular observation.
KeywordsBackground Knowledge MultiAgent System Reverse Engineering Agent Software Defense Advance Research Project Agency
Unable to display preview. Download preview PDF.
- 2.Agrawal, A., Du, M., McCollum, C., Syst, T., Wong, K., Yu, P., Mller, H.: Rigi - An End-User Programmable Tool for Identifying Reusable Components. In: 5th International Conference on Software Reuse, Victoria, British Columbia (1998)Google Scholar
- 4.Wooldridge, M.: An Introduction to MultiAgent Systems. John Wiley and Sons, Chichester (2002)Google Scholar
- 6.Hindsight (2004), http://www.testersedge.com/hindsight.htm
- 7.Bruening, D., Devabhaktuni, S., Amarasinghe, S.: Softspec: Software-based Speculative Parallelism. In: 3rd ACM Workshop on Feedback-Directed and Dynamic Optimization, Montery, California. ACM Press, New York (2000)Google Scholar
- 8.Kullbach, B., Winter, A.: Querying as an Enabling Technology in Software Reengineering. In: Nesi, P., Verhoef, C. (eds.) 3rd European Conf. on Software Maintenance and Reengineering, pp. 42–50. IEEE Computer Society, Los Alamitos (1999)Google Scholar
- 11.Lam, D.N., Bosse, T., Barber, K.S.: Automated Analysis and Verification of Agent Behavior. In: 5th International Conference on Autonomous Agents and Multiagent Systems, Hakodate, Japan, pp. 1317–1319 (2006)Google Scholar
- 12.Lam, D.N., Barber, K.S.: Comprehending Agent Software. In: 4th International Joint Conference on Autonomous Agents and Multi-Agent Systems, Utrecht, Netherlands (2005)Google Scholar