Representasi Pengetahuan : Logika Predikat

Logika Predikat Order Pertama

Disebut juga kalkulus predikat, merupakan logika yang digunakan untuk merepresentasikan masalah yang tidak dapat direpresentasikan dengan menggunakan proposisi. Logika predikat dapat memberikan representasi fakat-fakta sebagai suatu pernyataan yang mapan (well form).

Syarat-syarat symbol dalam logika predikat :

• himpunan huruf, baik huruf kecil maupun huruf besar dalam abjad.
• Himpunan digit (angka) 0,1,2,…9
• Garis bawah “_”
• Symbol-simbol dalam logika predikat dimulai dengan sebuah huruf dan diikuti oleh sembarang rangkaian karakter-karakter yang diijinkan.
• Symbol-simbol logika predikat dapat merepresentasikan variable, konstanta, fungsi atau predikat

Logika dan Set Order Pertama

• Konstanta: objek atau sifat dari semesta pembicaraan. Penulisannya diawali dengan huruf kecil, seperti : pohon, tinggi. Konstanta true(benar) dan false(salah) adalah symbol kebenaran (truth symbol).
• Variable : digunakan untuk merancang kelas objek atau sifat-sifat secara umum dalam semesta pembicaraan. Penulisannya diawali dengan huruf besar, seperti : Bill, Kate.
• Fungsi : pemetaan (mapping) dari satu atau lebih elemen dalam suatu himpunan yang disebut domainfungsi ke dalam sebuah elemen unik pada himpunan lain yang disebut rangefungsi. Penulisannya dimulai dengan huruf kecil. Suatu ekspresi fungsi merupakan symbol fungsi yang diikuti argument.
• Argumentadalah elemen-elemen dari fungsi, ditulis diapit tanda kurung dan dipisahkan dengan tanda koma.
• Predikat: menamai hubungan antara nol atau lebih objek dalam semesta pembicaraan. Penulisannya dimulai dengan huruf kecil, seperti : equals, sama dengan, likes, near.

Contoh kalimat dasar :

teman(george,allen)

teman(ayah_dari(david),ayah_dari(andrew))

dimana :

argument : ayah_dari(david) adalah george

argument : ayah_dari(andrew) adalah allen

predikat : teman

Universal Quantifier

Menunjukkan semua kalimat adalah benar untuk semua nilai variabelnya. Direpresentasikan dengan symbol ∀ diikuti satu atau lebih argument untuk suatu domain variable. Symbol ∀ diinterpretasikan “untuk setiap”atau “untuk semua”.

Contoh :

(∀x) (x + x = 2x)

“untuk setiap x (dimana x adalah suatu bilangan),

kalimat x + x = 2x adalah benar.”

Existensial Quantifier

Menunjukkan semua kalimat adalah benar untuk suatu nilai tertentu dalam sebuah domain. Direpresentasikan dengan symbol ∃diikuti satu atau lebih argument. Symbol ∃ diinterpretasikan “terdapat”atau “ada”, “paling sedikit satu”,“terdapat satu”, “beberapa”.

Contoh  :

(∀x) (gajah(x) 􀃆berkaki empat(x))

Dibaca : “semua gajah berkaki empat”.

Sumber

http://supriyan.staff.gunadarma.ac.id/Downloads/files/11876/5-Representasi-Pengetahuan-LOGIKA.pdf