Nama : Oka
Kelas : 4ia04
NPM : 50406846

Tugas 1 Pengantar Kecerdasan buatan.


1 :) Representasikan Pengetahuan dari Pernyataan-pernyataan berikut ini menggunakan logika proposisi dan logika predikat

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 seorang mati maka beberapa waktu kemudian ia pasti dinyatakan telah mati

jawaban :
1. Laki-laki ( karjo )
2. Jawa ( karjo )
3. Lahir ( karjo, 1840 )
4. ᵾ x : laki-laki ( x ) → mati ( x)
5. ᵾ x : meletus ( krakatau, tahun 1883 ) → mati ( orang jawa, x )
6. ᵾ x : Lb ( tahun 2010 – 1840 ) → mati ( x )
7. sekarang = 2010
8. mati → ┐ hidup
9. Ǝ x : mati ( x ) → Ǝ x : kemudian ( waktu ( y ) ) → di nyatakan (mati (x) )


2.) Buktikan apakah karjo masih hidup sekarang?
jawaban : karjo sudah mati