دانلود پاورپوینت استنتاج در منطق مرتبه اول - 34 اسلاید

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