Verification of Human Decision Models in Military Simulations

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

[1]  Walton A. Perkins,et al.  Checking an Expert Systems Knowledge Base for Consistency and Completeness , 1985, IJCAI.

[2]  Brooke H. McNally.  An approach to human behavior modeling in an air force simulation , 2005, Proceedings of the Winter Simulation Conference, 2005..

[3]  Pedro Meseguer,et al.  Incremental Verification of Rule-Based Expert Systems , 1992, ECAI.

[4]  Zhengxin Chen,et al.  Knowledge validation of engineering expert systems , 1995 .

[5]  Avelino J. Gonzalez.  Validation of Human Behavioral Models , 1999, FLAIRS Conference.

[6]  Marie-Christine Rousset,et al.  On the consistency of knowledge bases: the COVADIS system , 1988, Comput. Intell..

[7]  Jeffrey J. P. Tsai,et al.  Fuzzy Rule Base Systems Verification Using High-Level Petri Nets , 2003, IEEE Trans. Knowl. Data Eng..

[8]  Ming Yang,et al.  Verification and validation of AI simulation systems , 2004, Proceedings of 2004 International Conference on Machine Learning and Cybernetics (IEEE Cat. No.04EX826).

[9]  Arthur C. Sanderson,et al.  Task sequence planning using fuzzy Petri nets , 1995, IEEE Trans. Syst. Man Cybern..

[10]  C. Petri.  Kommunikation mit Automaten , 1962 .

[11]  Ming Yang,et al.  Verification and Validation of Artificial Neural Network Models , 2005, Australian Conference on Artificial Intelligence.

[12]  Wolfgang Reisig,et al.  Petri Nets: Central Models and Their Properties , 1986, Lecture Notes in Computer Science.

[13]  Edward H. Shortliffe,et al.  An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System , 1982, AI Mag..

[14]  Jin-Fu Chang,et al.  Knowledge Representation Using Fuzzy Petri Nets , 1990, IEEE Trans. Knowl. Data Eng..

[15]  Victor R. L. Shen,et al.  Knowledge Representation Using High-Level Fuzzy Petri Nets , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.