Timed Formalisms for Plan Ontology and Processes.

摘要

In the context of military planning, recent research effort focuses more on specifying the static features and relations in the plan ontology. However, military plans, e.g. air campaign planning, have additional operations and timing requirements. In this project, the PI proposed an appropriate real- timed formalism, Timed CSP with some possible extensions, to model the plans. In this approach, Timed CSP is used to model the processes of the plans. The additional critical system requirements are then captured by the extensions. An associated prototype tool, HORAE, is developed for modeling, and reasoning the military plans.