Dokumen ini membahas tentang sistem berbasis pengetahuan, mencakup akuisisi pengetahuan, representasi pengetahuan seperti jaringan semantik dan kaidah produksi, serta teknik inferensi. Jenis-jenis logika yang dijelaskan termasuk logika proposisional dan logika predikat, masing-masing dengan contoh aplikatif. Proses penalaran dan inferensi juga dibahas, termasuk metode forward dan backward chaining dalam sistem pakar.