All Is Possible

First Order Logic adalah suatu logika formal sebuah sitem yang biasanya digunakan dalam masalah matematika, filsafat, linguistik, dan ilmu komputer.

First Order Logic mempunyai 3 bagian yaitu object, relation dan function.

Untuk menyelesaikan First Order Logic terdapat 2 cara yaitu dengan Backward Chaining dan Proof by Resolution.

Backward Chaining adalah sutau metode untuk membuktikan suatu masalah dengan memulai dari goal suatu masalah dan dihubungkan dengan kalimat pernyataan yang ada hingga habis. Contoh pernyataan, Chandra adalah seorang siswa maka harus diubah menjadi Siswa(Chandra).

Proof by Resolution adalah suatu metode untuk membuktikan suatu masalah dengan mengunakan CNF(Conjunctive Normal Form). Penyelesaian dimulai dari goal menjadi statement yang kemudian dihubungkan dengan negasi/lawan dari statement tersebut  Contoh konversi ke CNF,  student(computer science)->like(algorithm) maka harus diubah menjadi NOT student(computer science) OR like(algorithm).

Reference: binus.ac.id