Mata kuliah ini memberikan penjelasan tentang bagaimana merepresentasi pengetahuan dari sumber pengetahuan menjadi basis pengetahuan, membuat mesin inferensi, dan membuat kesimpulan atas kasus dengan menggunakan metode certainty/uncertainty.