DocumentCode
3595873
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
fYear
2008
Firstpage
1
Lastpage
8
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Fusion, 2008 11th International Conference on
Print_ISBN
978-3-8007-3092-6
Electronic_ISBN
978-3-00-024883-2
Type
conf
Filename
4632212
Link To Document