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 problem solving.The Block World:

1. Operator
   1. UNSTACK(A,B)-Ambil block A dari posisi saat ini di atas block B. Arm (tangan) harus kosong dan block A harus kosong di atasnya.
   2. STACK(A,B)-Tempatkan block A di atas block B. Arm harus memegang A dan permukaan B harus kosong.
   3. PICKUP(A)-Ambil block A dari meja dan pegang. Arm harus empty dan harus tidak ada apa-apa di atas block A.
   4. PUTDOWN(A)- Letakkan block A ke atas meja. Arm harus sudah memegang block A.
2. Predicate
   1. ON(A,B)-Block A di atas block B.
   2. ONTABLE(A)-Block A ada di meja.
   3. CLEAR(A)-Tidak terdapat block lain di atas block A.
   4. HOLDING(A)-Arm memegag block A.
   5. ARMEMPTY-Arm tidak memegang block apapun (kosong).

Terdapat dua cara untuk menyelesaikan yaitu

1. Goal Stack Planning (GSP)
   Goal stack planning adalah salah satu teknik untuk menyelesaikan kumpulan goal yang berinteraksi dengan menggunakan goal stack (stack dari goal).  Goal Stack Planning disebut juga sebagai Linear Planning. Linear Planning lebih terstruktur.
2. Constraint Posting (CP)
   Constraint Posting disebut juga sebagai Non Linear Planning. Heuristik untuk Planning dengan menggunakan Constraint Posting :
   1. Step addition – membuat langkah plan baru.
   2. Promotion – membatasi satu langkah sebelum yang lain dalam plan akhir.
   3. Declobbering – menempatkan satu (mungkin baru) diantara 2 langkah yang ada
   4. Simple establishment – memberikan nilai ke variabel, utk meyakinkan prekondisi dari beberapa langkah.
   5. Separation – menjaga pemberian harga tertentu ke variabel.

Cara GSP dan CP akan menghasikan hasil yang sesuai yang membedakan hanyalah cara yang digunakan dalam menyelesaikan masalah yang ada.

www.binus.ac.id

First order logic adalah salah satu bentuk knowledge representation language. Logika propositional mengasumsikan dunia dengan fakta-fakta. First order logic mengasumsikan:

1. Objects- contoh: warna, angka, rumah dan lainnya.
2. Relation- contoh: lebih besar dari, bagian dari, dan lainnya.
3. Functions- contoh: satu ataupun lebih, plus, dan lainnya.

Elemen dasar:

1. Constants
2. Predicates
3. Functions
4. Variables
5. Connectives
6. Equality
7. Quantifiers

FOL digunakan untuk menentukan suatu pernyataan yang diberikan tersebut true atau false. FOL dapat digunakan untuk mengambil keputusan atupun fakta.

First order logic dapat dikerjakan menggunakan backward chaining dan proof by resolution.

Proof by resolution: kita harus mengubah dengan menegasikan pernyataan yang ada. Lalu kita harus mencari nilai null untuk membuktikan bahwa fakta yang kita cari tersebut benar atau salah.

www.binus.ac.id