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?
-
¬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)
-
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 disamping. Gunakan predikat putra,putri. Lalu buat
relasi untuk orangtua, paman,bibi, kakek,nenek,sepupu
Jawaban:
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 disamping. Gunakan predikat bawahan,atasan.
Jawab Siapa bawahan Burhan?
Jawaban:
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).
Komentar
Posting Komentar