LABORATORIUM PEMBELAJARAN ILMU KOMPUTER FAKULTAS ILMU KOMPUTER UNIVERSITAS BRAWIJAYA
BAB NAMA NIM TANGGAL JENIS ASISTEN
: FIRST ORDER LOGIC : KELOMPOK 1 :: 19/05/2017 : TUGAS : - TAFARRARA IRSA SHABRINA - NURIYA FADILAH
ACC
A. DEFINISI MASALAH 1. Ubahlah kalimat dibawah ini menjadi bentuk FOL - Nilai terbaik pada kelas A selalu selalu lebih tinggi daripada daripada nilai terbaik terbaik pada kelas B - Hanya satu mahasiswa yang mengambil semester pendek pada tahun 2011 - Setiap mahasiswa yang mengambil mata kuliah Kecerdasan Buatan berhasil lulus 2. Representasikan permainan “Wumpus World” dengan menggunakan First Order Logic. 3. Pak Toni adalah seorang programmer. Semua sistem analis adalah manusia. Pak Johan adalah seorang sistem analis. Sistem analis adalah programmer. Semua programmer adalah temannya sistem analis atau tidak kenal sama sekali (bukan teman). Setiap orang adalah teman teman dari seseorang. Orang-orang Orang-orang hanya mengkritik orang yang bukan temannya. Pak Pak Toni mengkritik Pak Johan. Apakah Pak Pak Johan bukan teman teman Pak Toni? (Buktikan dengan representasi representasi FOL)!
B. JAWAB 1. Mengubah kalimat menjadi bentuk FOL: - ∃x : ∃y : NilaiTerbaik(x, kelas A) ∧ NilaiTerbaik(y, kelas B) ∧ LebihTinggi(x, y) - ∃x : Mahasiswa(x) Mahasiswa(x) ∧ MengambilSP (x, 2011) - ∀x, y : Mahasiswa Mahasiswa (x) ∧ KecerdasanBuatan (y) ∧ Mengambil (x,y) ⇒ Lulus (x) 2. Aturan pada wumpus world : 1. Jika di kamar terdapat Breeze maka di sekitarnya bisa terdapat minimal 1 PIT 2. Jika di kamar terdapat Stench maka di sekitarnya bisa terdapat minimal 1 Wumpus 3. Jika di kamar terdapat Glitter maka di sekitarnya bisa terdapat gold Bentuk FOL : 1. Kamar_1,0(x) ∧ Breeze(x) -> (Kamar_2,0(y) ∧ Pit(y)) ∨ (Kamar_1,1(z) ∧ Pit(y)) 2. Kamar_2,0(x) ∧ Stench(x) -> (Kamar_3,0(y) ∧ Wumpus(y)) ∨ (Kamar_2,1(z) ∧ Wumpus(y)) 3. Kamar_3,0(x) ∧ Glitter(x) -> (Kamar_4,0(y) (Kamar_4,0(y) ∧ Gold(y)) ∨ (Kamar32,1(z) ∧ Gold(y)) 3. - Programmer(Pak Toni) - ∀x: manusia(Sistem Analis) - Sistem Analis(Pak Johan) - Programmer(Sistem Programmer(Sistem Analis) - ∀x: programmer(x) -> teman(x, y) v ~kenal(x, y) - ∀x: teman(y, x)
- ∀x: mengkritik(x, ~teman(x)) - Mengkritik(Pak Toni, Pak Johan) Apakah Pak Johan bukan teman Pak Toni?
Kemudian mengubahnya menjadi bentuk clause normal form (CNF). Dalam CNF, semua premis tidak boleh menggunakan kuantor, implikasi (jika X maka Y) dan biimplikasi (X jika dan hanya jika Y). Lalu, jawaban dari pertanyaan dianggap salah dan dijadikan premis (termasuk premis yang akan dibuktikan). Premis baru ini dijadikan awal dari pembuktian. - Programmer(Pak Toni) - manusia(Sistem Analis) - ~Sistem Analis(Pak Johan) - Programmer(Sistem Analis) - ~programmer(x1) v teman(x1, y1) v ~kenal(x1, y1) - ~teman(y2, x2) - ~mengkritik(x3, ~teman(x3)) - Mengkritik(Pak Toni, Pak Johan)
C. KESIMPULAN 1. Jelaskan pengertian FOL! First order logic (FOL) adalah sebuah bahasa formal dalam bidang matematika dan ilmu komputer. FOL merepresentasikan fakta-fakta sebagai suatu pernyataan. First order logic menyelesaikan permasalahan dengan kalimat yang merepresentasikan fakta dan term yang merepresentasikan objek. 2. Jelaskan bagian-bagian FOL beserta contohnya! Bagian-bagian dari FOL adalah : A. Object merupakan sesuatu yang dikenai logika yang memiliki entitas untuk masing-masing individual. Contoh : rumah, orang, motor, dll. B. Properties merupakan sifat yang dimiliki oleh objek dan merupakan pembeda dengan objek lainnya. Contoh : besar, merah, kurus, dll. C. Relation merupakan aksi atau aktivitas yang menajdi penghubung objek dalam berelasi. Contoh : Anak dari, saudara dari, lebih pintar dari, dll. D. Function merupakan hubungan yang hanya membutuhkan satu fungsi untuk satu obyek. Contoh : ayah dari, sahabat dari, teman dari, dll. Elemen – elemen: a. Konstanta : UB, FILKOM , MALANG, ERTIGA, WARSITO. Dinyatakan dalam huruf besar dan harus menyatakan secara spesifik objek yang dimaksud. b. Predikat : Om(Ikbal, Warsito), Berwarna(Mobil, Hitam). Menyatakan relasi khusus dalam model yang menghubungkan antar objek yang memiliki hubungan. c. Fungsi : Ayah dari, saudara dari, sqrt, teman baik Menyatakan relasi yang hanya membutuhkan satu nilai. d. Variable: p, q, r. x, y, z. Dituliskan dalam huruf kecil, menyatakan symbol yang dapat digantikan oleh konstanta apapun dan bersifat dinamis. e. Connectives: , V , → , ↔ , ¬ Merupakan logika yang menghubungkan di dalam suatu kalimat kompleks.
f.
Equality: = Merupakan logika yang membandingkan kesamaan antara dua atau lebih kalimat yang memiliki kesamaan nilai logika.
g. Quantifiers: ∀, ∃ Menyatakan sesuatu hal yang bersifat universal (∀) dan bersifat existensial (∃)
