Agent-based analysis and simulation of meta-reasoning processes in strategic naval planning

Knowledge-Based Systems

Volumn 22, Issue 8, 2009, Pages 589-599

  Hoogendoorn, Mark ^a   Jonker, Catholijn M ^c   van Maanen, Peter Paul ^a,b   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b TNO   (Netherlands)

^c DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Intelligent agent systems; Meta reasoning; Planning; Simulation

Indexed keywords

AGENT BASED; AGENT MODEL; AGENT-BASED ANALYSIS; AGENT-BASED MODEL; ANALYSIS AND SIMULATION; DOMAIN EXPERTS; INTELLIGENT AGENT SYSTEMS; META-LEVEL ARCHITECTURES; META-REASONING; NAVAL PLANNING; SIMULATION; SIMULATION RESULT; STRATEGIC REASONING;

SIMULATORS;

EID: 70349772942     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2009.05.003     Document Type: Article

References (21)

1. Bosse T., Jonker C.M., van der Meij L., and Treur J. LEADSTO: a language and environment for analysis of dynamics by SimulaTiOn. In: Eymann T., Kluegl F., Lamersdorf W., Klusch M., and Huhns M.N. (Eds). Proceedings of the Third German Conference on Multi-Agent System Technologies, MATES'05. Lecture Notes in AI vol. 3550 (2005), Springer Verlag 165-178
2. Bosse T., Jonker C.M., van der Meij L., Sharpanskykh A., and Treur J. Specification and verification of dynamics in agent models. International Journal of Cooperative Information Systems 18 (2009) 167-193
3. Bowen K., and Kowalski R. Amalgamating language and meta-language in logic programming. In: Clark K., and Tarnlund S. (Eds). Logic Programming (1982), Academic Press
4. Brazier F.M.T., Jonker C.M., and Treur J. Principles of component-based design of intelligent agents. Data and Knowledge Engineering 41 (2002) 1-28
5. Brazier F.M.T., Jonker C.M., and Treur J. Dynamics and control in component-based agent models. International Journal of Intelligent Systems 17 (2002) 1007-1048
6. Brazier F.M.T., Jonker C.M., and Treur J. Compositional design and reuse of a generic agent model. Applied Artificial Intelligence Journal 14 (2000) 491-538
7. F.M.T. Brazier, P.H.G. van Langen, J. Treur, Strategic knowledge in design: a compositional approach. knowledge-based systems, in: K. Hori (Ed.), Special Issue on Strategic Knowledge and Concept Formation, vol. 11, 1998, pp. 405-416.
8. M.P. Georgeff, F.F. Ingrand, Decision-making in an embedded reasoning system, in: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), Detroit, MI, 1989, pp. 972-978.
9. van der Hoek W., Meyer J.-J.Ch., and Treur J. Formal semantics of meta-level architectures: temporal epistemic reflection. International Journal of Intelligent Systems 18 (2003) 1293-1318
10. van der Hoek W., Ruan J., and Wooldridge M. Strategy logics and the game description language. In: van Benthem J., Ju S., and Veltman F. (Eds). A Meeting of the Minds, Texts in Computer Science vol. 8 (2007), College Publications 259-274
11. Jonker C.M., and Treur J. A compositional process control model and its application to biochemical processes. Applied Artificial Intelligence Journal 16 (2002) 51-71
12. Jonker C.M., and Treur J. Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness. International. Journal of Cooperative Information Systems 11 (2002) 51-92
13. In: Maes P., and Nardi D. (Eds). Meta-Level Architectures and Reflection (1988), Elsevier Science Publishers
14. Mulder M., Treur J., and Fisher M. Agent modelling in metateM and DESIRE. In: Singh M.P., Rao A.S., and Wooldridge M.J. (Eds). Intelligent Agents IV, Proceedings Fourth International Workshop on Agent Theories, Architectures and Languages, ATAL'97. Lecture Notes in AI vol. 1365 (1998), Springer Verlag 193-207
15. Pew R.W., and Mavor A.S. Modeling human and organizational behavior (1999), National Academy Press, Washington, DC
16. O. Shehory, A. Sturm, Evaluation of modeling techniques for agent-based systems, in: Proceedings of the Fifth International Conference on Autonomous Agents, Montreal, Canada, May 2001, pp. 624-631.
17. J. Sokolowski, Enhanced military decision modeling using a MultiAgent system approach, in: Proceedings of the Twelfth Conference on Behavior Representation in Modeling and Simulation, Scottsdale, AZ, May 12-15, 2003, pp. 179-186.
18. D. Standaert, E. Tanter, T. van Cutsem, Design of a multi-level reflective architecture for ambient actors, in: Proceedings of ECOOP Workshop on Object Technology for Ambient Intelligence and Pervasive Computing (OT4AmI 2006), July 2006, Nantes, France.
19. Treur J. Formal semantics of meta-level architectures: dynamic control of reasoning. International Journal of Intelligent Systems 17 (2002) 545-568
20. M.P. Wellman, D.M. Reeves, K.M. Lochner, S.-F. Cheng, R. Suri, Approximate strategic reasoning through hierarchical reduction of large symmetric games, in: Twentieth National Conference on Artificial Intelligence, 2005, pp. 502-508.
21. Wilkins D.E. Domain-independent planning representation and plan generation. Artificial Intelligence 22 (1984) 269-301