Nama : Fajar Agsa Hatmal

NIM : 1810530165
Matkul: Sistem Pakar

R1 : if A and B then C R6 : if G and E then H

R2 : if C then D R7 : if C and H hen I

R3 : if A and E then F R8 : if I and then J

R4 : if A then G R9 : if G then J

R5 : if F and G then D R10 : if J then K

 Diketahui Fakta A&E benar, apakah hipotesis K benar?

 Dimulai dari R1 cari aturan mana yang memiliki konsekuen K, maka akan dapat ditemukan
pada R10. Untuk dapat membuktikan K benar, perlu dibuktikan bahwa J benar.
 Cari aturan yan memiliki konsekuen J benar mulai dari R1, ternyata ada pada R8.
Sedangkan hipotesis J benar, harus dibuktikan bahwa I & A benar, untuk membuktikan
kebenaran I ternyata ada pada R7.
 Untuk membuktikan I benar, perlu kita buktikan bahwa C & H benar. Karenanya kita cari
aturan degan konsekuen C benar, ada pada R1.
 Untuk membuktikan C benar di R1, kita perlu bukti A & B. A benar karena fakta,
sedangkan B tidak ada aturan dengan konsekuen B, sehingga Hipotesis K tidak dapat
dibuktikan.
 Lakukan backtracking! Kita ulangi lagi mencari pembuktian kebenaran C dengan mencari
aturan lain …. Ternyata tidak ditemukan.
 Ulangi backtracking lagi, mencari aturan dengan konsekuen I benar, juga tidak ada ( C & H
belum dapat dibuktikan ).
 Backtracking lagi untuk mencari konsekuen J, ternyata ditemukan di R9, sehingga perlu
kita buktikan kebenaran G.
 Kita dapatkan di R4 konsekuen G, Karena A fakta maka G benar. Dengan penalaran ini
bisa dibuktikan bahwa K bernilai “BENAR”
Tahap Penyelesaian :
Fakta

R10 R9 R4
K J G A