Title :
Problems and prospects for formally representing and reasoning about enemy courses of action
Author :
Ulicny, Brian ; Matheus, Christopher J. ; Kokar, Mieczyslaw M. ; Powell, Gerald M.
Author_Institution :
VIStology, Inc., Framingham, MA
Abstract :
Enemy Courses of Action (ECOAs) play a central role in the process of situation development in military decision-making. In order to reason about ECOAs, it would be necessary to adequately represent them in a formalism that allows for automatic reasoning. In this paper, we examine the benefits and drawbacks of representing ECOAs within several frameworks that have been encoded as OWL ontologies.
Keywords :
formal verification; inference mechanisms; military computing; ontologies (artificial intelligence); OWL ontology; automatic reasoning; enemy courses of action; formal representation; military decision-making; situation development; JC3IEDM; action; information fusion; situation development; situation theory;
Conference_Titel :
Information Fusion, 2008 11th International Conference on
Print_ISBN :
978-3-8007-3092-6
Electronic_ISBN :
978-3-00-024883-2
