Planning adalah metode dalam menyelesaikan masalah dengan cara memecahkan masalah dalam sub masalah yang lebih kecil, lalu sub masalah diselesaikan satu demi satu, dan kemudian menggabungkan kembali solusi dari sub masalah menjadi solusi lengkap. Planning mengatasi kesulitan dalam search based … Continue reading →

First order logic adalah salah satu bentuk knowledge representation language. Logika propositional mengasumsikan dunia dengan fakta-fakta. First order logic mengasumsikan: Objects- contoh: warna, angka, rumah dan lainnya. Relation- contoh: lebih besar dari, bagian dari, dan lainnya. Functions- contoh: satu ataupun … Continue reading →