Tugas Knowledge Managemen System part 3

Rubahlah fakta-fakta di bawah ini ke dalam bentuk predicate calculus menggunakan hubungan: meninggal(X), sex(X,Y), mengenal(X,Y), membenci(X,Y), korban(X), pembunuh(X). Lalu dengan menggunakan metoda inferensi tentukan siapa pembunuh dalam kasus ini.

• Korban meninggal.

• Korban adalah perempuan.

• Jono dan Surya mengenal korban.

• Korban mengenal Toni dan Joko.

• Si pembunuh mengenal korban.

• Siti adalah korban.

• Joko membenci Siti.

• Surya membenci Toni.

• Toni membenci Joko.

• Korban mengenal seseorang yang membenci pembunuh tersebut.

Penyelesaian:

1.     Meninggal(korban)

2.     Perempuan(korban)

3.     Korban_pembunuhan(siti)

4.     Mengenal(pembunuh,siti)

5.     Mengenal(joko ∧ surya, siti)

6.     Benci(joko,siti)

7.     Benci (surya,toni)

8.     Mengenal(siti,Z) ∧ membenci(Z,pembunuh)

9.     Mengenal(siti, toni ∧ joko)

10 . Benci(toni,joko) 

     ==>>Pembunuh(joko)