@article{ author = {Armin Ghasem AzarandZohreh Mohammad Alizadeh}, title = {A Basic Proof Method for the Verification, Validation and Evaluation of Expert Systems}, journal = {Journal of Information Systems and Telecommunication (JIST) }, volume = {1}, number = {1}, page = {1-10}, year = {2013}, publisher = {Iranian Academic Center for Education,Culture and Research }, issn = {2322-1437}, eissn = {2345-2773}, doi = {10.7508/jist.2013.01.004}, abstract = {In the present paper, a basic proof method is provided for representing the verification, Validation and evaluation of expert systems. The result provides an overview of the basic method for formal proof such as: partition larger systems into small systems prove correctness on small systems by non-recursive means, prove that the correctness of all subsystems implies the correctness of the entire system.}, keywords = {Expert System;Partition;Non-Recursive}, title_fa = {A Basic Proof Method for the Verification, Validation and Evaluation of Expert Systems}, abstract_fa = {In the present paper, a basic proof method is provided for representing the verification, Validation and evaluation of expert systems. The result provides an overview of the basic method for formal proof such as: partition larger systems into small systems prove correctness on small systems by non-recursive means, prove that the correctness of all subsystems implies the correctness of the entire system.}, keywords_fa = {Expert System;Partition;Non-Recursive}, URL = {rimag.ir/fa/Article/14804}, eprint = {rimag.ir/fa/Article/Download/14804},