Page 39 - E-Book Kecerdasan Buatan Dandung PTI 1A

Gambar 4.2 Pohon Resolusi

2. Logika Predikat
Misalnya proposisi : Ani adalah ibu Budi

Logika predikat : Ibu (Ani,Budi)
Misalnya proposisi: Mobil berada dalam garasi

Logika Predikat: Di dalam (mobil, garasi)
a. Di dalam = produk (keterangan)

b. Mobil = Argumen (obyek)
c. Garasi = Argumen (obyek)
Misalnya :

Andi pacarnya Indah  Pacar(Andi, Indah)
Andi adalah seorang laki-laki  laki2(Andi)

Andi tidak hadir kuliah Kalkulus  ¬Hadir (Andi, Kalkulus)
Terdapat mahasiswa UBG yang tidak suka matakuliah Permodelan  ⱻx : Mahasiswa

UBG (x)  ¬Suka (x, Permodelan)
Setiap mahasiswa UBG pasti tidak suka matakuliah Permodelan  x : Mahasiswa

UBG (x)  ¬Suka (x, Permodelan)
4.2.2 Jaringan Semantik
Struktur sederhana untuk representasi pengetahuan grafis yang menunjukkan hubungan

antar berbagai objek.
Obyek, berupa benda atau peristiwa

Nodes menunjukkan Obyek
Arc (Link) menunjukkan Keterhubungan (Relationships)

36