Tugas P K B (Pengantar Kecerdasan Buatan)

Tugas 1

Soal..
1. ubahlah pernyataan dibawah ini dalam bentuk representasi logika dan predikat :
a. karjo adalah seorang laki-laki
b. karjo adalah orang jawa
c. karjo lahir pada tahun 1840
d. setiap laki-laki pasti mati
e. semua orang jawa mati pada saat krakatau meletus pada tahun 1883
f. setiap orang pasti mati setelah hidup lebih dari 150 tahun
g. sekarang tahun 2010
h. mati berarti tidak hidup
i. jika seseorang mati, maka beberapa waktu kemudia dia pasti dianggap mati
2. apakah karjo masih hidup sekarang? nyatakan dengan metode backward!

Jawab..
1.
a. laki-laki (Karjo)
b. jawa (karjo)
c. lahir (karjo, 1840)
d. ∀x : laki-laki(x) → pasti_mati(x)
e. Meletus(Krakatau, 1883) ∧ ∀x : [Jawa(x) → mati(x, 1883)

Dapat dibagi menjadi :

1. Meletus(Krakatau, 1883)

2. ∀x : [Jawa(x) → mati(x, 1883)]

f. ∀x : ∀thn1 : ∀thn2 : pastimati(x) ∧ lahir(x, thn1) ∧ lahir(x, thn2) ∧ lebihdari(thn2 – thn1, 150) → mati(x, thn2)

g. sekarang = 2010

h. ∀x : ∀y : [mati(x,y) → ¬hidup(x,y) ] ∧ [¬hidup(x,y) → mati(x,y)]
i. ∀x : ∀thn1 : ∀thn2 : mati(x, thn1) ∧ lebihdari(thn2 – thn1) → mati(x, thn2)

2. dari pernyataan di atas kita akan membuaktikan apakah Karjo masih hidup atau tidak dengan menggunakan metode Backward.

¬hidup (karjo, sekarang)

¬hidup (karjo, sekarang)
↑ (8, subtitusi)
Mati(karjo, sekarang)
↑ (9, subtitusi)
Mati(karjo, thn1) ∧ lebihdari(sekarang, thn1)
↑ (5, subtitusi)
Jawa(Karjo) ∧ lebihdari(sekarang, 1883)

↑ (2)
Lebihdari(sekarang, 1883)
↑ (7, subtitusi)
Lebihdari(2010, 1883)
↑ (menghitung lebihdari)
Nil

atau dapat juga dinyatakan seperti:

¬hidup (karjo, sekarang)

↑ (8, subtitusi)

Mati(karjo, sekarang)

↑ (6, subtitusi)

Pastimati (Karjo) ∧ lahir(Karjo, thn1) ∧ lebihdari(sekarang-thn1, 150)

↑ (1)

Lahir(Karjo, thn1) ∧ lebihdari(sekarang – 1840, 150)

↑ (3, subtitusi)

Lebihdari(sekarang-1840, 150)

↑ (7, subtitusi)

Lebihdari(2010-1840, 150)

↑ (mengurangi)

Lebihdari(170,150)

↑ (menghitung lebihdari)

Nil