RESOLUSI TEKNIK INFERENSI
<ul><li>Inferensi pada logika proporsional dapat menggunakan resolusi </li></ul><ul><li>Harus dirubah dalam bentuk khusus:...
Konversi ke CNF <ul><li>Hilangkan implikasi dan ekuivalensi </li></ul><ul><ul><li>x -> y menjadi    x V y </li></ul></ul>...
RESOLUSI <ul><li>Konversi semua proposisi ke bentuk CNF </li></ul><ul><li>Negasikan P (Goal), dan konversikan hasil negasi...
Contoh <ul><li>Diketahui basis pengetahuan adalah: </li></ul><ul><li>JIKA Budi anak yang cerdas DAN Budi rajin belajar MAK...
<ul><li>P = Budi anak yang cerdas </li></ul><ul><li>Q = Budi rajin belajar </li></ul><ul><li>R = Budi menjadi juara kelas ...
Konversi logika ke bentuk CNF <ul><li>Diketahui basis pengetahuan adalah: </li></ul><ul><li>P </li></ul><ul><li>(P    Q) ...
Latihan <ul><li>Andi adalah seorang mahasiswa </li></ul><ul><li>Andi mahasiswa Paket B </li></ul><ul><li>Setiap mahasiswa ...
Logika Predikat <ul><li>Mahasiswa(Andi) </li></ul><ul><li>PaketB(Andi)  </li></ul><ul><li> x: paketB(x) -> elektro(x) </l...
CNF <ul><li>Mahasiswa(Andi) </li></ul><ul><li>PaketB(Andi) </li></ul><ul><li>~PaketB(X) V Elektro(X) </li></ul><ul><li>MKs...
CNF
Resolusi
Upcoming SlideShare
Loading in …5
×

CNF

1,822 views

Published on

Materi Kuliah Sistem Pakar Teknik Elektro Universitas Brawijaya

Published in: Education, Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
1,822
On SlideShare
0
From Embeds
0
Number of Embeds
8
Actions
Shares
0
Downloads
63
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

