360 likes | 687 Views
REPRESENTASI PENGETAHUAN. Diema HS, S. Kom. REPRESENTASI PENGETAHUAN. Dalam representasi pengetahuan ada 2 hal yang harus diperhatikan : Fakta Formula. POLA REPRESENTASI PENGETAHUAN.
E N D
REPRESENTASI PENGETAHUAN Diema HS, S. Kom
REPRESENTASI PENGETAHUAN • Dalamrepresentasipengetahuanada 2 hal yang harusdiperhatikan : • Fakta • Formula
POLA REPRESENTASI PENGETAHUAN • SecarasingkatMylopoulosdan Levesque mengklasifikasikan susunan atau pola representasi menjadiempatkatagori : • Representasi Logika Representasi ini menggunakan ekspresi-ekspresidalamlogika formal untukmerepresentasikan basis pengetahuan. 2. RepresentasiProsedural – Menggambarkanpengetahuansebagaisekumpulaninstruksiuntukmemecahkansuatumasalah. Dalamsistem yang berbasisaturan, aturan if-then dapatditafsirkansebagaisebuahproseduruntuk mencapai tujuan pemecahan masalah.
POLA REPRESENTASI PENGETAHUAN (lanjutan) 3. Representasi Network – Menangkappengetahuansebagaisebuahgrafdimanasimpul-simpulnyamenggambarkanobyekataukonsepdalammasalah yang dihadapi, sedangkanlengkungan-lengkungannyamenggambarkanhubunganatauasosiasiantarmereka. • Contohadalahjaringansemantik. • .RepresentasiTerstruktur - Memperluas network dengancaramembuatsetiapsimpulnyamenjadisebuahstruktur data kompleks yang berisitempat-tempat bernama slot dengan nilai-nilai tertentu. Nilai-nilaiinidapatmerupakan data numerik atau simbolik sederhana, pointer ke bingkai (frame) lain, ataubahkanmerupakanproseduruntukmengerjakantugastertentu. • Contohadalahskrip (script), bingkai (frame) danobyek (object).
RepresentasiLogika • Padadasarnyaproseslogikaadalahmembentuksuatukesimpulanberdasarkanfakta-fakta yang ada. • Representasilogikaterdiridariduajenisyaitu: • Logikaproposisional ( Propositional logic ) • Logikapredikatif (Predicate logic).
LogikaProposisional (PropositionalLogic) • Proposisiadalahsuatu model untukmendeklarasikansuatufakta (suatupernyataan yang dapatbernilaibenar(B) atausalah(S). • Lambang-lambangproposisionalmenunjukkanproposisiataupernyataantentangsegalasesuatu yang dapatbenaratausalah.
LAMBANG –LAMBANG PROPOSISI Lambangpernyataanproposisional P,Q,R,S,T,... (disebutsebagai atom-atom) Lambang kebenaran Benar (True) , Salah (False) Lambangpenghubung • Konjungsi : (and) • Disjungsi : (or) • Implikasi : (if-then) • ekuivalensi: ↔ • Negasi : (not)
RESOLUSI (PembuktianTeorema) • Untuk menggunakan teori proposisi, maka digunakan ”Resolusi”, yaitu suatu aturan untukmelakukaninferensi yang dapatberjalansecaraefisiendalamsuatubentukkhusus yang disebut CNF (Conjunctive Normal Form). • Bentuk dan ciri-ciri CNF : • Setiapkalimatmerupakandisjungsi literal (OR) • Semuakalimatterkonjungsisecaraimplisit.
Langkah-langkahmengubahsuatukalimatkedalambentuk CNF • Hilangkanimplikasidanekuivalensi. • xymenjadixy • x↔ymenjadi (xy) (yx) • Kurangilingkupsemuanegasimenjadisatunegasisaja. • (x) menjadi x • (xy) menjadi (xy) • (xy) menjadi (xy) • Gunakanaturanasosiatifdandistributifuntukmengkonversimenjadiconjungtion of disjunction. • Asosiatif : (AB) C = A(BC) • Distributif : (AB) C = (AC)(BC) • Buatsatukalimatterpisahuntuktiap-tiapkonjungsi.
CONTOH Diketahui basis pengetahuan (fakta-fakta yang bernilaibenar) sebagaiberikut: 1. P 2. (P ∧ Q) R 3. (S ∨ T) Q 4. T Tentukankebenaran R. Untukmembuktikankebenaran R denganmenggunakanresolusi,makaubahdulumenjadibentuk CNF.
CONTOH Kemudiankitatambahkankontradiksipadatujuannya, R menjadi ¬ R sehinggafakta-fakta (dalambentuk CNF) dapatdisusunmenjadi : 1. P 2. ¬ P ∨ ¬ Q ∨ R 3. ¬ S ∨ Q 4. ¬ T∨ Q 5. T 6. ¬ R Sehinggaresolusidapatdilakukan untukmembuktikankebenaran R, sebagaiberikut
Contohbiladiterapkandalamkalimat • P: Ekoanak yang cerdas • Q: Ekorajinbelajar • R: EkoakanmenjadiJuaraKelas • S: Ekomakannyabanyak • T: Ekoistirahatnyacukup
Kalimat yang terbentuk • P : Ekoanak yang cerdas • (P ∧ Q) R : JikaEkoanak yang cerdasdanEkorajinbelajar, • makaEkoakanmenjadijuarakelas • (S ∨ T) Q : JikaEkomakannyabanyakatauEko • istirahatnyacukup, makaEkorajinbelajar • T :Ekoistirahatnyacukup
Setelahdilakukankonversi CNF, didapat: P : Ekoanak yang cerdas • ¬ P ∨ ¬ Q ∨ R : EkotidakcerdasatauEkotidakrajin • belajaratauEkoakanmenjadijuarakelas • ¬ S ∨ Q : Ekotidakmakanbanyak • atauEkorajinbelajar • ¬ T∨ Q : Ekotidakcukupistirahat • atauEkorajinbelajar • T : Ekoistirahatnyacukup • ¬ R : EkotidakakanmenjadiJuaraKelas
Pohonaplikasiresolusi Ekotidakcerdasatau Ekotidakrajinbelajaratau Ekoakanmenjadijuarakelas Ekotidakakanmenjadijuarakelas Eko tidak cerdas atau Eko tidak rajin belajar Eko anak yang cerdas Eko tidak cukup istirahat, atau Eko rajin belajar Eko tidak rajin belajar Eko tidak cukup istirahat, Eko istirahatnya cukup
LogikaPredikat • Logika predikat merupakan satu formula yang terdiri dari predikat, variabel dan konstanta • Logika predikat digunakan untuk merepresentasikan hal-hal yang tidak dapat di representasikan dengan menggunakan logika proposisi. • Pada logika predikat digunakan untuk merepresentasikan fakta-fakta sebagai suatu pernyataan yang disebut dengan wff(well- formed formula)
Contoh • WARNA (RUMAH, MERAH) : predikat ini menggambarkan warna rumah merah, dimana WARNA adalah predikat, RUMAH dan MERAH adalah suatu konstanta. • WARNA (x, MERAH) : x adalah variabel yang menyatakan sembarang benda yang berwarna merah • WARNA (x,y) : Predikat ini menyatakan suatu sifat warna antara variabel x dan y
Contoh Kalkulus predikat bersifat rangkaian seperti : • Konjungtif fakta : Amin tinggal di rumah yang berwarna kuning formula : TINGGAL (AMIN,RUMAH) ∧ WARNA(RUMAH,KUNING) • Disjungtif fakta : Amin bisa main biola atau piano Formula : MAIN (AMIN,BIOLA) V MAIN (AMIN,PIANO) • Negasi fakta : Amin tidak bisa main biola Formula : -MAIN(AMIN,BIOLA)
Contoh • Implikasi fakta : Amin mempunyai mobil biru (fakta tersebut mengandung arti bila Amin mempunyai mobil maka mobil itu berwarna biru) formula : PUNYA(AMIN,MOBIL_A)WARNA(MOBIL_A,BIRU) • Kuantifier (penghitung) kuantifier adalah suatu simbol dalam satu formula yang membenarkan formula itu dalam satu domain. misal : fakta : Amin punya mobil formula : PUNYA (x,y)
Contoh fakta tersebut bisa ditulis PUNYA(AMIN,MOBIL) dimana AMIN dan MOBIL adalah kuantifier dari variabel x dan y Kuantifier ini memiliki beberapa tipe yaitu : • Kuantifier universal dimana semua konstan membenarkan formula itu misal : fakta : semua kucing mempunyai empat kaki formula : (x) BINATANG(x,KUCING)KAKI(x,4) • Kuantifier yang berlaku untuk suatu keadaan saja misal : fakta : ada satu kucing berkaki tiga Formula : (x)BINATANG (x,KUCING) KAKI(x,3)
JaringanSemantik Implementasi Jaringan Semantik Penyakit Infeksi
FRAME (Bingkai) • Frame berupakumpulan-kumpulan slot-slot yang digunakanataumerupakanatributuntukmendeskripsikanpengetahuan. • Pengetahuan yang termuatdalam slot dapat berupa kejadian, lokasi, situasi ataupun elemen-elemen lain.
ELEMEN DASAR FRAME • Slot : merupakankumpulanatributatauproperti yang menjelaskanobjek yang direpresentasikanoleh frame • Subslot : menjelaskanpengetahuanatauprosedurdariatributpada slot
Isidari slot dalam frame • Informasiidentifikasi frame. • Hubungan frame dengan frame yang lain. • Penggambaran persyaratan yang dibutuhkan frame. • Informasiproseduraluntukmenggunakanstruktur yang digambarkan. • Informasi default frame. • Informasibaru
Bentukdarisubslot • Value : nilaidarisuatuatribut. • Default : nilai yang digunakanjika slot kosongatautidakdideskripsikanpadainstansiasi frame. • Range : jenisinformasi yang munculpada slot. • If added : berisiinformasitindakan yang akandikerjakanjikanilai slot diisi. • If needed : Facet (subslot) inidigunakanpadakasusdimanatidakada value pada slot. • Other : Slot dapatberisi frame, rule, jaringansemantikataupuntipe lain dariinformasi.
Script • Script merupakanskemarepresentasipengetahuan yang samadengan frame, Hanyasaja frame menggambarkanobjeksedangkan script menggambarkanurutanperistiwa • Penggambaranurutanperistiwapada script menggunakanserangkaian slot yang berisiinformasitentangorang, objekdantindakan-tindakan yang terjadidalamsuatuperistiwa
Elemen-elemen Script • Kondisi input : kondisi yang harusdipenuhisebelumterjadisuatuperistiwadalam script • Track : variasi yang mungkinterjadidalamsuatu script • Prop : obyek-obyekpendukung yang digunakanselamaperistiwaterjadi • Role : peran yang dimainkanolehseseorangdalamperistiwa • Scene : adegan yang dimainkan yang menjadibagiandarisuatuperistiwa • Hasil : kondisi yang adasetelahurutanperistiwadalam script terjadi.
LATIHAN • Buatlah representasi pengetahuan ke dalam bentuk logikal predikat : Misalterdapatpernyataanberikut : • Andiadalahseorangmahasiswa • AndimasukjurusanElektro • Setiap mahasiswa elektro pasti mahasiswa teknik • Kalkulusadalahmatakuliah yang sulit • Setiapmahasiswateknikpastiakansukakalkulusatauakanmembencinya • Setiapmahasiswapastiakansukaterhadapsuatumatakuliah • Mahasiswa yang tidakpernahhadirpadakuliahmatakuliahsulit, makamerekapastitidaksukaterhadapmatakuliahtersebut. • Andi tidak pernah hadir kuliah matakuliah kalkulus
LATIHAN • Buatlah script ujian tertulis mata kuliah sistem intelegensia