BLOG RENDY NOVIANTONO

Nama:Rendy Noviantono  NPM:15115757 Kelas:3KA10 Dosen: Essy Malays Sari Sakti Logika Orde Pertama (First-Order Logic) First-order logic itu salah satu jenis sistem formal, yang digunakan untuk membuktikan kebenaran dari sebuah pernyataan. Dalam first-order logic, setiap pernyataan dianggap memiliki predikat. Predikat itu dapat menghubungkan pernyataan yang satu dengan yang lain. Kalimat-kalimat dalam first-order-logic dibuat dengan format P( X,  Y). P adalah predikat dan X adalah subjek. Y adalah objek, yang merupakan variabel yang opsional. Contoh kalimatnya adalah sebagai berikut: Kalimat asli: James makan apel. Kalimat FOL: makan(James, apel) Kalimat FOL dapat juga diberikan kuantor dan tanda-tanda logika lain, seperti berikut: Kalimat asli: James suka daging dan Daisy suka sayur. Kalimat FOL: suka(James, daging) ^ suka(Daisy, sayur) Pembuktian Ada dua cara untuk melakukan pembuktian menggunakan FOL, yaitu backward chaining dan p...

PENGENALAN LOGICAL AGENTS  Nama  : Rendy Noviantono NPM   : 15115757 Kelas   : 3KA10 Dosen  : Essy Malays Sari Sakti  Agen logika merupakan agen yang memiliki kemampuan bernalar secara logika. Ketika beberapa solusi tidak secara eksplisit diketahui, maka diperlukan suatu agen berbasis logika. Logika sebagai Bahasa Representasi Pengetahuan memiliki kemampuan untuk merepresentasikan fakta sedemikian sehingga dapat menarik kesimpulan (fakta baru, jawaban). Sedangkan pengetahuan merupakan komponen yang penting, sehingga terdapat perbedaan jika diterapkan pada dua agent, yakni problem solving agent dan knowledge-based agent.  Agen Berbasis Pengetahuan atau Knowledge Base (KB) merupakan Himpunan representasi fakta yang diketahui tentang lingkungannya. Tiap fakta disebut sebagai sentence. Fakta tersebut dinyatakan dalam bahasa formal sehingga bisa diolah, menambahkan sentence baru ke KB. Inference Engine merupakan menentukan fakta ba...