Representasi Pengetahuan Logika Proposisi Rakhmi Khalida
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
Contoh Premis 1: Semua laki-laki adalah makhluk hidup Premis 2 : Ali adalah laki-laki Konklusi : Ali adalah makhluk hidup
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
Logika dan Set Himpunan Operasi-operasi dasar dalam diagram Venn : Interseksi (Irisan)
Union (Gabungan) Komplemen
Logika Komputasional Logika Proposisi Logika Predikat
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
Operator Logika
Contoh Contoh 1 : Contoh 2 : Logika proposisi dengan operator logika AND, IF..THEN , IF AND ONLY IF
Istilah dalam Proposisi Tautologi: pernyataan gabungan yang selalu bernilai benar. Kontradiksi: pernyataan gabungan yang selalu bernilai salah. Contingent: pernyataan yang bukan tautology ataupun kontradiksi.
Resolusi Logika Proposisi Resolusi : suatu aturan untuk melakukan inferensi yang dapat berjalan secara efisien dalam suatu bentuk khusus, conjunctive normal form (CNF)
Konversi ke CNF :
Contoh Tentukan kebenaran R. Lakukan resolusi proposisi
Tambahkan kontradiksi ada tujuannya, R menjadi ¬ R, sehingga fakta-fakta (dalam bentuk CNF) dapat disusun menjadi :
Latihan Golongkan pernyataan berikut, merupakan tautologi, kontradiksi, contingent.