Tools for analyzing intelligent agent systems

Web Intelligence and Agent Systems

Volumn 6, Issue 4, 2008, Pages 355-371

  Bosse, Tibor ^a   Lam, Dung N ^b   Barber, K Suzanne ^b  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

Agent oriented software engineering; Debugging; Formal analysis of agent systems; Maintenance; Reverse engineering; Software comprehension; Tracer

Indexed keywords

COMPUTER SOFTWARE MAINTENANCE; MISSILE LAUNCHING SYSTEMS; PROGRAM DEBUGGING; REENGINEERING; REVERSE ENGINEERING; SOFTWARE AGENTS; SOFTWARE ENGINEERING; UNMANNED AERIAL VEHICLES (UAV); UNMANNED VEHICLES;

ACCURATE; AGENT ACTIVITIES; AGENT SYSTEMS; AGENT-BASED SYSTEMS; ANOMALOUS BEHAVIORS; BEHAVIORAL PROPERTIES; CHALLENGING TASKS; CONFLICT RESOLUTIONS; DEBUGGING; EXECUTION TRACES; FORMAL ANALYSIS OF AGENT SYSTEMS; INTEGRATED APPROACHES; INTELLIGENT AGENT SYSTEMS; SOFTWARE COMPREHENSION; SOFTWARE ENGINEERING TOOLS; SYSTEM BEHAVIORS; TRACER; TRACER TOOLS; UNMANNED AERIAL VEHICLES;

MULTI AGENT SYSTEMS;

EID: 54349126717     PISSN: 15701263     EISSN: None     Source Type: Journal    
DOI: 10.3233/WIA-2008-0145     Document Type: Article

References (34)

