แรงจูงใจของตรรกะและการแทนความรู้ในปัญญาประดิษฐ์ ตรรกะลำดับที่หนึ่ง วิศวกรรมความรู้ การหาคำตอบด้วยวิธีเรสโซลูชั่น การใช้เหตุผลในประโยคระบบฮอร์น ระบบฐานความรู้และกลไกการอนุมาน การแทนความรู้ด้วยเฟรม ภาษาคำอธิบาย การอนุมานประโยคที่ตามมา อนุกรมวิธานและการจำแนก เครือข่ายการสืบทอดคุณสมบัติ ออนโทโลยี

Motivation of logic and knowledge representation in AI, first-order logic, knowledge engineering, resolution, reasoning with Horn clauses, knowledge-based system and inference engine, Frame-based representation, description language, entailment, taxonomy and classification, inheritance network, ontology