Belajar Gratis Sistem Informasi & Informatika

Contoh proses inferensi (penarikan kesimpulan) menggunakan forward chaining dalam knowledge base yang menggunakan first order logic ( FOL ).  Misalkan ada knowledge base yang awalnya tersusun dari bahasa alami (dalam contoh ini menggunakan bahasa inggris) seperti berikut di bawah ini. Kemudian, bagaimana menyajikan knowledge base tersebut dalam bentuk first order logic ( FOL ) dan bagaimana proses membuktikan bahwa Col. West is criminal (Kolonel West adalah penjahat) dengan menggunakan algoritma forward chaining ?

Berikut di bawah ini adalah contoh-contoh daftar knowledge base dalam bentuk bahasa alami (bahasa manusia). Knowledge base tersebut akan diubah menjadi knowledge base dalam bentuk first order logic ( FOL ). Contoh 1: Di bawah ini adalah daftar kalimat dalam bahasa alami (dalam hal ini menggunakan bahasa inggris), kemudian diubah ke bahasa logika (dalam hal ini first order logic / FOL ). 

First Order Logic / FOL  Bahasa yang digunakan dalam first-order logic atau disingkat FOL (logika tingkat pertama), di buat berdasarkan hal-hal di seputar objek dan hubungan-hubungan antar objek tersebut. FOL ini sangatlah penting untuk bidang matematika, filsafat, dan kecerdasan buatan karena bidang-bidang tersebut — dan juga memang sebagian besar keberadaan manusia sehari-hari — dapat dianggap sebagai berkaitan dengan objek dan hubungan di antara mereka. F irst Order Logic (FOL) juga dapat menyajikan fakta-fakta tentang beberapa atau semua objek di alam semesta. Ini memungkinkan seseorang untuk menyajikan hukum-hukum, atau aturan-aturan umum, misalnya: siswa-siswa yang tidak hadir di pelajaran yang sulit, mereka tidak suka pelajaran yang sulit.