Latihan

Silahkan dikerjakan Soal Latihan berikut ini: 

1. Tentukan hasil unification (substitusi) berikut ini:

Latihan 2: Resolusi

Diketahui klausa-klausa berikut:

1. ¬Manusia(x) ∨ Berakal(x)
2. Manusia(Socrates)

Pertanyaan:

Gunakan teknik resolusi untuk membuktikan apakah ΓÇ£Socrates berakalΓÇ¥ benar atau salah. Tunjukkan langkah-langkahnya.

Latihan 3: Modus Ponens

Diketahui:

1. Jika mahasiswa rajin maka mahasiswa lulus.
2. Budi adalah mahasiswa rajin.

Pertanyaan:
Gunakan Modus Ponens untuk menyimpulkan hasil logisnya.
Tuliskan dalam bentuk simbolik dan hasil inferensinya

Latihan 4: Generalized Modus Ponens (GMP)

Diketahui aturan:

1. Jika seseorang adalah dosen dan seseorang mengajar mahasiswa, maka orang tersebut berpengetahuan luas.
   → Dosen(x) ∧ Mengajar(x, y) → BerpengetahuanLuas(x)
2. Fakta:
• Dosen(Ani)
• Mengajar(Ani, Budi)

Pertanyaan:
Gunakan Generalized Modus Ponens untuk menyimpulkan fakta baru.
Tuliskan langkah-langkah inferensinya secara sistematis.

Latihan 5 (Aplikasi Kasus Sistem Pakar)

Dalam sistem pakar kesehatan, diketahui:

1. Jika seseorang demam dan batuk, maka dia mungkin flu.
   → Demam(x) ∧ Batuk(x) → Flu(x)
2. Fakta: Demam(Ali), Batuk(Ali)

Pertanyaan:
a. Gunakan Generalized Modus Ponens untuk menghasilkan kesimpulan.
b. Jika ditambahkan fakta baru “¬Flu(Ali)”, gunakan Resolusi untuk melihat apakah ada kontradiksi.