Representasi Pengetahuan Logika Proposisi

Presentasi berjudul: "Representasi Pengetahuan Logika Proposisi"— Transcript presentasi:

1 Representasi Pengetahuan Logika Proposisi
Rakhmi Khalida

2 Logika Logika dikembangkan oleh filusuf Yunani, Aristoteles (abad ke 4 SM) didasarkan pada silogisme, dengan dua premis dan satu konklusi. Logika merupakan salah satu bahasa representasi yang paling tua dari studi AI

3 Contoh Premis 1: Semua laki-laki adalah makhluk hidup
Premis 2 : Ali adalah laki-laki Konklusi : Ali adalah makhluk hidup

4 Cara lainnya adalah dengan Diagram Venn.
Diagram Venn merepresentasikan sebuah himpunan yang merupakan kumpulan objek Objek dalam himpunan disebut elemen. A ={1,3,5,7} B = {….,-4,-2,0,2,4,…..} C = {pesawat, balon} Ali

5 Logika dan Set Himpunan
Operasi-operasi dasar dalam diagram Venn : Interseksi (Irisan)

6 Union (Gabungan) Komplemen

7 Logika Komputasional Logika Proposisi Logika Predikat

8 Logika Proposisi Proposisi merupakan pernyataan yang dapat bernilai benar atau salah. Logika proposisi : logika yang menangani atau memproses penarikan kesimpulan secara logis dari proposisi-proposisi Dua atau lebih proposisi dapat digabungkan dengan menggunakan operator logika

9 Operator Logika

10 Contoh Contoh 1 : Contoh 2 : Logika proposisi dengan operator logika AND, IF..THEN , IF AND ONLY IF

11 Istilah dalam Proposisi
Tautologi: pernyataan gabungan yang selalu bernilai benar. Kontradiksi: pernyataan gabungan yang selalu bernilai salah. Contingent: pernyataan yang bukan tautology ataupun kontradiksi.

12

13 Resolusi Logika Proposisi
Resolusi : suatu aturan untuk melakukan inferensi yang dapat berjalan secara efisien dalam suatu bentuk khusus, conjunctive normal form (CNF)

14 Konversi ke CNF :

15 Contoh Tentukan kebenaran R. Lakukan resolusi proposisi

16 Tambahkan kontradiksi ada tujuannya, R menjadi ¬ R, sehingga fakta-fakta (dalam bentuk CNF) dapat disusun menjadi :

17

18 Latihan Golongkan pernyataan berikut, merupakan tautologi, kontradiksi, contingent.