First order logic adalah salah satu bentuk knowledge representation language. Logika propositional mengasumsikan dunia dengan fakta-fakta. First order logic mengasumsikan:
- Objects- contoh: warna, angka, rumah dan lainnya.
- Relation- contoh: lebih besar dari, bagian dari, dan lainnya.
- Functions- contoh: satu ataupun lebih, plus, dan lainnya.
Elemen dasar:
- Constants
- Predicates
- Functions
- Variables
- Connectives
- Equality
- Quantifiers
FOL digunakan untuk menentukan suatu pernyataan yang diberikan tersebut true atau false. FOL dapat digunakan untuk mengambil keputusan atupun fakta.
First order logic dapat dikerjakan menggunakan backward chaining dan proof by resolution.
Proof by resolution: kita harus mengubah dengan menegasikan pernyataan yang ada. Lalu kita harus mencari nilai null untuk membuktikan bahwa fakta yang kita cari tersebut benar atau salah.
