KECERDASAN BUATAN
Reasoning (Penalaran)
Propositional Logic (Propositional Calculus)
First-Order Logic (Predicat Calculus)
TIU:
Mahasiswa mengetahui tentang reasoning
TIK:
Mahasiswa mengetahui tata bahasa pada propositional logic
Mahasiswa mengetahui sematik
Mahasiswa dapat mengetahui aturan infrensi untuk propositional
logic
Mahasiswa dapat mengetahui tata bahasa pada First-order logic .
REASONING/PENALARAN
REFRESENTASI PENGETAHUAN
Logika Proposisi
Proposisi adalah suatu pernyataan yang dapat bernilai Benar atau
Salah.
Simbol-simbol seperti P dan Q menunjukkan proposisi.
Dua atau lebih proposisi dapat digabungkan dengan menggunakan
operator logika :
Konjungsi : ∧ (and)
Disjungsi : ∨ (or)
Negasi : ¬ (not)
Implikasi : (if then)
Ekuivalensi : ↔(if and only if)
Untuk melakukan inferensi pada logika proposisi dapat dilakukan dengan
menggunakan resolusi.
Resolusi adalah suatu aturan untuk melakukan inferensi yang dapat
berjalan secara efisien dalam suatu bentuk khusus yaitu conjunctive
normal form(CNF), ciri – cirinya :
setiap kalimat merupakan disjungsi literal
semua kalimat terkonjungsi secara implisit
Langkah-langkah 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)
¬(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)
Contoh: Diketahui basis pengetahuan (fakta-fakta yang bernilai benar)
sebagai berikut : P , ( P ∧ Q) R , ( S ∨ T ) Q d a n T
Tentukan kebe naran 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 be ntuk CNF) dapat disusun menjadi :
P
¬P ∨ ¬Q ∨ R
¬S ∨ Q
¬T ∨ Q
T
¬R
Sehingga resolusi dapat dilakukan untuk membuktikan kebenaran R,
sebagai berikut :
Contoh b i l a di te ra pk an da l a m k a l i ma t:
P : Ani anak yang cerdas
Q : Ani rajin belajar
R : Ani akan menjadi juara kelas
S : Ani makannya banyak
T : Ani istirahatnya cukup
Ka l i m a t ya ng te rbe ntu k :
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
Se te l a h d i l a k u k a n k on v e r si k e b e n tuk C NF, d i da pa t :
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
FIRST-ORDER LOGIC