Tugas Pengantar Kecerdasan Buatan ke-1

A. Representasikan pengetahuan atau fakta berikut menggunakan logika preposisi dan predikat preposisi

1. Karjo adalah seorang laki-laki

2. Karjo adalah orang Jawa

3. Karjo lahir tahun 1840

4. Setiap laki-laki pasti akan mati

5. Semua orang Jawa mati pada saat Krakatau meletus tahun 1883

6. Setiap orang pasti mati setelah hidup lebih dari 150 tahun

7. Sekarang tahun 2010

8. Mati berarti tidak hidup

9. Jika seseorang mati maka beberapa waktu kemudian ia pasti dinyatakan telah mati

B. Buktikan bahwa Karjo masih hidup atau sudah mati saat ini menggunakan penalaran Backward!

Jawaban :

A.

1. Laki-laki (Karjo)

2. Jawa (Karjo)

3. Lahir (Karjo,1840)

4. ∀x : laki-laki (x) → pasti mati (x)

5. Meletus (Krakatau, 1883) ∧ ∀x : [Jawa (x) → mati (x, 1883)]

6. ∀x : ∀thn1 : ∀thn2 : pasti mati (x) ∧ lahir (x, thn1) ∧ lahir (x, thn2) ∧ lebih dari (thn2 – thn1, 150) → mati (x, thn2)

7. Sekarang = 2010

8. ∀x : ∀y : [mati (x,y) → ¬hidup (x,y) ] ∧ [¬hidup (x,y) → mati (x,y)]

9. ∀x : ∀thn1 : ∀thn2 : mati (x, thn1) ∧ lebih dari (thn2 – thn1) → mati (x, thn2)

B. Penalaran Backward (membuktikan apakah Karjo masih hidup atau sudah mati)

¬ Hidup (Karjo, sekarang)
↑ (8, substitusi)
Mati (Karjo, sekarang)
↑ (9, substitusi)
Mati (Karjo, thn1) ∧ lebih dari (sekarang, thn1)
↑ (5, substitusi)
Jawa (Karjo) ∧ lebih dari (sekarang, 1883)
↑ (2)
Lebih dari (sekarang, 1883)
↑ (7, substitusi)
Lebih dari (2010, 1883)
↑ (menghitung lebih dari)
Nil

Dengan adanya nilai Nil berarti pembuktian telah sukses dilakukan dengan penalaran Backward

Kesimpulan : Karjo sudah mati saat ini