World In Your Hand

-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 […]