Pemelajaran mesin

Contohnya pada pemelajaran relasi keluarga dari data yang diberikan. Proses klasifikasi dilakukan dengan memproses latar belakang pengetahuan, hipotesis, dan deskripsi yang diberikan. Deskripsi akan terdiri dari istilah seperti "Father(Philip, Charles)", "Mother(Mum, Margaret)", dan lainnya. Pada awalnya, belum latar belakang pengetahuan yang dapat digunakan. Sehingga memunculkan beberapa hipotesis seperti "Grandparent(x,y)". Seiring berjalannya waktu, latar belakang pengetahuan akan terus meningkat dan menemukan bahwa "Parent(x,y) "⟺" "["Mother(x,y) "V" Father(x,y)"]. Dengan demikian, definisi dari "Grandparent" dapat dikurangi menjadi "Grandparent(x,y)" ⟺ [∃"z Parent(x,z)" ∧ "Parent(z,y)"] .