Pertemuan 10 REASONING PENALARAN Betha Nurina Sari M

Pertemuan 10 REASONING (PENALARAN) Betha Nurina Sari, M. Kom

KNOWLEDGE BASED SYSTEMS Knowledge Base : Representasi Inference Engine : Penalaran Perbedaan dengan sistem pakar hanya pada asal pengetahuannya saja

PENALARAN Kemampuan menalar menyebabkan manusia mampu mengembangkan pengetahuan Proses berpikir untuk mencapai Goal Suatu pola berpikir yang secara luas dapat disebut logika Proses analitik dari proses berpikirnya PENALARAN Manipulasi formal terhadap symbol untuk menjadi simbol baru

Teknik penyelesaian masalah dengan cara Merepresentasikan masalah ke dalam basis pengetahuan (knowledge base) Melakukan proses penalaran untuk membuat kesimpulan/keputusan menggunakan logic atau bahasa formal (bahasa yang dipahami oleh komputer)

Macam-macam Penalaran Silogisme Modus Ponens Modus Tollens Resolusi

RESOLUSI • Resolusi digunakan untuk melakukan inferensi pada logika proposisi • Suatu aturan untuk melakukan inferensi yang dapat berjalan secara efisien dalam suatu bentuk khusus yaitu conjunctive normal form (CNF)

CNF • Langkah-langkah untuk mengubah suatu kalimat (konversi) ke bentuk CNF : – Hilangkan implikasi dan ekuivalensi • x y menjadi ¬ x y • x y menjadi (¬ x y) (¬ y x) – Kurangi lingkup semua negasi menjadi satu negasi saja • ¬ (¬ x) menjadi x • ¬ (x y) menjadi (¬ x ¬ y) – Gunakan aturan assosiatif dan distributif untuk mengkonversi menjadi conjuction of disjunction • Assosiatif : (A B) C menjadi A (B C) • Distributif : (A B) C menjadi (A C) (B C) – Buat satu kalimat terpisah untuk tiap-tiap konjungsi

Contoh Resolusi: • Diketahui basis pengetahuan (fakta-fakta yang bernilai benar) : 1. P 2. (P Q) R 3. (S T) Q 4. T • Tentukan kebenaran R TR 8

Penyelesaian Contoh Resolusi 1. Ubah ke dalam bentuk CNF TR 9

• Tambahkan Kontradiksi (-R) pada tujuannya, sehingga fakta dalam CNF menjadi : 1. P 2. (P Q) R 3. (S T) Q 4. T 10

Contoh: 1. 2. 3. 4. 5. Andi adalah seorang mahasiswa Andi masuk jurusan elektro Setiap mahasiswa elektro pasti mahasiswa teknik Kalkulus adalah matakuliah yang sulit Setiap mahasiswa teknik pasti akan suka kalkulus atau akan membencinya 6. Setiap mahasiswa pasti akan suka terhadap suatu matakuliah 7. Mahasiswa yang tidak pernah hadir pada kuliah matakuliah sulit, maka mereka pasti tidak suka terhadap matakuliah tersebut 8. Andi tidak pernah hadir kuliah matakuliah kalkulus 11

1. Andi adalah seorang mahasiswa 2. Andi masuk jurusan elektro 3. Setiap mahasiswa elektro pasti mahasiswa teknik 4. Kalkulus adalah matakuliah yang sulit 5. Setiap mahasiswa teknik pasti akan suka kalkulus atau akan membencinya 6. Setiap mahasiswa pasti akan suka terhadap suatu matakuliah 7. Mahasiswa yang tidak pernah hadir pada kuliah matakuliah sulit, maka mereka pasti tidak suka terhadap matakuliah tersebut 8. Andi tidak pernah hadir kuliah matakuliah kalkulus 1. 2. 3. 4. 5. mahasiswa(Andi) elektro(Andi) x : elektro(x) → teknik(x) sulit(Kalkulus) x : teknik(x) → suka(x, kalkulus) benci(x, kalkulus) 6. x : y : suka(x, y) 7. x : y : mahasiswa(x) sulit(y) ¬hadir(x, y) → ¬suka(x, y) 8. ¬hadir(andi, kalkulus) 12

“Apakah andi suka matakuliah kalkulus ? ” Gunakan penalaran backward : 13

Contoh lain: TR 14

TR 15

PENALARAN Rule based Penalaran Case based Forward Chaining Backward Chaining Machine Learning

SOAL LOGIKA PREPOSISI • Ada 4 mahasiswa yang diskusi di Pendopo Fasilkom. Mereka adalah Andi, Budi, Cinta dan Dinda. Ada dari mereka adalah mahasiswa Fasilkom Unsika. Informasi tentang mereka: – Jika Andi adalah mahasiswa Fasilkom Unsika, maka Budi juga – Jika Andi adalah mahasiswa Fasilkom Unsika, maka Cinta juga. Begitu juga sebaliknya. – Jika Budi bukan mahasiswa Fasilkom Unsika, maka Dinda mahasiswa Fasilkom – Jika Andi adalah mahasiswa Fasilkom Unsika, maka Dinda juga – Jika Budi adalah mahasiswa Fasilkom Unsika, maka Cinta mahasiswa Fasilkom dan Dinda bukan mahasiswa Fasilkom Siapa di antara yang merupakan mahasiswa Fasilkom Unsika?

INFERENSI • Diberikan pernyataan-pernyataan berikut: • jika Budi mengirim email pada Candra, maka Candra akan mengerjakan tugas PIB”, • “jika Budi tidak mengirim email pada Candra, maka Candra akan bermain komputer hingga tengah malam”, • “jika Candra bermain komputer hingga tengah malam, maka Candra akan mengantuk di kelas Web. ” • Kesimpulan “jika Candra tidak mengerjakan tugas PIB, maka Candra akan mengantuk di kelas Web. ”

RESOLUSI • Diberikan pernyataan-pernyataan berikut: • “jika hari ini turun salju, maka Anto bermain ski”, • “jika hari ini tidak turun salju maka Joko bermain hoki. ” • Apa kesimpulan dari dua informasi di atas?

NEXT PERTEMUAN 11: PENGANTAR SISTEM PAKAR