All Is Possible

Planning adalah rencana atau kumpulan cara untuk melakukan sesuatu. Dalam intelegensia semu, Planning adalah kumpulan cara dari suatu sistem untuk menyelesaikan suatu aksi yang dilakukan oleh agen.  Salah satu contoh problem yang biasa digunakan dalam planning adalah Block World Problem.

Dalam Block World Problem terdapat beberapa operator yang digunakan, yaitu:

• UNSTACK(A,B) ; untuk memindahkan balok A dari B.
• STACK(A,B) : untuk meletakkan balok A di atas B.
• PICKUP(A) : untuk mengambil balok A dari tabel.
• PUTDOWN(A) : untuk menaruh balok A pada tabel.

Predicates :

• ON(A,B) : Block A diatas block B.
• ONTABLE(A) : Block A diatas tabel.
• CLEAR(A) : diatas block A kosong .
• HOLDING(A) : Arm sedang memegang block A.
• ARMEMPTY : Arm tidak memegang apapun.

Untuk menyelesaikan masalah Block World Problem dapat menggunakan 2 cara:

1. Goal Stack Planning adalah cara dimana harus menetukan start state dan goal state. Untuk menyelesaikannya adalah dengan menggunakan operator dan predikat yang dihubungkan untuk mencapai suatu goal state.
2. Constraint Posting adalah cara yang dilakukan secara pararel dan dimulai dari goal state hingga menuju start state. Constraint Posting diperlukan untuk menyelesaikan masalah yang lebih rumit tetapi menghasilkan solusi yang tidak efisien dibandingkan dengan Goal Stack Planning

Dalam constraint posting ada beberapa hal yang perlu dilakukan:

• STEP ADDITION : Menambah Step Baru
• PROMOTION : menentukan diantara beberapa Proses mana yang harus diproses terlebih dahulu.
• DECLOBBERING : menyisipkan Step baru diantara 2 Proses.
• SIMPLE ESTABLISHMENT : Menetapkan Nilai ke Varibel untuk memastikan Prasyarat

Reference : binus.ac.id

First Order Logic adalah suatu logika formal sebuah sitem yang biasanya digunakan dalam masalah matematika, filsafat, linguistik, dan ilmu komputer.

First Order Logic mempunyai 3 bagian yaitu object, relation dan function.

Untuk menyelesaikan First Order Logic terdapat 2 cara yaitu dengan Backward Chaining dan Proof by Resolution.

Backward Chaining adalah sutau metode untuk membuktikan suatu masalah dengan memulai dari goal suatu masalah dan dihubungkan dengan kalimat pernyataan yang ada hingga habis. Contoh pernyataan, Chandra adalah seorang siswa maka harus diubah menjadi Siswa(Chandra).

Proof by Resolution adalah suatu metode untuk membuktikan suatu masalah dengan mengunakan CNF(Conjunctive Normal Form). Penyelesaian dimulai dari goal menjadi statement yang kemudian dihubungkan dengan negasi/lawan dari statement tersebut  Contoh konversi ke CNF,  student(computer science)->like(algorithm) maka harus diubah menjadi NOT student(computer science) OR like(algorithm).

Reference: binus.ac.id

Welcome to Binusian blog.
This is the first post of any blog.binusian.org member blog. Edit or delete it, then start blogging!
Happy Blogging 🙂