طلوع

1- استنتاج از طریق بررسی امکان تولید جمله α از روی KB با استفاده از قوانین استنتاج :

در این روش الگوریتم استنتاج سعی می کند جمله α را اثبات کند . منظور از اثبات یک جمله، بکارگیری دنباله ای از قوانین استنتاج برای
رسیدن از KB به آن جمله است.

2- استنتاج از طریق (بررسی مدل ها) (شمارش مدل ها) :

در این روش الگوریتم استنتاج، تمام مدل های ممکن را یکی یکی در نظر می گیرد و بررسی می کند آیا ( M(KB)⸦ M(αهست یا خیر ،
الگوریتم تمام سطرهای جدول درستی را درنظر و بررسی می کند که آیا در هر سطری که KB درست هست α هم درست است یا خیر.