LABORATORIUM PEMBELAJARAN ILMU KOMPUTER FAKULTAS ILMU KOMPUTER UNIVERSITAS BRAWIJAYA
BAB NAMA NIM TANGGAL JENIS ASISTEN
: LOGIC PROGRAMMING : KELOMPOK 1 :: 25/04/2018 : LATIHAN : - BRENDY OSCAR MUNTHE - MOH. IQBAL YUSRON
ACC
A. DEFINISI MASALAH
1. Kesukaan a. Terjemahkan pengetahuan di bawah ke dalam KB FOL 1. Ani suka Soto 2. Ani suka teh anget 3. Budi suka teh anget 4. Budi suka Ani b. Terjemahkan query ke dalam FOL 1. Apakah Ani suka Soto? 2. Apakah Budi suka teh anget? 3. Apakah Budi suka Soto? 4. Apakah Ani suka Budi? c. Menuliskan FOL ke dalam Bahasa prolog d. Menuliskan hasil dari masing-masing query 2. Silsilah keluarga a. Terjemahkan pengetahuan pada silsilah keluarga di bawah ke dalam KB FOL
b. Terjemahkan query ke dalam FOL 1. Siapa kakek (mbah laki-laki) dari Mark? 2. Siapa paman dari Nina? 3. Siapa sepupu laki-laki dari Steve? 4. Siapa orangtua Steve yang merupakan saudara ipar dari Michael? c. Menuliskan FOL ke dalam Bahasa prolog d. Menuliskan hasil dari masing-masing query B. JAWAB
1. Kesukaan a. Terjemahkan pengetahuan di bawah ke dalam KB FOL
Commented [IM1]: Ditulis dengan bentuk Tell(KB, suka(Ani, Soto))
1. Ani suka Soto suka(Ani,Soto) 2. Ani suka teh anget suka(Ani,Teh Hangat) 3. Budi suka teh anget suka(Budi,Teh Hangat) 4. Budi suka Ani suka(Budi,Ani)
b. Terjemahkan query ke dalam FOL
Commented [IM2]: Ditulis dengan bentuk Ask(KB, suka(Ani, Soto))
1. Apakah Ani suka Soto? ?-suka(Ani,Soto) 2. Apakah Budi suka teh anget? ?-suka(Budi,Teh Hangat) 3. Apakah Budi suka Soto? ?-suka(Budi,Soto) 4. Apakah Ani suka Budi? ?-suka(Ani,Budi)
c. Menuliskan FOL ke dalam Bahasa prolog
d. Menuliskan hasil dari masing-masing query
2. Silsilah keluarga a. Terjemahkan pengetahuan pada silsilah keluarga di bawah ke dalam KB FOL
Commented [IM3]: Ditulis dengan bentuk Tell(KB, suka(Ani, Soto)) Menggunakan operator and, or, dsb
1. ayah(johnson,dave) 2. ayah(johnson,rihanna) 3. ayah(dave,steve) 4. ayah(michael,nina) 5. ayah(michael,mark) 6. ibu(margareth,dave) 7. ibu(margareth,rihanna) 8. ibu(angelina,steve) 9. ibu(rihanna,nina) 10. ibu(rihanna,mark) 11. laki(mark) 12. orangtua(X,Y):-ayah(X,Y);ibu(X,Y) 13. kakek(X,Z):-ayah(X,Y),orangtua(Y,Z) 14. nenek(X,Z):-ibu(X,Y),orangtua(Y,Z) 15. sibling(X,Y):-orangtua(Z,X),orangtua(Z,Y),X \= Y 16. paman(X,Z):-orangtua(Y,Z),sibling(X,Y),ayah(X,W) 17. sepupulaki(S,M):-nenek(A,S),nenek(A,M),laki(M),S \= M 18. pasangan(A,B):-orangtua(A,C),orangtua(B,C) 19. saudaraipar(M,D):-pasangan(M,R),sibling(R,D),orangtua(D,S) 20. kakek(X,mark) 21. paman(X,nina) 22. sepupulaki(steve,X) 23. saudaraipar(michael,X)
Commented [IM4]: Query tidak perlu ditulis kedalam pengetahuan, cukup f akta dan inferensi
c. Terjemahkan query ke dalam FOL
Commented [IM5]: Ditulis dengan bentuk Ask(KB, suka(Ani, Soto))
1. Siapa kakek (mbah laki-laki) dari Mark? ?-kakek(X,mark) 2. Siapa paman dari Nina? ?-paman(X,nina) 3. Siapa sepupu laki-laki dari Steve? ?-sepupu(steve,X) 4. Siapa orangtua Steve yang merupakan saudara ipar dari Michael? ?-ayah(X,steve)
d. Menuliskan FOL ke dalam Bahasa prolog
Commented [IM6]: 4 baris terakhir salah, query tidak perlu ditulis kedalam pengetahuan, cukup fakta dan inferensi
e. Menuliskan hasil dari masing-masing query