A Basic Proof Method for the Verification, Validation and Evaluation of Expert Systems
Publish Year: 1391
نوع سند: مقاله ژورنالی
زبان: English
View: 1,032
This Paper With 6 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
این Paper در بخشهای موضوعی زیر دسته بندی شده است:
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_JIST-1-1_004
تاریخ نمایه سازی: 21 فروردین 1393
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
Keywords:
Authors
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)