عاملهای مبتنی بر دانش
منطق
منطق گزاره ای
الگوهای استدلال در منطق گزاره ای
الگوریتم resolution
زنجیر پیشرو و عقبگرد
عاملهای منطقی
توصیف جهان WUMPUS
قابل مشاهده کامل: خیر, فقط ادراک محلی
قطعی: بله، نتیجه دقیقا مشخص است
رویدادی: خیر، ترتیبی از فعالیتهاست
ایستا: بله, WUMPUS و گودالها حرکت ندارند
گسسته: بله
تک عامله: بله، WUMPUS در اصل یک خصوصیت طبیعی است
و...........