Article


Article Code : 139307281124522755(DOI : 10.7508/jist.2013.01.004)

Article Title : A Basic Proof Method for the Verification, Validation and Evaluation of Expert Systems

Journal Number : 1 Winter 2013

Visited : 1156

Files : 306 KB


List of Authors

  Full Name Email Grade Degree Corresponding Author
1 Armin Ghasem Azar a.ghasemazar@iasbs.ac.ir - B.S
2 Zohreh Mohammad Alizadeh z.alizadeh@iasbs.ac.ir - B.S

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.