1. Misalkan ada pernyataan-pernyataan sebagai berikut:
a)Karto adalah seorang laki-laki
b)Karto adalah orang jawa.
c)Karto lahir pada tahun 1855
d)Setiap laki-laki pasti mati.
e)Semua orang jawa mati pada saat Krakatau meletus tahun 1883.
f)Setiap orang pasti mati setelah hidup lebih dari 150 tahun.
g)Sekarang tahun 2018
h)Mati berarti tidak hidup.
i)Jika seseorang mati, maka beberapa waktu kemudian ia pasti dinyatakan mati.
•Ubahlah Fakta2 tersebut kedalam formula2 Prodicate Logic
•Jawablah Pertanyaan Apakah Karto masih Hidup?
Maka dengan menggunakan fakta atau aturan yang ada, kita
dapat membuktikan bahwa :
¬hidup (Karto, sekarang)
Nilai NIL pada akhir pembuktian menunjukkan bahwa pembuktian
sukses.
¬hidup (Karto, sekarang)
↑ (8 subsitusi)
Mati (Karto, sekarang)
↑ (9 subsitusi)
Mati (Karto, t1) ˄ lb (sekarang, t1)
↑ (5b, subsitusi)
Jawa (Karto) ˄ lb (sekarang, 1883)
↑ (2)
lb (sekarang, 1883)
↑ (7, subsitusi)
lb (2018, 1883)
↑ (menghitung lb)
NIL
Cara untuk membuktikan bawah karto sudah mati adalah :
¬hidup (Karto, sekarang)
↑ (8 subsitusi)
Mati (Karto, sekarang)
↑ (6 subsitusi)
Pasti Mati (Karto) ˄ lahir (Karto, t1) ˄ lb (sekarang-t1,
150)
↑ (1)
lahir (Karto, t1) ˄ lb (sekarang-1855, 150)
↑ (3, substitusi)
lb (sekarang-1885, 150)
↑ (7, subsitusi)
lb (2018-1885, 150)
↑ (menghitung minus)
lb (133, 150)
↑ (menghitung lb)
2.Cobalah membuat Representasi Pengetahuan dari Gambar Silsilah Keluarga diatas. Gunakan predikat putra,putri. Lalu buat relasi untuk orangtua, paman,bibi, kakek,nenek,sepupu
anak (anto, ita) .
anak (anto, budo) .
anak (anto, ida) .
anak (wati, ita) .
anak (wati, budi) .
anak (wati, ida) .
anak (ita, hadi) .
anak (deni, hadi) .
anak (budi, dina) .
anak (ida, andi) .
anak (ida, rita) .
anak (rudi, andi) .
anak (rudi, rita) .
anak (wati) .
anak (ita) .
anak (ida) .
anak (dina) .
anak (rita) .
Laki (L) : – +putri(L).
orangtua (C,P) : -anak(P,C).
ayah(A,B) : -orangtua(A,B), laki (B).
ibu (A,B) : -orangtua(A,B), putri(B).
saudaralaki(S,SL) : -ayah(S,A), ayah(SL,A), laki(SL),S=SL.
saudaraperempuan(S,SP):-ayah(S,A), ayah(SP,A), putri(SP),S=SP.
paman ((A,B) =-orangtua (A,KN), saudaralaki(KN,B).
bibi (A,B) :-orangtua(A,KN), saudaraperempuan (KN,B).
kakek(A,KN) :-orangtua(A,B), ayah(B,KN).
nenek(A,KN) : -orangtua (A,B), ibu(B,KN).
3.Cobalah membuat Representasi Pengetahuan dari Gambar Struktur Organisasi Perusahaan diatas Gunakan predikat bawahan,atasan. Jawab Siapabawahan Burhan?
ankbuah (adi, burhan) .
ankbuah (burhan, bahrun) .
ankbuah (burhan, bisrin) .
ankbuah (bahrun, fahri) .
ankbuah (bahrun, farah) .
ankbuah (bisrin, ferdi) .
bawahanlangsung (A,B) .:-anakbuah(A,B).
atasanlangsung(A,B): -anakbuah(B,A).
ankbuahbawahan(A,B) :-bawahanlangsung(A,B).
ankbuahbawahan(A,B) :-bawahanlansung (A,AB),anakbuahbawahan(AB,B).