Garis besar topik

    • Materi PPT Berkas PPTX
      Siswa harus
      Tandai selesai

      First Order Logic 

      • Pendahuluan

      • Dasar First Order Logic

      • Populasi Basis Pengetahuan

      • Prosedur Sistematics Inferencing Contoh Kasus (Sistem Pakar dengan First Order Logic)

      62.1 KB · Diunggah 10/10/25, 05:56
    • Siswa harus
      Tandai selesai

      Silahkan simak dan pelajari materi Vidio berikut ini:



    • Latihan Penugasan
      Siswa harus
      Tandai selesai

      Silahkan dikerjakan Soal Latihan berikut ini: 

      1. Tentukan hasil unification (substitusi) berikut ini:

      a. P(x, a) dan P(b, y)
      b. Q(f(x), x) dan Q(f(y), a)

      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.