TY - GEN
T1 - Verification of Human Decision Models in Military Simulations
AU - Liu, Fei
AU - Yang, Ming
AU - Sun, Guobing
N1 - Publisher Copyright:
© 2007 IEEE.
PY - 2007
Y1 - 2007
N2 - Human decision models, often represented as rules or predicates, are key components in most military simulations. Although there exist some verification techniques for rule bases, they are not enough to assure the correctness of human decision models. Based on an analysis of the characteristics of human decision models in military simulations, this paper presents a method for verifying human decision models. A formal description method is developed to describe human decision models, which are automatically mapped to fuzzy Petri nets. A set of formal verification criteria for human decision models are developed, based on which verification is grouped into two classes: weak verification and strong verification. By searching the fuzzy Petri nets, weak verification is implemented, and by reasoning the fuzzy Petri nets, strong verification is implemented.
AB - Human decision models, often represented as rules or predicates, are key components in most military simulations. Although there exist some verification techniques for rule bases, they are not enough to assure the correctness of human decision models. Based on an analysis of the characteristics of human decision models in military simulations, this paper presents a method for verifying human decision models. A formal description method is developed to describe human decision models, which are automatically mapped to fuzzy Petri nets. A set of formal verification criteria for human decision models are developed, based on which verification is grouped into two classes: weak verification and strong verification. By searching the fuzzy Petri nets, weak verification is implemented, and by reasoning the fuzzy Petri nets, strong verification is implemented.
UR - https://www.scopus.com/pages/publications/84963976275
U2 - 10.1109/AMS.2007.110
DO - 10.1109/AMS.2007.110
M3 - 会议稿件
AN - SCOPUS:84963976275
T3 - Proceedings - 1st Asia International Conference on Modelling and Simulation: Asia Modelling Symposium 2007, AMS 2007
SP - 363
EP - 368
BT - Proceedings - 1st Asia International Conference on Modelling and Simulation
A2 - Al-Dabass, David
A2 - Zobel, Richard
A2 - Abraham, Ajith
A2 - Turner, Steve
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 1st Asia International Conference on Modelling and Simulation - Asia Modelling Symposium 2007, AMS 2007
Y2 - 27 March 2007 through 30 March 2007
ER -