Abstract
The management of naval organizations aims at the maximization of mission success by means of monitoring, planning, and strategic reasoning. This paper presents a meta-level architecture for strategic reasoning in naval planning. The architecture is instantiated with decision knowledge acquired from naval domain experts, and is formed into an executable model which is used to perform a number of simulations. To evaluate the simulation results a number of relevant properties for the planning decision are identified and formalized. These properties are validated for the simulation traces.
Similar content being viewed by others
References
Davis, R.: Metarules: reasoning about control. Artificial Intelligence 15, 179–222 (1980)
van der Hoek, W., Meyer, J.-J.C., Treur, J.: Formal Semantics of Meta-Level Architectures: Temporal Epistemic Reflection. International Journal of Intelligent Systems 18, 1293–1318 (2003)
Weyhrauch, R.W.: Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence 13, 133–170 (1980)
Wilkins, D.E.: Domain-independent planning Representation and plan generation. Artificial Intelligence 22, 269–301 (1984)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hoogendoorn, M., Jonker, C.M., van Maanen, PP., Treur, J. (2005). A Meta-level Architecture for Strategic Reasoning in Naval Planning. In: Ali, M., Esposito, F. (eds) Innovations in Applied Artificial Intelligence. IEA/AIE 2005. Lecture Notes in Computer Science(), vol 3533. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11504894_117
Download citation
DOI: https://doi.org/10.1007/11504894_117
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26551-1
Online ISBN: 978-3-540-31893-4
eBook Packages: Computer ScienceComputer Science (R0)