A Basic Proof Method for the Verification, Validation and Evaluation of Expert Systems
الموضوعات :
Armin Ghasem Azar
1
(Institute for Advanced Studies in Basic Sciences (IASBS))
Zohreh Mohammad Alizadeh
2
( Institute for Advanced Studies in Basic Sciences (IASBS))
الکلمات المفتاحية: Expert System, Partition, Non-Recursive,
ملخص المقالة :
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.
