A Basic Proof Method for the Verification, Validation and Evaluation of Expert Systems

سال انتشار: 1391
محل انتشار: فصلنامه سیستم های اطلاعاتی و مخابرات، دوره: 1، شماره: 1
کد COI اختصاصی: JR_JIST-1-1_004
زبان مقاله: انگلیسی
تعداد مشاهده: 1185

نویسندگان

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

مقالات مرتبط جدید

اطلاعات بیشتر در مورد COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.