
qبا ترکیب تعدادی از استنتاج های کوچک و تبدیل آن به یک استنتاج بزرگ مراحل زیادی را تقلیل می دهد q این قانون از جانشینی هایی استفاده می کند که موثر بودنشان (برعکس حذف تصادفی سور عمومی) ضمانت می شود. الگوریتم یکسان سازی دو جمله را می گیرد و جانشینی ا در صورت وجود برمیگرداند که آن دو جمله یکسان شوند q این قانون تمام جملات موجود در پایگاه دانش را به فرم کانونی در می آورد. انجام این عمل یکبار در مرحله آغازین، ما را از اتلاف زمان برای انجام تبدیلات در طول مرحله اثبات بی نیاز می کند برای دانلود کل پاپورپوینت از لینک زیر استفاده کنید: ...
ادامه مطلب ...
دوشنبه 29 شهریور 1395 ساعت 18:07