Selasa, 16 Maret 2010

TUGAS PENGANTAR KECERDASAN BUATAN MINGGU KE-6

Soal :

1. Representasikan pengetahuan/ fakta berikut menggunakan logika proporsi dan predikat :

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 dia pasti dinyatakan telah mati

2. Buktikan bahwa karjo sudah mati / masih hidup saat ini. Gunakan penalaran backward!!

JAWABAN :

1.) Merepresentasikan pengetahuan / fakta dengan menggunakan logika proposisi dan predikat

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) ® mati (x)

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

Jawab : "x: orang jawa(x) L meletus (Krakatau, tahun 1883) ® mati (x)

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

Jawab : "x: orang (x) L hidup ( >y) ® mati (x)

7. Sekarang tahun 2010

Jawab : tahun (2010, sekarang)

8. Mati berarti tidak hidup

Jawab : Ø hidup (x) ® mati (x)

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

Jawab : "x: orang(x) L waktu (y) ® mati(x)

2.) Membuktikan bahwa Karjo telah mati

- Karjo lahir tahun 1840

- Sekarang tahun 2010

- Setiap orang pasti mati setelah hidup lebih dari 150 tahun

Kesimpulan : Karjo telah mati pada tahun 2010 karena telah hidup lebih dari 150 tahun

Jawab : "x: tahun (y,x) L hidup (>z) ® mati(x)

- Karjo orang jawa

- Karjo lahir tahun 1840

- Setiap orang jawa mati pada saat Krakatau meletus tahun 1883

Kesimpulan : Karjo yang orang jawa pasti mati pada saat Krakatau meletus tahun 1883

Jawab : "x: orang jawa(x) L meletus (y,z) ® mati(x)

0 komentar:

Posting Komentar