Pertemuan 2 : Propositional Logic dan Predicate Calculus

Propositional Logic

• Propositional logic merupakan salah satu bentuk (bahasa) repre-sentasi logika yang paling tua dan paling sederhana.

• Dengan cara ini beberapa fakta dapat digambarkan dan dimanip-ulasi dengan menggunakan aturan-aturan aljabar Boolean.

• Propositional logic membentuk statement sederhana atau state-ment yang kompleks dengan menggunakan propositional connective, dimana mekanisme ini menentukan kebenaran dari sebuah statement kompleks dari nilai kebenaran yang direpresentasikan oleh statement lain yang lebih sederhana.

Predicate Calculus

• Kalkulus predikat, disebut juga logika predikat memberi tambahan kemampuan untuk merepresentasikan pengetahuan dengan lebih cermat dan rinci.

• Istilah kalkulus disini berbeda dengan istilah kalkulus dalam bidang matematika.

• Suatu proposisi atau premis dibagi menjadi dua bagian, yaitu AR-GUMEN (atau objek) dan PREDIKAT (keterangan).

• Argumen adalah individu atau objek yang membuat keterangan.

• Predikat adalah keterangan yang membuat argumen dan predikat.

• Dalam suatu kalimat, predikat bisa berupa kata kerja atau bagian kata kerja.

• Representasi pengetahuan dengan menggunakan predicate calculus merupakan dasar bagi penulisan bahasa pemrograman PROLOG.