First Order Logic
-First Order Logic (FOL)
First-order logic digunakan untuk menarik sebuah kesimpulan dari beberapa fakta yang terkumpul, dan dapat kita buktikan dengan cara backward chaining dan resolution.
FOL dipakai untuk membuktikan apakah statement tersebut value nya true or false, tetapi sebelum dibuktikan kita perlu mengkonversi semua faktanya itu ke dalam bentuk FOL.
Di dalam FOL hanya mengasumsikan bahwa dunia ini hanya terdiri dari:
- Object
- Relation
- Function
Syntax dan Semantic dalam FOL:
- Atomic Sentences: predicate (term1,…,termn)
Misal: “Niko is a student.”
Student(Niko)
- Complex Sentences: gabungan dari atomic sentences yang tergabung dalam suatu relasi (konektivitas)
Misal: All students are human.
“x: Student(x) -> Human(x)
1. Proof by Backward Chaining
Setelah statement-statementnya sudah dikonversi ke dalam FOL, makan kita tinggal membuktikan kesimpulan yang kita tarik dari FOL yang kita dapatkan, dan kita hubungkan satu fakta dengan fakta-fakta lainnya, jika diakhiri dengan NULL, berarti kesimpulan yang ditarik benar.
2. Proof by Resolution
Bedanya resolution dengan backward chaining adalah pada FOL yang kita dapatkan dari statement-statement, membuat negasi FOL yang telah ada, menjadi FOL yang berimplikasi menjadi dan / atau (mengubah bentuknya ke dalam CNF/Clause Normal Form). Dan jika akhirnya menghasilkan NULL juga, maka kesimpulannya terbukti dari fakta-fakta yang terkumpul.
www.binus.ac.id
