• Pengetahuan Eksplisit vs. Implisit:
◦ Eksplisit: Terdokumentasi, formal, mudah dikomunikasikan (aturan, fakta).
◦ Implisit: Pengalaman, intuisi, sulit diformalkan.
◦ Sistem AI modern mengkombinasikan keduanya.
• Model Representasi Pengetahuan:
◦ Logika Proposisional: Fakta sederhana (True/False).
◦ Logika Predikat: Hubungan antar objek, variabel, kuantor.
◦ Semantic Network: Node (konsep) dan edge (relasi).
◦ Frame-Based: Struktur data seperti objek (slot dan nilai).
◦ Sistem AI sering menggabungkan beberapa model.
• Inferensi Logika:
◦ Proses menarik kesimpulan logis.
◦ Jenis penalaran: deduktif, induktif, abduktif.
◦ Aturan inferensi: Modus Ponens, Modus Tollens.
◦ Arah penalaran: Forward Chaining, Backward Chaining.
