representasi pengetahuan - logika
DESCRIPTION
REPRESENTASI PENGETAHUAN - LOGIKA. PENDAHULUAN. Hampir semua aplikasi Kecerdasan Buatan tersusun dari dua bagian pokok, yaitu basis pengetahuan ( knowledge base ) dan mekanisme inferensi ( inference mechanism ). - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/1.jpg)
REPRESENTASI PENGETAHUAN - LOGIKA
![Page 2: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/2.jpg)
2
PENDAHULUAN• Hampir semua aplikasi Kecerdasan Buatan tersusun dari
dua bagian pokok, yaitu basis pengetahuan (knowledge base) dan mekanisme inferensi (inference mechanism).
• Basis pengetahuan berisi fakta-fakta tentang objek dalam domain yang ditentukan dan saling hubungannya satu sama lain. Basis pengetahuan juga bisa berisi pikiran, teori, prosedur praktis dan saling hubungannya.
• Basis pengetahuan membentuk sumber sistem kecerdasan dan digunakan oleh mekanisme inferensi untuk melakukan penalaran dan menarik kesimpulan.
• Mekanisme inferensi adalah suatu rangkaian prosedur yang digunakan untuk menguji pangkalan pengetahuan dengan cara yang sistematik pada saat menjawab pertanyaaan, memecahkan persoalan atau membuat keputusan dalam suatu domain yang telah ditentukan.
![Page 3: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/3.jpg)
3
Skema Representasi Pengetahuan• Proses pengumpulan dan pengorganisasian pengetahuan disebut rekayasa pengetahuan (knowledge engineering).
• Proses ini barangkali merupakan langkah yang paling sulit dan memerlukan waktu yang banyak dalam pembuatan program Kecerdasan Buatan.
• Representasi skema pengetahuan memiliki dua karakteristik umum :• Bisa diprogram dengan bahasa komputer yang ada dan
disimpan dalam memori.• Dirancang agar fakta-fakta dan pengetahuan lain yang
terkandung di dalamnya bisa digunakan untuk penalaran.
![Page 4: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/4.jpg)
4
Skema Representasi Pengetahuan• Skema representasi pengetahuan secara umum
dikategorikan sebagai deklaratif atau prosedural • Skema deklaratif digunakan untuk menggambarkan fakta-
fakta pernyataan (assertion). Termasuk metoda ini adalah logika (logic), jaringan semantik (semantic networking), bingkai (frame) dan naskah (script).
• Skema prosedural berhubungan dengan aksi dan prosedur. Skema representasi pengetahuan prosedural meliputi prosedur atau upa rutin dan kaidah produksi.
• Kunci keberhasilan setiap pembuatan program Kecerdasan Buatan tertelak pada pemilihan skema representasi pengetahuan yang paling baik dan paling tepat serta yang sesuai dengan domain pengetahuan serta masalah yang akan dipecahkan
![Page 5: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/5.jpg)
5
Logika (Logic)
• Merupakan bentuk representasi pengetahuan yang paling tua.
• Logika merupakan suatu pengkajian ilmiah tentang serangkaian penalaran, sistem kaidah dan prosedur yang membantu proses penalaran
![Page 6: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/6.jpg)
6
Logika (Logic)• Terdapat dua bentuk dasar penalaran dalam logika untuk
membuat inferensi yang diambil dari premis:1. Deduktif
Penalaran ini bergerak dari prinsip/premis umum menuju konklusi khusus. Proses deduktif umumnya dimulai dari suatu silogisme atau pernyataan premis dan inferensi. Proses deduktif umumnya terdiri dari tiga bagian : premis mayor, premis minor, dan konklusi.
Contoh:Premis mayor : Jika Hujan turun, saya tidak akan lari pagi.Premis minor : Pagi ini hujan turun.Konklusi : Oleh karena itu, pagi ini saya tidak akan lari
pagi.
![Page 7: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/7.jpg)
7
Logika (Logic)2. Induktif
Penalaran induktif dimulai dari masalah khusus menuju ke masalah umum. Atau dengan perkataan lain, penalaran induktif menggunakan sejumlah fakta atau premis yang mantap untuk menarik kesimpulan umum.
Contoh:Premis 1 : Dioda yang salah menyebabkan peralatan
elektronik rusak.Premis 2 : Transistor rusak menyebabkan elektronik rusak.Premis 3 : Sirkuit terpadu (IC) rusak menyebabkan peralatan
elektronik tidak berfungsi.Konklusi : Maka, peralatan semi-konduktor rusak merupakan
penyebab utama rusaknya peralatan elektronik
![Page 8: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/8.jpg)
8
LOGIKA KOMPUTASIONAL• Dalam melaksanakan penalaran menggunakan logika, sebuah komputer harus menggunakan konversi silogisme dan proses penalaran deduktif atau induktif ke dalam bentuk yang sesuai dengan manipulasi komputer.
• Hal ini merupakan sistem kaidah dan prosedur yang memungkinkan komputer bisa menarik inferensi dari berbagai premis yang menggunakan berbagai teknik logika. Metoda ini dikenal dengan logika komputasional (computational logic).
• Logika komputasional memiliki dua bentuk1.Logika Proposisional / Kalkulus Proposisional 2.Logika Predikat / Kalkulus Predikat
![Page 9: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/9.jpg)
9
LOGIKA PROPOSISIONAL• Suatu proposisi tidak lebih daripada suatu
pernyataan (statement) yang menyatakan benar atau salah.
• Ini merupakan premis yang dapat digunakan untuk memperoleh proposisi baru atau inferensi. Kaidah ini digunakan untuk menentukan benar atau salah suatu proposisi baru.
• Suatu proposisi, premis atau kaidah disimbolkan dengan menggunakan huruf besar. Misalnya,
A = Tukang pos mengantar surat mulai senin sampai Sabtu
B = Hari ini Hari MingguC = Maka, hari ini tukang pos tidak mengantar surat
![Page 10: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/10.jpg)
10
LOGIKA PROPOSISIONAL
• Dua atau lebih proposisi bisa digabungkan dengan menggunakan penghubung logika/operator logika, yaitu and, or, not dan implies.
• Penggunaan penghubung / operator logika ini sama dengan penggunaan aljabar Boolean
• Contoh:1. A = Hari ini hujan
Not A = Hari ini tidak hujan
![Page 11: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/11.jpg)
11
LOGIKA PROPOSISIONAL2. A = Mobil saya berwarna hitam
B = Mesin mobil berwarna hitam itu 6 silinderC = A and B
= Mobil saya berwarna hitam dan mesinnya 6 silinder
3. Sebuah perusahaan akan menerima karyawan baru dengan syarat :• Seorang wanita berusia tidak lebih dari 25 tahun and• Lulusan InformatikaDengan demikian, seorang pelamar baru bisa diterima menjadi karyawan bila kedua syarat tersebut dipenuhi.
![Page 12: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/12.jpg)
12
LOGIKA PROPOSISIONAL4. A = Seorang wanita berusia tidak lebih dari 25
tahunB = Lulusan InformatikaC = A or BMaka cukup salah satu persyaratan dipenuhi, seseorang dapat diterima sebagai karyawan.
• Bentuk or ini dikenal dengan inclusive or. • Bentuk or yang lain adalah exclusive or. Or
eksklusif bernilai benar jika salah satu prososisi awal bernilai benar tapi tidak keduanya sekaligus. Notasi yang digunakan untuk eksklusif or adalah xor
![Page 13: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/13.jpg)
13
LOGIKA PROPOSISIONAL5. A = Mobil rusak
B = Saya tidak bisa naik mobilC = A implies B
= Mobil rusak, ‘karena itu’ saya tidak bisa naik mobil.
= If mobil rusak, then saya tidak bisa naik mobil.
• Karena masih berkaitan dengan pernyataan, kemampuan logika proposisional untuk merepresentasikan pengetahuan dalam kehidupan nyata dengan benar masih diragukan atau setidaknya masih terbatas.
![Page 14: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/14.jpg)
14
LOGIKA PREDIKAT• Logika predikat seluruhnya menggunakan konsep dan kaidah logika proposisional yang sama.
• Logika predikat dapat memecah pernyataan ke dalam bagian komponen yang disebut obyek, karakteristik obyek, atau beberapa keterangan obyek.
• Logika predikat dapat menggunakan variabel dan fungsi variabel di dalam pernyataan logika simbolik. Dengan demikian, logika simbolik dapat diterapkan untuk pemecahan masalah-masalah praktis.
![Page 15: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/15.jpg)
15
LOGIKA PREDIKAT• Dalam kalkulus predikat, suatu proposisi atau premis dibagi menjadi 2 bagian, yaitu:• argumen (obyek), dan• predikat (keterangan / karakteristik)
• Argumen adalah individu atau obyek yang membuat keterangan. Dalam bahasa Inggris, obyek dan individu merupakan kata benda yang berfungsi sebagai subyek dan obyek suatu kalimat (sentence).
• Dalam sebuah kalimat, predikat bisa berupa kata kerja atau bagian kata kerja.
• Untuk membuat suatu proposisi, keduanya (argumen dan predikat) digabungkan
![Page 16: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/16.jpg)
16
LOGIKA PREDIKATBentuk umum logika predikat :predikat (individu[obyek]_1, individu[obyek]_2)Contoh:1. Proposisi : Jhony mencintai Marry.
Ekspresi kalkulus predikat : mencintai(Jhony, Mary).Mencintai -> produk (keterangan)Jhony -> argumen (obyek)Mary -> argumen (obyek)
2. Proposisi : Baju disimpan di lemari.Ekspresi kalkulus predikat : disimpan_di(lemari, baju).
3. Proposisi : Mobil berada di dalam garasi.Ekspresi kalkulus predikat : di_dalam(mobil, garasi).
![Page 17: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/17.jpg)
17
LOGIKA PREDIKAT
• Dalam banyak hal, predikat mungkin hanya mempunyai satu argumen saja.
Contoh:
1. Proposisi : Pintu terbuka.
Ekspresi kalkulus predikat : buka(pintu).
2. Proposisi : Ban gembos.
Ekspresi kalkulus predikat : gembos(ban).
3. Proposisi : Krishna adalah seorang laki-laki.
Ekspresi kalkulus predikat : laki-laki(Krishna).
![Page 18: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/18.jpg)
18
LOGIKA PREDIKAT
• Argumen dapat juga berupa peubah (variable).
Contoh:
4. Proposisi : Jhony suka Marry.
Bila Jhony = x, dan Marry = y, maka ekspresi kalkulus predikatnya : suka(x, y).
• Dengan menggunakan peubah, basis pengetahuan dapat terbentuk.
Pada contoh 4 di atas basis pengetahuannya ialah suka(x, y), yang berarti “x suka y”.
![Page 19: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/19.jpg)
19
LOGIKA PREDIKAT• Pengetahuan diekspresikan dalam kalkulus predikat yang bisa dimanipulasi agar menimbulkan inferensi
Contoh: Proposisi : Jhony suka Marry
Ramona suka MarryMisalkan Jhony = x, Marry = y, dan Ramona = z. Maka ekspresi suka(x,y) dan tidak suka(z,y) implies
tidak suka(x,z)menerangkan bahwa
“Jika Jhony suka Marry dan Ramona tidak suka Mary, maka Jhony tidak suka Ramona”
![Page 20: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/20.jpg)
20
LOGIKA PREDIKAT• Pemberian nilai (assigning) nama individu atau obyek
tertentu kepada suatu peubah dinamakan instansiasi. • Individu atau obyek itu menjadi suatu “instance” (contoh)
variabel tersebut. • Pada contoh di atas, variabel untuk Jhony, Marry, dan
Ramona adalah x, y, dan z.
![Page 21: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/21.jpg)
21
LOGIKA PREDIKAT• Pengukuraan kuantitas (quantifier) adalah simbol yang
mengijinkan untuk menyatakan suatu rangkaian atau cakrawala dalam suatu ekspresi logika.
• Ada dua pengukuran kuantitas yang digunakan, yaitu:1.Ukuran Kuantitas Universal.
Simbol yang digunakan , berarti “untuk semua” atau “untuk setiap”. Simbol ini menyatakan bahwa ekspresi berlaku secara universal benar, yaitu untuk semua nilai.
Contoh:Semua orang Texas adalah warga negara Amerika SerikatDengan quantifier ditulis(x)[Orang Texas(x), warga negara Amerika Serikat(x)]
![Page 22: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/22.jpg)
22
LOGIKA PREDIKAT2. Ukuran Kuantitas Eksistensial.
Simbol yang digunakan , berarti “terdapat” atau “ada”. Contoh:Beberapa mobil berwarna merahDengan quantifier ditulis(x)[mobil(x)dan berwarna merah(x)]• Apa yang telah diuraikan pada bagian di atas merupakan
suatu sistem untuk mengekspresikan pengetahuan (berupa fakta-fakta) ke dalam bentuk simbolik. Yang selanjutnya dilakukan adalah menggunakan simbol itu untuk membuat inferensi. Yakni bagaimana cara menggunakan pengetahuan itu untuk menjawab pertanyaan, menalar, atau menarik kesimpulan.
![Page 23: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/23.jpg)
23
LOGIKA PREDIKAT• Berbagai kaidah digunakan untuk memanipulasi ekspresi
logika dalam rangka membuat ekspresi baru. • Kaidah yang dimaksud diantaranya adalah modus ponens,
modul tollens, dan sillogisma. • Apabila proposisi awal benar maka – dengan langkah-
langkah yang correct – akan menghasilkan kesimpulan yang juga benar
![Page 24: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/24.jpg)
24
LOGIKA PREDIKAT• Pengetahuan prosedural dapat direpresentasikan dalam
bentuk logika predikat. • Pernyataan a1, a2, a3, . . ., an -> B dapat dipandang
sebagai prosedur yang digunakan untuk menghasilkan keadaan yang memenuhi kondisi B.
![Page 25: REPRESENTASI PENGETAHUAN - LOGIKA](https://reader033.vdocuments.pub/reader033/viewer/2022061616/56813321550346895d99f65c/html5/thumbnails/25.jpg)
25
The end and 10_Q