Soal 1 :
Buatlah representasi knowledge / pengetahuan menggunakan logika predikat dan preposisi dari pernyataan-pernyataan berikut :
1. Karjo adalah seorang laki – laki.
2. Karjo adalah orang Jawa.
3. Karjo lahir pada tahun 1840.
4. Setiap laki-laki pasti akan mati.
5. Semua orang jawa mati pada saat krakatau meletus pada 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.
Jawab :
1. Laki-laki (karjo)
2. Orang Jawa (Karjo)
3. Lahir (Karjo,tahun 1840)
4. ∀x : laki–laki(x) --> mati(x)
5. ∀x : meletus(krakatau,tahun 1840) --> mati
6. ∀x : lebih(tahun 2010-1860) --> mati(x)
7. sekarang = 2010
8. mati --> ¬hidup
9. Ǝx : mati(x) --> Ǝ x : kemudian ( waktu ( y ) ) --> di nyatakan (mati (x) )
Soal 2 :
Buktikan apakah Karjo masih hidup sekarang ???
Jawab :
Dilihat dari logika dan preposisi No 3, 6 dan 7.
Setiap orang akan mati jika umurnya lebih dari (tahun sekarang - 1860).
Sedangkan karjo lahir pada tahun 1840 dan umurnya sekarang 170.
Sehingga dapat dibuktikan bahwa Karjo sudah mati / tidak hidup.
Langganan:
Posting Komentar (Atom)
0 komentar:
Posting Komentar