Teadmusel põhinev intelligentne agent.
Järeldumine, loogika, resolutsioonimeetod (lausearvutuses).
Loengu materjal õpikutes: [AIMA] 7.1-7.5; [ARTINT] chapter 5; [TI] 7, 22.1 (mingil määral)
Loenguslaidid: PDF