First-Order Logic Summary
Ini adalah summary mengenai First-Order Logic untuk tugas mata kuliah Intelegensia Semu dari Pak Derwin
First-Order Logic (FOL) adalah sebuah sistem formal dalam penulisan logika, banyak digunakan di bidang matematika, filosofi, komputer, dan lainnya. FOL mengasumsikan bahwa dunia terdiri dari 3 komponen, yaitu Objek, Relasi, dan Fungsi. Perbedaan dengan penulisan logika proposisional adalah FOL menggunakan quantifier (semua, ada)
FOL mengenal beberapa lambang yang digunakan dalam penulisan sintaksnya, yaitu:
Dengan menggunakan FOL, kita bisa menarik kesimpulan dari beberapa pernyataan. Pembuktian kesimpulan untuk FOL dapat menggunakan forward atau backward chaining atau dengan mengubah bentuk FOL menjadi bentuk normal (CNF) dan menggunakan Resolution Algorithm, dimana kita membuktikan dengan menggunakan kontradiksi. Kedua cara akan berakhir pada nilai NULL jika terbukti.
Backlink : www.binus.ac.id