Abstract: Regarding the rapid growth of the size and complexity of simulation applications, designing applicable and affordable verification and validation (V&V) structures is an important problem. On the other hand, nowadays human behavior models are principles to make decision in many simulations and in order to have valid decisions based on a reliable human decision model, first the model must pass the validation and verification criteria. Usually human behavior models are represented as fuzzy rule bases. In all the recent works, V&V process is applied on a ready given rule-base. In this work, we are first supposed to construct a fuzzy rule-base and then apply the V&V process on it. Considering the professor-student interaction as the case-study, in order to construct the rule base, a questionnaire is designed in a special way to be transformed to a hierarchical fuzzy rule-base. The constructed fuzzy rule base is then mapped to a fuzzy Petri net and then within the verification (generating and searching the reachability graph) and validation (reasoning the Petri net) process is searched for probable structural and semantic errors.

M Kouzehgar, M. A. Badamchizadeh and S. Khanmohammadi. “Fuzzy Petri Nets for Human Behavior Verification and Validation ”. International Journal of Advanced Computer Science and Applications (IJACSA) 2.12 (2011). http://dx.doi.org/10.14569/IJACSA.2011.021216

@article{Kouzehgar2011,
title = {Fuzzy Petri Nets for Human Behavior Verification and Validation },
journal = {International Journal of Advanced Computer Science and Applications},
doi = {10.14569/IJACSA.2011.021216},
url = {http://dx.doi.org/10.14569/IJACSA.2011.021216},
year = {2011},
publisher = {The Science and Information Organization},
volume = {2},
number = {12},
author = {M Kouzehgar and M. A. Badamchizadeh and S. Khanmohammadi}
}