سعی می کنیم تا مکانیزیم استنتاجی را با قانون استنتاج مودس پوننس تعمیم یافته (GMP) بوجود آوریم. تمام جملات موجود در پایگاه دانش باید بصورتی باشند که با یکی از فرضیات قانون GMP مطابقت داشته باشند.
فرم کانونی برای GMP متضمن این نکته است که هر جمله در پایگاه دانش باید از نوع اتمی یا شرطی (با یک ترکیب عطفی از جملات اتمی در طرف چپ و یک اتم منفرد در طرف راست ) باشد.
جملاتی از این قبیل جملات هورن (Horn sentence) نامیده می شود
پایگاه دانشی که فقط شامل جملات هورن باشد Horn Normal Form نامیده می شود
برای دانلود کل پاورپوینت از لینک زیر استفاده کنید:
دانلود پاورپوینت استنتاج در منطق مرتبه اول - 34 اسلاید