Peng. Teknologi Sistem Cerdas

Logika Orde Pertama

(First Order Logic)

MATERI

5

Handhika Prameswara

• UNIVERSITAS GUNADARMA

Pengenalan logika �orde pertama

​

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).

​

Logika orde pertama adalah sistem resmi yang digunakan dalam matematika , filsafat ,linguistik , dan ilmu komputer . Hal ini juga dikenal sebagai orde pertama predikat kalkulus, semakin rendah kalkulus predikat, teori kuantifikasi, dan logika predikat. Logika orde pertama dibedakan dari logika proposisional oleh penggunaan variabel terukur .

Handhika Prameswara

​

Sintak dan semantik �logika orde pertama

​

• Kalimat Atomic�Merupakan komponen yang dapat terbentuk dari Predicate(Term, ...) atau Term=Term. Atomic sentence merupakan kalimat paling sederhana dan belum memiliki komponen logika lainnya.

Handhika Prameswara

​

Sintak dan semantik �logika orde pertama

​

• Kalimat Kompleks

Merupakan kalimat kompleks yang tersusun dari beberapa atomic sentence yang saling terhubung berdasarkan logika dengan menggunakan connective.

Handhika Prameswara

​

Sintak dan semantik �logika orde pertama

​

• Equality

Merupakan logika yang membandingkan kesamaan antara dua atau lebih kalimat yang memiliki kesamaan nilai logika. Equality disimbolkan dengan tanda =

Handhika Prameswara

​

Sintak dan semantik �logika orde pertama

​

• Quantifiers

Terdapat dua quantifier secara umum yaitu Universal quantifier (∀) yang menyatakan sesuatu yang bersifat umumdan Existential quantifier (∃) yang menyatakan sesuatu yang berlaku sebagian saja.

Logika

​

•  Proposisi vs. Inferensi Logika Orde Pertama

Proposisi adalah pernyataan tentang hubungan yang terdapat di antara subjek dan predikat. Dengan kata lain, proposisi adalah pernyataan yang lengkap dalam bentuk subjek-predikat atau term-term yang membentuk kalimat. Kaliimat Tanya,kalimat perintah, kalimat harapan,dan kalimat inversi tidak dapa disebut proposisi. Hanya kalimat berita yang netral yang dapat disebut proposisi. Tetapi kalimat-kalimat itu dapat dijadikan proposisi apabila diubah bentuknya menjadi kalimat berita yang netral.

Handhika Prameswara

​

�Berdasarkan bentuk dapat �dibagi menjadi 2

•  Tunggal

adalah proposisi yang terdiri dari satu subjek dan satu predikat atau hanya mengandung satu pernyataan.�Contoh :�a. Semua petani harus bekerja keras.�b. Setiap pemuda adalah calon pemimpin

Handhika Prameswara

​

�Berdasarkan bentuk dapat �dibagi menjadi 2

​

•  Majemuk atau jamak

adalah proposisi yang terdiri dari satu subjek dan lebih dari satu predikat.�contoh :�

a. Semua petani harus bekerja keras dan hemat.

b. Paman bernyanyi dan menari.

Handhika Prameswara

​

Unifikasi dan Lifting

​

• Unifikasi

adalah usaha untuk mencoba membuat dua ekspresi menjadi identik (mempersatukan keduanya) dengan mencari substitusi-substitusi tertentu untuk mengikuti peubah-peubah dalam ekspresi mereka tersebut. Unifikasi merupakan suatu prosedur sistematik untuk memperoleh peubah-peubah instan dalam wffs. Ketika nilai kebenaran predikat adalah sebuah fungsi dari nilai-nilai yang diasumsikan dengan argumen mereka, keinstanan terkontrol dari nilai-nilai selanjutnya yang menyediakan cara memvalidasi nilai-nilai kebenaran pernyataan yang berisi predikat. Unifikasi merupakan dasar atas kebanyakan strategi inferensi dalam Kecerdasan Buatan. Sedangkan dasar dari unifikasi adalah substitusi.

Handhika Prameswara

​

Unifikasi dan Lifting

​

Aturan-aturan unifikasi :

• Dua atom (konstanta atau peubah) adalah identik.
• Dua daftar identik, atau ekspresi dikonversi ke dalam satu buah daftar.
• Sebuah konstanta dan satu peubah terikat dipersatukan, sehingga peubah menjadi terikat kepada konstanta.
• Sebuah peubah tak terikat dipersatukan dengan sebuah peubah terikat.
• Sebuah peubah terikat dipersatukan dengan sebuah konstanta jika pengikatan pada peubah terikat dengan konstanta tidak ada konflik.
• Dua peubah tidak terikat disatukan. Jika peubah yang satu lainnya menjadi terikat dalam upa-urutan langkah unifikasi, yang lainnya juga menjadi terikat ke atom yang sama (peubah atau konstanta).
• Dua peubah terikat disatukan jika keduanya terikat (mungkin melalui pengikatan tengah) ke atom yang sama (peubah atau konstanta).

Handhika Prameswara

​

Forward dan �Backward Chaining

​

• Forward chaining :�Suatu rantai yang dicari atau dilewati/dilintasi dari suatu permasalahn untuk memperoleh solusi.�Penalaran dari fakta menuju konklusi yang terdapat dari fakta.

​

• Backward chaining :�Suatu rantai yang dilintasi dari suatu hipotesa tersebut.�Tujuan yang dapat

Handhika Prameswara

​