CNF

  1. 1. RESOLUSI TEKNIK INFERENSI
  2. 2. <ul><li>Inferensi pada logika proporsional dapat menggunakan resolusi </li></ul><ul><li>Harus dirubah dalam bentuk khusus: Conjunctive Normal Form (CNF) </li></ul><ul><li>Ciri-ciri CNF: </li></ul><ul><ul><li>Setiap kalimat adalah disjungsi literal </li></ul></ul><ul><ul><li>Semua kalimat terkonjungsi secara implisit </li></ul></ul>
  3. 3. Konversi ke CNF <ul><li>Hilangkan implikasi dan ekuivalensi </li></ul><ul><ul><li>x -> y menjadi  x V y </li></ul></ul><ul><ul><li>x <-> y menjadi (  x V y)  (  y V x) </li></ul></ul><ul><li>Kurangi lingkup semua negasi menjadi satu negasi saja </li></ul><ul><ul><li> (  x) menjadi x </li></ul></ul><ul><ul><li> (x V y) menjadi (  x   y) </li></ul></ul><ul><ul><li> (x  y) menjadi (  x V  y) </li></ul></ul><ul><li>Gunakan aturan assosiatif dan distributif mengkonversi menjadi conjunction of disjunction </li></ul><ul><ul><li>Asosiatif: (A V B) V C = A V (B V C) </li></ul></ul><ul><ul><li>Distributif: (A  B) V C = (A V C)  (B V C) </li></ul></ul>
  4. 4. RESOLUSI <ul><li>Konversi semua proposisi ke bentuk CNF </li></ul><ul><li>Negasikan P (Goal), dan konversikan hasil negasi tersebut ke bentuk klausa. Tambahkan ke himpunan klausa yg telah ada pada langkah 1. </li></ul><ul><li>Kerjakan hingga terjadi kontradiksi atau proses tidak mengalami kemajuan lagi: </li></ul><ul><ul><li>Seleksi 2 klausa sebagai klausa parent </li></ul></ul><ul><ul><li>Bandingkan (resolve) secara bersama-sama. Klausa hasil resolve tersebut dinamakan resolvent. Jika ada pasangan literal L dan –L, eliminir dari resolvent </li></ul></ul><ul><ul><li>Jika resolvent berupa klausa kosong, maka ditermukan kontradiksi. Jika tidak, tambahkan ke klausa yang telah ada </li></ul></ul><ul><li>Kontradiksi -> Goal terbukti! </li></ul>
  5. 5. Contoh <ul><li>Diketahui basis pengetahuan adalah: </li></ul><ul><li>JIKA Budi anak yang cerdas DAN Budi rajin belajar MAKA Budi menjadi juara kelas </li></ul><ul><li>JIKA Budi boleh main Playstation ATAU Budi istirahatnya cukup MAKA Budi rajin belajar </li></ul><ul><li>Fakta </li></ul><ul><li>Budi anak yang cerdas </li></ul><ul><li>Budi boleh main Playstation </li></ul><ul><li>Buktikan apakah Budi bisa menjadi Juara Kelas! </li></ul>
  6. 6. <ul><li>P = Budi anak yang cerdas </li></ul><ul><li>Q = Budi rajin belajar </li></ul><ul><li>R = Budi menjadi juara kelas </li></ul><ul><li>S = Budi boleh main Playstation </li></ul><ul><li>T = Budi istirahatnya cukup </li></ul><ul><li>P </li></ul><ul><li>(P  Q) -> R </li></ul><ul><li>(S V T) -> Q </li></ul><ul><li>S </li></ul>
  7. 7. Konversi logika ke bentuk CNF <ul><li>Diketahui basis pengetahuan adalah: </li></ul><ul><li>P </li></ul><ul><li>(P  Q) -> R :  (P  Q) V R  P V  Q V R </li></ul><ul><li>(S V T) -> Q:  (S V T) V Q (  S   T) V Q = (  S V Q)  (  T V Q) </li></ul><ul><li>S </li></ul><ul><li>Buktikan kebenaran R! </li></ul>
  8. 8. Latihan <ul><li>Andi adalah seorang mahasiswa </li></ul><ul><li>Andi mahasiswa Paket B </li></ul><ul><li>Setiap mahasiswa Paket B adalah mahasiswa elektro </li></ul><ul><li>RE adalah mata kuliah yang sulit </li></ul><ul><li>Setiap mahasiswa elektro pasti akan suka RE atau benci RE </li></ul><ul><li>Setiap mahasiswa pasti akan suka suatu mata kuliah </li></ul><ul><li>Mahasiswa yang tidak pernah hadir pada kuliah mata kuliah sulit, maka mereka pasti tidak suka mata kuliah tersebut </li></ul><ul><li>Andi tidak pernah hadir matakuliah RE </li></ul><ul><li>Goal: Buktikan apakah Andi benci RE? </li></ul>
  9. 9. Logika Predikat <ul><li>Mahasiswa(Andi) </li></ul><ul><li>PaketB(Andi) </li></ul><ul><li> x: paketB(x) -> elektro(x) </li></ul><ul><li>Mk_sulit(RE) </li></ul><ul><li> x: elektro(x) -> suka(x,RE) V benci (x,RE) </li></ul><ul><li> x:  y: suka(x,y) </li></ul><ul><li> x:  y: mahasiswa(x)  MK_sulit(y)   hadir(x,y) -> benci(x,y) </li></ul><ul><li> hadir(Andi, RE) </li></ul><ul><li>Goal: benci (Andi, RE) </li></ul><ul><li>Rubah ke bentuk CNF dan buktikan Goal dengan teknik resolusi </li></ul>
  10. 10. CNF <ul><li>Mahasiswa(Andi) </li></ul><ul><li>PaketB(Andi) </li></ul><ul><li>~PaketB(X) V Elektro(X) </li></ul><ul><li>MKsulit(RE) </li></ul><ul><li>~elektro(X) V MKsulit(Y) V benci(X,RE) </li></ul><ul><li>Suka(X,Y) </li></ul><ul><li>~Mahasiswa(X) V ~MKsulit(Y) V hadir(X,Y) V ~suka(X,Y) </li></ul><ul><li>~hadir(Andi,RE) </li></ul><ul><li>~benci(Andi,RE)? </li></ul>
  11. 11. CNF
  12. 12. Resolusi

×