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.
%0 Journal Article
%1 IJACSA.2011.021216
%A M Kouzehgar M. A. Badamchizadeh, S Khanmohammadi
%D 2011
%J International Journal of Advanced Computer Science and Applications(IJACSA)
%K Petri behavior; fuzzy high-level human nets; rules. validation; verification;
%N 12
%T Fuzzy Petri Nets for Human Behavior Verification and Validation
%U http://ijacsa.thesai.org/
%V 2
%X 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.
@article{IJACSA.2011.021216,
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.},
added-at = {2014-02-21T08:00:08.000+0100},
author = {{M Kouzehgar M. A. Badamchizadeh}, S Khanmohammadi},
biburl = {https://www.bibsonomy.org/bibtex/2742bcce154b2a656248d58678b81c5b9/thesaiorg},
interhash = {b429965a1cea9349969a4c6a743efcef},
intrahash = {742bcce154b2a656248d58678b81c5b9},
journal = {International Journal of Advanced Computer Science and Applications(IJACSA)},
keywords = {Petri behavior; fuzzy high-level human nets; rules. validation; verification;},
number = 12,
timestamp = {2014-02-21T08:00:08.000+0100},
title = {{Fuzzy Petri Nets for Human Behavior Verification and Validation}},
url = {http://ijacsa.thesai.org/},
volume = 2,
year = 2011
}