Advertisement

A Meta-level Architecture for Strategic Reasoning in Naval Planning

(Extended Abstract)
  • Mark Hoogendoorn
  • Catholijn M. Jonker
  • Peter-Paul van Maanen
  • Jan Treur
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3533)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Davis, R.: Metarules: reasoning about control. Artificial Intelligence 15, 179–222 (1980)CrossRefGoogle Scholar
  2. 2.
    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)MATHCrossRefGoogle Scholar
  3. 3.
    Weyhrauch, R.W.: Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence 13, 133–170 (1980)MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Wilkins, D.E.: Domain-independent planning Representation and plan generation. Artificial Intelligence 22, 269–301 (1984)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Mark Hoogendoorn
    • 1
  • Catholijn M. Jonker
    • 2
  • Peter-Paul van Maanen
    • 1
    • 3
  • Jan Treur
    • 1
  1. 1.Department of Artificial IntelligenceVrije Universiteit AmsterdamAmsterdamThe Netherlands
  2. 2.NICIRadboud University NijmegenNijmegenThe Netherlands
  3. 3.Department of Information ProcessingTNO Human FactorsSoesterbergThe Netherlands

Personalised recommendations