Perkenalan. Kuliah Kecerdasan Buatan Semester genap 2006/2007. Feb 28, KB-Slide-01

Transkripsi

1 Perkenalan Kuliah Kecerdasan Buatan Semester genap 2006/2007 Feb 28,

2 Pendahuluan Bahasa Prolog Hubungan keluarga Kesimpulan #1 Aturan Kesimpulan #2 Materi Feb 28,

3 Pendahuluan [1] Kecerdasan buatan = ilmu untuk membuat komputer melakukan hal 2 yg terlihat cerdas Jk komputer makin cerdas maka makin berguna untuk membantu manusia Krn 'cerdas' adl kata yg kabur mk AI adl bidang yg tidak terdefinisikan scr tegas: teknik pemrograman yg canggih utk persoalan2 yg sulit & tdk dpt diselesaikan scr mudah pemecahan masalah secara non-numerik mirip manusia dgn akal-sehat Feb 28,

4 Pendahuluan [2] Artificial Intelligence (AI) membuat komputer... mampu berkomunikasi dlm bahasa manusia (bahasa alamiah) mampu mengingat banyak fakta & menarik kesimpulan (penyimpulan) mampu merencanakan deretan langkah 2 utk mencapai sasaran (perencanaan) mampu memberikan saran berdasarkan aturan 2 yg ruwet utk berbagai situasi (sistem pakar) mampu melihat via kamera & mencerna apa yg terlihat (penglihatan) mampu bergerak & memindahkan benda 2 (robotik) Feb 28,

5 Bahasa Prolog [1] Prolog = programming in logic: bhs berdasarkan pencocokan pola (pattern matching) struktur data berbentuk pohon/tree pelacakan-balik (backtracking) yg otomatis Prolog cocok untuk menyelesaikan persoalan yg berkaitan dgn obyek 2 (yg terstruktur) dan relasi antar-obyek Jk X lebih dekat ke pengamat daripada Y & Y lebih dekat drpd Z mk X lebih dekat daripada Z Feb 28,

6 Bahasa Prolog [2] Prolog dikembangkan Robert Kowalski (teori), Maarten van Emden (demo), Alain Colmeraue & David Warren (implementasi) pd 1970-an Prolog dpt dipakai utk mengimplementasikan AI pemecahan masalah & penelusuran heuristic sistem pakar memainkan games sistem yg terbimbing oleh pola Feb 28,

7 Hubungan Keluarga [1] Fakta: hubungan ortu ortu(pam, bob). ortu(tom, bob).... Pertanyaan 1:?- ortu(bob, pat). yes Pertanyaan 2:?- ortu(x, liz). X = tom Feb 28,

8 Pertanyaan 3: Hubungan Keluarga [2]?- ortu(bob, X). X = ann ; X = pat Pertanyaan 4:?- ortu(x, Y). X = pam Y = bob ;... Feb 28,

9 Pertanyaan 5: Hubungan Keluarga [3]?- ortu(y, jim), ortu(x, Y). X = bob Y = pat Pertanyaan 6:?- ortu(tom, X), ortu(x, Y). X = bob Y = ann ; Feb 28,

10 Kesimpulan #1 [1] Dgn Prolog, hubungan dpt mudah didefinisikan sbg obyek 2 dgn n komp yg memenuhi hub tsb Pengguna dgn mudah mempertanyakan sistem Prolog ttg hubungan 2 yg tlh didefinisikan Program Prolog tersusun dr klausa 2 yg diakhiri dengan tanda-baca 'titik' Argumen2 dari obyek dapat berupa: obyek konkrit atau tetapan (tom, ann) atom obyek umum (X, Y) variabel Feb 28,

11 Kesimpulan #1 [2] Pertanyaan pd sistem Prolog terdiri dr 1 sasaran (goal) atau lebih, seperti: ortu(x, ann), ortu (X, pat). yang berarti gabungan dari dua sasaran: X adalah orang tua dari ann, dan X adalah orang tua dari pat Jawaban thdp pertanyaan dpt positif atau negatif positif sasaran dapat dipenuhi = berhasil negatif sasaran tidak dapat dipenuhi = gagal Feb 28,

12 Kesimpulan #1 [3] Jika beberapa jawaban dpt memenuhi suatu pertanyaan maka Prolog akan menemukan jawaban sebanyak yang diinginkan pengguna Feb 28,

13 Aturan [1] Penambahan fakta 2 hubungan pria & wanita: wanita(pam). wanita(liz). wanita(ann). wanita(pat). pria(bob). pria(tom). pria(jim). Hub unary & binary Alternatif pernyataan kelamin(pam, wanita). Penambahan hub baru: anak(liz, tom). Namun, lebih baik memakai aturan (rule) Feb 28,

14 Aturan [2] Krn hub anak adl kebalikan dr hub ortu maka anak(y, X) :- ortu(x, Y) yg dibaca: Utk semua X & Y, jika X adalh orang tua dari Y maka Y adalah anak dari X Fakta vs aturan Fakta selalu benar tanpa syarat Aturan menyatakan sesuatu benar jikalau syaratnya dipenuhi bagian syarat pd sebelah kanan tanda :- body bagian kesimpulan pd sebelah kiri tanda :- head Feb 28,

15 Pertanyaan: Aturan [3]?- anak(liz, tom) krn tdk ada fakta yg sesuai, mk akan memicu aturan anak(y, X) :- ortu(x, Y) sehingga variabel 2 menjadi terikat (instantiated) X = tom dan Y = liz Bagian syarat dari aturan kini berubah menjadi ortu(tom, liz) dan Prolog akan memastikan kebenaran syarat tsb Feb 28,

16 Aturan [4] Penambahan hubungan keluarga yang lain: Untuk semua X dan Y, X adalah ibu dari Y jika X adalah orang tua dari Y dan X adalah wanita Pernyataan logika di atas diterjemahkan menjadi ibu(x, Y) :- ortu(x, Y), wanita(x). tanda-baca koma di antara syarat 2 menyatakan operasi AND (konjungsi) Feb 28,

17 Aturan [5] Berbagai hub keluarga dpt digambarkan sbb Jk relasi yg dilambangkan dgn garis-tebal berlaku maka yg dilambangkan dgn garis-putus juga berlaku Feb 28,

18 Aturan [6] Hubungan saudara perempuan: sdr_prmp(x, Y) :- ortu(z, X), ortu(z, Y), wanita(x). Pertanyaan:?- sdr_prmp(x, pat). akan menimbulkan salah satu jawaban X = pat Feb 28,

19 Kesimpulan #2 [1] Program Prolog dpt diperluas dgn menambahkn klausa 2 baru Ada 3 jenis klausa Prolog: fakta mendeklarasikan hal 2 yang benar tanpa syarat aturan mendeklarasikn hal 2 yg benar jika memenuhi syarat pertanyaan dengannya pengguna menanyakan hal 2 yg benar Head & body berbagai klausa Prolog: Feb 28,

20 Kesimpulan #2 [2] Fakta = klausa dgn body yg kosong Pertanyaan = klausa dgn body saja Aturan = klausa dgn head & body yg tdk kosong Variabel menjadi terikat atau instantiated jikalau disulihkan dengan obyek lainnya Variabel 2 dianggap berlaku scr semesta & dibaca untuk semua (for all) namun dimungkinkan pembacaan alternatif utk variabel 2 yg hanya ada pd body saja punya_anak(x) :- ortu(x, Y). Feb 28,