Tools Pembangun Sistem Pakar

Transkripsi

1 Pengenalan PROLOG

2 Tools Pembangun Sistem Pakar Language LISP Prolog CLIPS Planner Conniver Popler OPS5 AMORD SAIL LOGO Smaltalk Shell EXSYS PC+ CRYSTAL 1stClass EXPERT EASE INSIGHT2+ e2glite

3 Dasar-Dasar Prolog Fakta dan Relasi Prolog terdiri dari kumpulan data-data obyek yang merupakan suatu fakta Fakta selalu benar(true) Dalam prolog, fakta dibedakan menjadi 2 macam: Menunjukkan relasi Menunjukkan milik/ sifat Contoh: Slamet adalah ayah Amin ayah(slamet,amin). Anita adalah wanita wanita(anita).

4 Aturan (Rules) Suatu pernyataan yang menunjukkan bagaimana faktafakta berinteraksi satu dengan yang lain untuk membentuk suatu kesimpulan Dinyatakan sebagai suatu kalimat bersyarat Contoh : Fakta : Tino suka apel Aturan : Yuli suka sesuatu yang disukai Tino Dalam prolog ditulis : suka(tino,apel). suka(yuli,sesuatu) if suka(tino,sesuatu).

5 Pertanyaan (Query) Untuk mengajukan pertanyaan, misal : Apakah Tini suka boneka? Dalam prolog ditulis : suka(tini,boneka). Prolog akan memberikan jawaban : Yes Jika pertanyaannya suka(tini,mobil-mobilan). Prolog akan memberikan jawaban : No

6 Prolog juga mampu memberikan jawaban atas pertanyaan apakah, siapakah, dan lain-lain Misal : Apakah yang disukai Tini? suka(tini,apa). Prolog akan memberikan jawaban : Apa = boneka Siapakah yang suka boneka? suka(siapa,boneka). Siapa = tini

7 Struktur Program Prolog Program Turbo Prolog 2.0 terdiri dari 4 bagian utama : DOMAINS PREDICATES CLAUSES GOAL

8 Domains Berisideklarasi(pernyataan) tentangjenisdata yang digunakan dalam fakta dan aturan Ada 6 buah domain standar: Integer : sampai Real : 1e-307 sampai1e+308 Char String Symbol : kumpulan karakter yang diawali dengan huruf kecil File : digunakan untuk operasi file Dapat pula mendefinisikan domain lain yang terdiri dari domain standar

9 Predicates / Predikat Nama simbolik untuk relasi ayah(slamet,amin). Predikat dari fakta diatas ditulis: ayah(symbol,symbol) Slamet dan amin disebut argumen Jumlah argumen disebut aritas(arity) Ditulis tanpa diakhiri tanda titik Syarat penulisan nama predikat: Diawali huruf kecil dan dapat diikuti huruf, angka, atau garis bawah Panjang nama maksimum 250 karakter Tidak diperbolehkan menggunakan spasi, tanda minus, tanda bintang, dan garis miring.

10 Clauses (Klausa) Berisi fakta dan aturan yang membentuk keseluruhan program Mirip prosedur pada bahasa pemrograman lain Bagian fakta umumnya ditulis sebelum bagian aturan Fakta dan aturan yang mempunyai relasi yang sama harus dituliskan berkelompok Fakta/aturanditulismulaidarifakta/aturanyang paling atas kemudian urut ke bawah Kemungkinan yang lebih besar ditempatkan lebih awal daripada kemungkinan yang lebih kecil

11 Contoh penulisan yang salah : ayah(slamet,amin). ayah(slamet,anang). kakek(slamet,budi). ayah(amin,budi). Contoh penulisan yang benar : ayah(slamet,amin). ayah(slamet,anang). ayah(amin,budi). kakek(slamet,budi). Pernyataan if ditulis dengan simbol :- suka(ira, Sesuatu) :- suka(anton,sesuatu)

12 Goal / Tujuan Berisipertanyaanyang diajukankepadaturbo Prolog Dapat terdiri dari beberapa bagian yang disebut subgoal 2 jenisgoal : Goal eksternal: goal yang diberikanmelaluicompiler, dituliskan dalam jendela Dialog Goal internal : goal yang dituliskan sekaligus dalam program GOAL : ayah(slamet,badu) True.

13 Goal Majemuk Goal yang terdiri lebih dari satu pernyataan Bagian goal tersebut disebut sub goal GOAL : mobil(merk,warna,harga), Harga < 50. GOAL : mobil(merk,warna,harga), Warna = merah, Harga < 35.

14 Variabel Besaran yang nilainya dapat berubah-ubah GOAL : ayah(x,didi) X = anang X adalah variabel Tata cara penulisan variabel Harusdiawalihurufbesarataugarisbawah(_) Dapat terdiri dari huruf, angka atau simbol dan merupakan satu kesatuan Panjang maksimum 250 karakter Hendaknyamengandungmaknayang berkaitandengandata yang dinyatakannya

15 3 macam variabel Variabel bebas (free variable) Variabel terikat (bound variable) Variabel tak bernama (anonymous variable) GOAL : ayah(ayah,amin), ayah(ayah,anang) GOAL : ayah(ayah,_) Anonymous variable

16 Referensi FaridAzisbab4 Andrey Andoko bab 4