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
شناسه ملی مقاله: JR_JIST-1-1_004
منتشر شده در شماره 1 دوره 1 فصل Autumn 2012 در سال 1391
شناسه ملی مقاله: JR_JIST-1-1_004
منتشر شده در شماره 1 دوره 1 فصل Autumn 2012 در سال 1391
مشخصات نویسندگان مقاله:
Armin Ghasem Azar - Department of Computer and Information Sciences Institute for Advanced Studies in Basic Sciences (IASBS)
Zohreh Mohammad Alizadeh - Department of Computer and Information Sciences Institute for Advanced Studies in Basic Sciences (IASBS)
خلاصه مقاله:
Armin Ghasem Azar - Department of Computer and Information Sciences Institute for Advanced Studies in Basic Sciences (IASBS)
Zohreh Mohammad Alizadeh - Department of Computer and Information Sciences Institute for Advanced Studies in Basic Sciences (IASBS)
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
صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/245211/