مرکز منطقه ای اطلاع رسانی علوم و فناوری Journal of Information Systems and Telecommunication (JIST) 2322-1437 1 1 2013 3 20 A Basic Proof Method for the Verification, Validation and Evaluation of Expert Systems A Basic Proof Method for the Verification, Validation and Evaluation of Expert Systems 1 10 10.7508/jist.2013.01.004 en Armin Ghasem Azar Institute for Advanced Studies in Basic Sciences (IASBS) Zohreh Mohammad Alizadeh Institute for Advanced Studies in Basic Sciences (IASBS) 2014 10 20 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. http://jist.ir/en/Article/Download/14804