Dokumen ini membahas tahap pengembangan sistem pakar, mulai dari identifikasi masalah hingga implementasi dan pengujian. Berbagai teknik representasi pengetahuan seperti object-attribute-value triplet, rules, semantic networks, dan frames dijelaskan sebagai cara untuk menangkap dan menggunakan pengetahuan. Dalam konteks ini, logika proposisi dan kalkulus predikat juga dibahas untuk merepresentasikan pengetahuan secara formal.