TUGAS PENGANTAR KECERDASAN TAHAP 1

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

1. Karjo adalah seorang laki-laki
Jawab : Laki-laki (Karjo)
2. Karjo adalah orang Jawa
Jawab : Orang Jawa (Karjo)
3. Karjo lahir tahun 1840
Jawab : Lahir (Karjo, tahun 1840)
4. Setiap laki-laki pasti akan mati
Jawab : ∀x : laki-laki (x) → pasti mati (x)
5. Semua orang Jawa mati pada saat Krakatau meletus tahun 1883
Jawab : ∀x : Orang Jawa(x) ∧ Meletus (Krakatau, 1883) → mati (x, 1883)]
6. Setiap orang pasti mati setelah hidup lebih dari 150 tahun
Jawab : ∀x : Orang(x) ∧ Hidup (y)→ mati(x)
7. Sekarang tahun 2010
Jawab : Sekarang = 2010
8. Mati berarti tidak hidup
Jawab : ¬ Hidup(x)→ mati(x)
9. Jika seseorang mati maka beberapa waktu kemudian ia pasti dinyatakan telah mati
Jawab : ∀x : Orang(x) ^ mati(y)→ mati(x)

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