1. R. Alur and D.L. Dill, A theory of timed automata, Theoretical Computer Science 126(2) (1994), 183-235.
2. J.F.A.K. van Benthem, The Logic of Time: A Model-theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse, Reidel, Dordrecht, 1983.
3. T. Bosse, C. Gerritsen, and J. Treur, Cognitive and social simulation of criminal behaviour: The intermittent explosive disorder case, in: Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS'07, ACM Press, 2007, pp. 367-374.
4. T. Bosse, CM. Jonker, and J. Treur, Requirements analysis of an agent's reasoning capability, in: Proceedings of the Seventh International Workshop on Agent-Oriented Information Systems, AOIS'05, B. Henderson-Sellers and M. Winikoff, eds, 2005, pp. 82-89.
5. T. Bosse, CM. Jonker, L. van der Meij, A. Sharpanskykh, and J. Treur, Specification and verification of dynamics in cognitive agent models, in: Proceedings of the Sixth International Conference on Intelligent Agent Technology, IAT'06, T. Nishida, M. Klusch, K. Sycara, M. Yokoo, J. Liu, B. Wall, W. Cheung, and Y.-M. Cheung, eds, 2006, pp. 247-254.
6. M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, and S. Yovine, Kronos: A model-checking tool for real-time systems, In: Proc. of the 10th Intl. Conference on Computer Aided Verification, Lecture Notes in Computer Science, vol. 1427, Springer-Verlag, 1998, pp. 546-550.
7. E.J. Chikofsky and J.H. Cross, Reverse engineering and design recovery: A taxonomy, IEEE Software 7(1) (1990), 13-17.
8. E.M. Clarke, O. Grumberg, and D.A. Peled, Model Checking, MIT Press, 2000.
9. J. Denzinger and J. Hamdan, Improving observation-based modeling of other agents using tentative stereotyping and compactification through kd-tree structuring, Web Intelligence and Agent Systems, IOS Press, 4(3) (2006), 255-270.
10. J. Denzinger and J. Kidney, Evaluating different genetic operators in the testing for unwanted emergent behavior using evolutionary learning of behavior, in: Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (TAT 2006), Hong Kong, December 2006, pp. 23-29.
11. B. Edmonds and J. Bryson, The insufficiency of formal design methods, in: Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems, 2004, pp. 938-946.
12. P.J. Finnigan, R.C. Holt, 1. Kalas, S. Kerr, K. Kontogiannis, H.A. Müller, J. Mylopoulos, S.G. Perelgut, M. Stanley, and K. Wong. The software bookshelf, IBM Systems Journal 36(4) (1997), 564-593.
13. H. Garcia-Molina, F. Germano, and W. Kohler, Debugging a distributed computer system, IEEE Transactions on Software-Engineering SE-10(2) (1984), 210-219.
14. M.P. Georgeff and A.L. Lansky, Reactive reasoning and planning, in: Proceedings of the Sixth National Conference on Artificial Intelligence, AAAI'87, K. Forbus and H. Shrobe, eds, Menlo Park, California, American Association for Artificial Intelligence, 1987, pp. 677-682.
15. R. Goldblatt, Logics of Time and Computation, 2nd edition, CSLI Lecture Notes 7, 1992.
16. CM. Jonker and J. Treur, Compositional verification of multiagent systems: A formal analysis of pro-activeness and reactiveness, International Journal of Cooperative Information Systems, 11 (2002), 51-92.
17. M. Kalech and G.A. Kaminka, On the design of social diagnosis algorithms for multi-agent teams, in: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI'03, 2003, pp. 370-375.
18. J. Kidney and J. Denzinger, Testing the limits of emergent behavior in MAS using learning of cooperative behavior, in: Proceedings of the 17th European Conference on Artificial Intelligence (ECAT 2006), 2006, pp. 260-264.
19. K. Koskimies, T. Systä, J. Tuomi, and T. Männistö, Automated support for modeling OO software, IEEE Software 15(1) (1998), 87-94.
20. D.N. Lam and K.S. Barber, Comprehending Agent Software, in: Proc. of the 4th International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS'05, 2005, pp. 586-593.
21. D.N. Lam and K.S. Barber, Debugging agent behavior in an implemented agent system, in: Springer LNCS: Programming Multi-Agent Systems (Selected Revised and Invited Papers), vol. 3346, R.H. Bordini, M. Dastani, J. Dix, A.E.F. Seghrouchni, eds, Jan 2005, pp. 103-125.
22. K.G. Larsen, P. Petterson, and W. Yi, UPPAAL in a nutshell, International Journal on Software Tools for Technology Transfer 1(1-2) (1997), 134-152.
23. M.H.V. Liedekerke and N.M. Avouris, Debugging multi-agent systems, Information and Software Technology, 37(2) (1995), 103-112.
24. K.L. McMillan, Symbolic model checking: An approach to the state explosion problem. Ph.D. thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, 1992, Published by Kluwer Academic Publishers, 1993.
25. D. Ndumu, H. Nwana, L. Lee, and J. Collis, Visualising and Debugging Distributed Multi-Agent Systems, in: Proceedings of the Third Annual Conference on Autonomous Agents, 1999, pp. 326-333.
26. R.F. Port and T. van Gelder, eds, Mind as Motion: Explorations in the Dynamics of Cognition, MIT Press, Cambridge, Mass, 1995.
27. D. Poutakidis, L. Padgham, and M. Winikoff, Debugging multi-agent systems using design artifacts: The case of interaction protocols, in: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, 2002, pp. 960-967.
28. A.S. Rao and M.P. Georgeff, BDI-agents: From theory to practice, in: Proceedings of the International Conference on Multiagent Systems, V. Lesser, ed, 1995, pp. 312-319.
29. A.S. Rao and M.P. Georgeff. Modelling rational agents within a BDI-architecture, in: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, (KR'91)
30. J. Allen, R. Fikes, and E. Sandewall, eds, Morgan Kaufmann, 1991, pp. 473-484.
31. A. Sharpanskykh and J. Treur, Verifying interlevel relations within multi-agent systems: Formal theoretical basis. Technical Report TR-1701 AI, Vrije Universiteit Amsterdam, 2005, http://hdl.handle.net/1871/9777.
32. B. Wozna, A. Lomuscio, and W. Penczek, Bounded model checking for knowledge and real time, in: Proceedings of the 4th International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS'05, 2005, pp. 165-172.
33. Rational Rose, http://www.ibm.com/software/awdtools/developer/rose/.
34. Spin Model Checker, http://spinroot.com/.