Timed Formalisms for Plan Ontology and Processes

Abstract

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

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 11, 2007
Accession Number
ADA473082

Entities

People

  • Jin S. Dong
  • Jun Sun
  • Xian Zhang

Organizations

  • National University of Singapore

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Artificial Intelligence
  • Availability
  • Classification
  • Contracts
  • Information Operations
  • Instructions
  • Military Planning
  • Models
  • Monitoring
  • Ontologies
  • Prototypes
  • Reasoning
  • Security
  • Singapore
  • Standards

Readers

  • Artificial Intelligence
  • Joint Military Operations and Doctrine.
  • Software Engineering.