Nadira Fitri

Logika Orde Pertama (First-Order Logic) 5.1. Pengenalan logika orde pertama First order logic adalah sebuah bahasa formal yang digunakan di ilmu matematika, philosophy, bahasa dan ilmu computer. Disebut juga kalkulus predikat, merupakan logika yang digunakan untuk merepresentasikan masalah yang tidak dapat direpresentasikan dengan menggunakan proposisi. Logika predikat dapat memberikan representasi fakat-fakta sebagai suatu pernyataan yang mapan (well form). Pemanfaatan FOL untuk merepresentasikan fakta adalah salah satu teknik dasar yang sudah sejak lama dipakai untuk dapat mengkodekan bahasa alami ke dalam bentuk formal. Dengan menggunakan FOL, diharapkan fakta (dan juga pertanyaan) dapat direpresentasikan secara tepatke dalam konteksnya masing-masing, sehingga jawaban akhir yang dikembalikan kepada pengguna adalah jawaban yang tingkat kesasihannya (validity, di dalamnya mencakup consistency dan informativeness) sangat tinggi. Di sini hanya akan disediakan beberapa ...

Agen Logika 4.1. Pengetahuan berbasis agen             Konsep dasar dari agen berbasis pengetahuan, yakni mengetahui hal-hal tentangdunia dan dapat melakukan reasoning (berpikir, bernalar) mengenai : 1.                    Hal-hal yang tidak diketahui sebelumnya ( imperfect/partial information ) 2.                    Tindakan yang paling baik untuk diambil ( best action ) Hal-hal yang harus dipenuhi ketika membuat agen pengetahuan, antara lain: 3.                    Dapat merepresentasikan world, state, action. 4.                    Dapat menerima in...