Logika
TMD 5
Buat Makalah
Definisi agen dengan pengetahuan. Studi kasus menggunakan : game wumpus World
Representasi pengetahuan (sintax, semantik, soundness, complete, logika proposi)
Inference, model
Metode pembuktian dengan backward dan forward chaining.
TUGAS KELOMPOK
• Tugas Kelompok
• Ada analisis dan contoh case