World In Your Hand

Classical Planning Kali ini, yang akan kita bahas adalah tentang Classical Planning. Tujuan Planning adalah kita membuat sebuah computer berpikir apa yang harus ia lakukan dari awal (GOAL STATE), menuju tujuan akhir yang kita inginkan (GOAL STATE) Ketika kita mendengar kata Planning di dunia AI, maka kita akan bermain dengan Block World. Berikut adalah beberapa […]

-First Order Logic (FOL) First-order logic digunakan untuk menarik sebuah kesimpulan dari beberapa fakta yang terkumpul, dan dapat kita buktikan dengan cara backward chaining dan resolution. FOL dipakai untuk membuktikan apakah statement tersebut value nya true or false, tetapi sebelum dibuktikan kita perlu mengkonversi semua faktanya itu ke dalam bentuk FOL. Di dalam FOL hanya […]