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.

Highlights

  • All On the whole nowadays human behavior models are principles to make decision in many simulations

  • Our work firstly suggests the setup of the students' deduction system and looking at the studentprofessor interaction as a system; the application of verification and validation in education system is tested

  • Human behavior modeling or human behavior representation (HBR) is a field of study important in military service research [1, 2], robotics [3], brain-computer interface (BCI), human machine interface (HMI) [4, 5] and some specially oriented anthropology studies [6].Human behavior models are often represented by finite state machines, rules, fuzzy rules [7], artificial neural networks [8], fuzzy hybrid rule-frames [9], fuzzy dynamic Bayesian networks [10, 11], concept lattice [12], multi-agent based modeling [13]

Read more

Summary

INTRODUCTION

All On the whole nowadays human behavior models are principles to make decision in many simulations. In [19], based on the concept of ω-nets [20], a special reachability graph is presented to detect structural errors in rule-based systems This technique is applied in later researches [1, 14]. The existing V&V techniques for rule bases mainly focus on structural verification and rarely deal with validation issues, let alone semantic validation of special cases such as human behavior models. In order to set up a rule base for the fuzzy system of human behavior, the effective parameters on decision making in that special field must be initially identified. The constructed fuzzy rule base is mapped to a fuzzy Petri net and afterwards the corresponding special reachability graph is generated and searched in order to distinguish errors dealing with verification.

Fuzzy Petri Nets- a brief Introduction
MODELING OF THE CASE- STUDY
The Input Properties
VERIFICATION PROCESS
VALIDATION PROCESS
Static Validation
Dynamic Validation
CONCLUSION AND FUTURE WORK

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.