Title of article
A Basic Proof Method for the Verification, Validation and Evaluation of Expert Systems
Author/Authors
Ghasem Azar، Armin نويسنده Ghasem Azar, Armin , Mohammad Alizadeh، Zohreh نويسنده Mohammad Alizadeh, Zohreh
Issue Information
دوفصلنامه با شماره پیاپی 0 سال 2013
Pages
5
From page
25
To page
29
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.
Journal title
Journal of Information Systems and Telecommunication
Serial Year
2013
Journal title
Journal of Information Systems and Telecommunication
Record number
713746
Link To Document