Mar
30
2014
0

Goal Stack Planning

Apa itu Goal Stack Planning? Bila kita berbicara tentang Goal Stack Planning, kita biasanya menggunakan Block World sebagai acuan. Jadi Goal Stack Planning adalah algoritma yang digunakan untuk menyusun block-block menjadi susunan yang diinginkan.
Dibawah adalah beberapa komponen dari suatu Sistem Planning:
  • Gunakanlah aturan yang terbaik berdasarkan informasi heuristik  yang ada.
  • Gunakanlah aturan yang dipilih untuk mengkomputasi kondisi awal masalah.
  • Deteksi ketika solusi telah ditemukan.
  • Deteksi ketika menemukan jalan buntu sehingga itu bisa dibiarkan agar sistem dapat beralih ke arah yang lain.
  • Deteksi ketika ada solusi yang hampir benar, lalu gunakan teknik spesial sehingga solusi tersebut menjadi benar.

Operator pada Block World:

  • UNSTACK(A,B): Mengangkat balok A yang berada diatas balok B. (Syarat: tidak ada balok lain diatas balok A)
  • STACK(A,B): Menaruh balok A keatas balok B. (Syarat: tidak ada balok lain diatas balok B)
  • PICKUP(A): Mengangkat balok A yang berada diatas meja. (Syarat: tidak ada balok lain diatas balok A)
  • PUTDOWN(A): Menaruh balok A keatas meja.

Predikat pada Block World:

  • ON(A,B): berarti balok A berada diatas balok B.
  • ONTABLE(A): berarti balok A berada diatas meja.
  • CLEAR(A): berarti tidak ada balok lain diatas balok A.
  • HOLDING(A): berarti tangan sedang memegang balok A.
  • ARMEMPTY: berarti tangan sedang tidak memegang balok.

Setidaknya ada 2 metode Goal Stack Planning yaitu:

  1. Linear
  2. Non-Linear

Langkah-langkah Linear:

  1. Mendefinisikan predikat-predikat pada kondisi akhir dan awal.
  2. Mulailah membuka predikat-predikat pada kondisi akhir sampai sesuai dengan kondisi awal.
  3. Hubungkanlah precondition dan postcondition sama.

Contoh Goal Stack Planning Linear:

Kondisi Awal Kondisi Awal Kondisi Akhir Kondisi Akhir

Linear

Langkah-langkah Non-Linear:

  1. Step Addition: Menambah langkah baru.
  2. Promotion: Membandingkan langkah mana yang harus terlebih dulu dijalankan.
  3. Declobbering: Menyisipkan langkah baru diantara dua langkah.
  4. Simple Establishment: Memberikan nilai ke suatu variable untuk memastikan precondition dari beberapa langkah.
  5. Separation: Mencegah pemberian nilai ke suatu variabel.

Contoh Goal Stack Planning Non-Linear (berdasarkan kondisi diatas):

Non-Linie

Sekian dulu untuk Goal Stack Planning kali ini.

Terima kasih sudah meyempatkan waktu untuk membaca ini :D.

www.binus.ac.id

Written by winstonang in: Uncategorized |
Mar
30
2014
0

First Order Logic

Apa itu First Order Logic? First Order Logic adalah sebuah teknik untuk membuktikan apakah suatu pernyataan itu benar atau salah berdasarkan dari data-data yang ada.

First Order Logic mengasumsikan dunia ini terdiri atas:

  • Objects: manusia, mobil, rumah.
  • Relations: kakak dari, lebih dari, bagian dari.
  • Functions: teman baik, tambah.

Simbol logis pada First Order Logic:

Logical Symbol

Kalimat Atomic: predikat(term[1],…,term[n]).

Kalimat Complex: gabungan antara kalimat atomic yang diberikan relasi.

Contoh FOL (Backward Chaining):

Ini kalimat awal

 Contoh Awal

Diubah menjadi Proposition

Contoh FOL

Proof dengan Backward Chaining

Contoh Backward

Contoh FOL (Proof By Resolution):

Ubah Proposition menjadi Normal Clause Form

Contoh resolution

Proof by Resolution

Contoh Resolusi akhir

www.binus.ac.id

Written by winstonang in: Uncategorized |
Mar
29
2014
0

Hello world!

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 🙂

Written by winstonang in: Uncategorized |

Powered by WordPress. Theme: TheBuckmaker. Zinsen, Streaming Audio