Title
Modelling of Submarine Navigation by Nonmonotonic Logic
Abstract
Simulations of naval action estimate the operational performance of warships or submarines for a given scenario. In common models, the operator's reactions are predefined. This is not realistic: the operator's decision can produce unexpected reactions. This paper presents a method to model operator decision in simulations. This method allows to reason about incomplete, revisable and uncertain information: an operator has partial information about his environment only and must revise his decisions. Our method uses a nonmonotonic logic: the rules of behavior are formalized with default logic, to which we added a consideration of time. Our method uses preferences to manage choice between different rules, with simple probabilistic techniques. This method has been implemented in Prolog, interfaced to DCNS simulator framework and applied to a scenario involving two adverse submarines.
Year
DOI
Venue
2011
10.1109/BWCCA.2011.96
BWCCA
Keywords
Field
DocType
submarine navigation,model operator decision,partial information,different rule,uncertain information,nonmonotonic logic,adverse submarine,operational performance,common model,naval action,default logic,navigation,petri net,cognition,petri nets,object tracking,calculus,trajectory
Submarine navigation,Default logic,Petri net,Computer science,Video tracking,Prolog,Operator (computer programming),Non-monotonic logic,Probabilistic logic,Distributed computing
Conference
Citations 
PageRank 
References 
0
0.34
5
Authors
3
Name
Order
Citations
PageRank
Isabelle Toulgoat100.34
Pierre Siegel29721.00
Doncescu, A.38625.70