LABORATORIUM PEMBELAJARAN ILMU KOMPUTER

FAKULTAS ILMU KOMPUTER

UNIVERSITAS BRAWIJAYA
BAB : FIRST ORDER LOGIC
NAMA : KELOMPOK 3
NIM :- ACC
TANGGAL : 10/04/2019
JENIS : TUGAS
ASISTEN : - ADITYA YUSRIL FIKRI
- DWI JUNI KARTIKA

A. DEFINISI MASALAH
1. Ubahlah kalimat dibawah ini menjadi bentuk FOL
- Ani adalah cucu dari kakek Dian
- Paman dan bibi adalah saudara kandung ibu
- Tanaman padi itu terlihat hijau
2. Representasikan permainan “Wumpus World” dengan menggunakan First
Order Logic
3. Dika adalah adik bungsu dari Dede. Dede menikah dengan astuti, dan dari
pernikahan mereka lahir anak perempuan bernama Anin. Anin hendak
menikah dengan Dika. Buktikan bahwa pernikahan Anin dan Dika tidak
sah, dengan representasi first order logic!

B. JAWAB

1. First Order Logic

- Ani adalah cucu dari kakek Dian

∀ x Orang(Ani) ⇒ ∃ x, y Cucu(Ani, x) ∧ Kakek(x, Dian)

- Paman dan bibi adalah saudara kandung ibu

∀ x ,y, a Paman(x, a) ∧ Bibi(y, a) ⇒ ∃ z Ibu(z, a) ∧ Saudara(x, z

- Tanaman padi itu terlihat hijau

∃ x Padi(x) ∧ Terlihat(x, hijau)

2. First Order Logic “Wumpus World”
 b, g, a Persepsi ([Steach, b, g],a) ⇒ Steach (a)
 s, g, a Persepsi ([s, Breeze, g],a) ⇒ Breeze (a)
 s, b, a Persepsi ([s, b,Glitter],a) ⇒ at Gold (a)
- Simple Reflex Agent
a At Gold (a) ⇒ Action (grab, a)
- Agent Keeping Track Of The World
a At Gold (a) ∧~ Holding (Gold, a) ⇒ Action (grab, a)
- Mendefinisikan sifat dari lokasi
b, a At Agent (b, a) ∧ Steach (a) ⇒ Smelly (b)
b, a At Agent (b, a) ∧ Breeze (a) ⇒ Breeze (b)
- Mendefinisikan Pit
y Breeze (y) ⇔ ∃x Pit (x) ∧ berdekatan (x, y)
- Mengambil Gold
s Gold (s) ⇒ Memegang (gold, hasil (ambil, x))
- Memegang Gold
r, s Memegang (Gold, hasil (r, s)) ⇔ ((r = Mengambil) ∧ at Gold (s))
( Memegang (Gold, s) ∧~ (r = Release))
- Menjaga Posisi
p, q Location toward ([p, q], 0) = [p + 1, q]
p, q Location toward ([p, q], 90) = [p, q + 1]
p, q Location toward ([p, q], 180) = [p - 1, q]
p, q Location toward ([p, q], 270) = [p, q - 1]
- Mendefinisikan lokasi
b, s At Agent (b, s) ⇒ Location ahead (s) = Location toward (b, orientation (s))
- Mendefinisikan aksi yang akan dilakukan
b, d, z, s at Agent (b, result (r, s)) ⇔ b (r = maju ∧ b = Location a head (s) ∧~ wall (b))
∨ (Agent at (b, s) ∧ r ≠ maju)

3. Kesimpulan: ~sah(anin, dika)

Logika Predikat :
1. x(Dika)
2. y(Dede)
3. z(Anin)
4. ∀ x , y: Saudara(x , y)
5. ∀ x,y,z: menikah(y,astuti) => orangtua(y,z) ^ orangtua(astuti, z) ^
paman(x,z)
 6. ∀ x,y,z:paman(x,z) => Keponakan(z,x) ^ Saudara (x,y)
7. Menikah(z,x)
Pohon Resolusi :
1. x(Dika)
2. y(Dede)
3. z(Anin)
4. Saudara(x , y)
5. ~menikah(y, astuti) V orangtua(y,z) V orangtua(astuti, z) V paman(x,z)
6. ~paman(x,z) V Keponakan(z,x) V Saudara (x,y)
7. Menikah(z,x)

C. KESIMPULAN

1. Jelaskan perbedaan First Order Logic dengan Proportional Logic !

2. Jelaskan bagian-bagian First Order Logic beserta contohnya !
a. Objects : merupakan sesuatu yang dikenai logika-logika yang memiliki
identitas untuk masing-masing individual
Contoh :
b. Properties : sifat yang dimiliki oleh objek dan merupakan pembeda
dengan objek lainnya
 Contoh :
c. Relations : aksi atau aktifitas yang menjadi penghubung antar objek
dalam berelas
Contoh :
d. Functions : merupakan relation yang memiliki satu nilai
Contoh :