—Operator logika
- —Konjungsi : ^ (and)
- —Disjungsi : v (or)
- —Negasi : ¬ (not)
- —Implikasi : -> (if then)
- —Ekuivalensi : ↔ (jika dan hanya jika)
—Untuk melakukan inferensi pada logika proposisi --> resolusi : suatu aturan untuk melakukan inferensi yang dapat berjalan secara efisien dalam suatu bentuk khusus yaitu CNF (conjunctive normal form).
1. —Hilangkan implikasi dan ekuivalensi
• x -> y menjadi ¬ x ∨ y
• x ↔ y menjadi (¬ x ∨ y) ∧ (¬ y ∨
x)
—2. Kurangi lingkup semua negasi menjadi satu negasi saja • ¬ (¬ x) menjadi x
• ¬ (x ∨ y) menjadi (¬ x ∧ ¬ y)
• ¬ (x ∧ y) menjadi (¬ x ∨ ¬ y)
—3. 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)
—4. Buat satu kalimat terpisah untuk tiap-tiap konjungsi.
Diketahui basis pengetahuan (fakta-fakta yang bernilai benar) sebagai berikut :
1. P
2. (P ∧ Q) -> R
3. (S ∨ T) -> Q
4. T
Tentukan kebenaran R.
Untuk membuktikan kebenaran R dengan menggunakan resolusi,maka ubah dulu menjadi bentuk CNF.
Kemudian kita tambahkan kontradiksi pada tujuannya, R menjadi ¬ R sehingga fakta-fakta (dalam bentuk CNF) dapat disusun menjadi :
1. P
2. ¬ P ∨ ¬ Q ∨ R
3. ¬ S ∨ Q
4. ¬ T∨ Q
5. T
6. ¬ R
Sehingga resolusi dapat dilakukan untuk membuktikan kebenaran R, sebagai berikut :
Contoh bila diterapkan dalam kalimat :
—P: Ani anak yang cerdas
—Q: Ani rajin belajar
—R: Ani akan menjadi Juara Kelas
—S: Ani makannya banyak
—T: Ani istirahatnya cukup
Kalimat yang terbentuk :
- Ani anak yang cerdas
- —Jika ani anak yang cerdas dan ani rajin belajar, maka ani akan menjadi juara kelas
- —Jika ani makannya banyak atau ani istirahatnya cukup, maka ani rajin belajar
- Ani istirahatnya cukup
Setelah dilakukan konvers ke CNF di dapat :
- Fakta ke-2 : Ani tidak cerdas atau ani tidak rajin belajar atau ani akan menjadi juara kelas
- Fakta ke-3 : Ani tidak makan banyak atau ani rajin belajar
- —Fakta ke-4 : Ani tidak cukup istirahat atau ani rajin belajar
0 komentar:
Posting Komentar