Winston A

Apa itu First Order Logic? First Order Logic adalah sebuah teknik untuk membuktikan apakah suatu pernyataan itu benar atau salah berdasarkan dari data-data yang ada.

First Order Logic mengasumsikan dunia ini terdiri atas:

• Objects: manusia, mobil, rumah.
• Relations: kakak dari, lebih dari, bagian dari.
• Functions: teman baik, tambah.

Simbol logis pada First Order Logic:

Kalimat Atomic: predikat(term[1],…,term[n]).

Kalimat Complex: gabungan antara kalimat atomic yang diberikan relasi.

Contoh FOL (Backward Chaining):

Ini kalimat awal

Diubah menjadi Proposition

Proof dengan Backward Chaining

Contoh FOL (Proof By Resolution):

Ubah Proposition menjadi Normal Clause Form

Proof by Resolution

www.binus.ac.id