|
|
|
|
A Basic Proof Method for the Verification, Validation and Evaluation of Expert Systems
|
|
|
|
|
|
|
|
نویسنده
|
Ghasem Azar Armin ,Mohammad Alizadeh Zohreh
|
|
منبع
|
journal of information systems and telecommunication - 2013 - دوره : 1 - شماره : 1 - صفحه:25 -29
|
|
چکیده
|
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.
|
|
کلیدواژه
|
Expert System ,Partition ,Non-recursive
|
|
آدرس
|
institute for advanced studies in basic sciences (iasbs), ایران, institute for advanced studies in basic sciences (iasbs), ایران
|
|
پست الکترونیکی
|
z.alizadeh@iasbs.ac.ir
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|