Logika informatika 7.

Slides:



Advertisements
Presentasi serupa
Logika.
Advertisements

Pengenalan logika Pertemuan 1.
LOGIKA INFORMATIKA VALIDITAS PEMBUKTIAN.
Kalimat Berkuantor.
BAB 4 METODE DEDUKSI KALIMAT LOGIKA
Algoritma dan Pemrograman 2C
BAB 6 METODE DEDUKSI UNTUK KALIMAT BERKUANTOR
1.2. Logika Predikat Pada pembahasan pasal sebelumnya kita telah
7. Inverensi Logika 7.1. Validitas suatu argumen
REPRESENTASI PENGETAHUAN
INFERENSI.
VALIDITAS PEMBUKTIAN – Bagian II
PENALARAN disebut juga ARGUMEN
1.2. Logika Predikat Pada pembahasan pasal sebelumnya kita telah
Matematika Komputasi Inferensi Logika
KECERDASAN BUATAN (ARTIFICIAL INTELLIGENCE)
1. 2 Adalah ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argumen yang valid.
Logika informatika 5.
Logika informatika 6.
PERTEMUAN 3 LOGIKA.
Mata Kuliah Logika Informatika Teknik Informatika SKS
Definisi Inferensi  Inferensi adalah : Proses yang digunakan dalam Sistem Pakar untuk menghasilkan informasi baru dari informasi yang telah diketahui.
Bab III : Logical Entailment
PEMBUKTIAN Secara umum pembuktian dapat ditulis sebagai :
BAB 4 METODE DEDUKSI KALIMAT LOGIKA
Inferensi Penarikan kesimpulan dari beberapa proposisi Kaidah :
Logika informatika 2.
Logika informatika 4.
Inferensi Penarikan kesimpulan dari beberapa proposisi Kaidah :
REPRESENTASI PENGETAHUAN DENGAN TEKNIK LOGIKA
BENTUK KLAUSA DAN PRINSIP RESOLUSI UNTUK LOGIKA PREDIKAT
Bab VI : Inferensi pada FOL
Kalimat berkuantor (logika matematika)
Mata Kuliah Logika Informatika Teknik Informatika SKS
LOGIKA Logika mempelajari hubungan antar pernyataan-pernyataan yang berupa kalimat-kalimat atau rumus-rumus, sehingga dapat menentukan apakah suatu pernyataan.
Matematika Diskrit Logika.
Matematika Diskrit Bab 1-logika.
PENALARAN MATEMATIKA OLEH KELOMPOK 1 Nama:
Inverensi dan Argumen FTI UMB Yogyakarta
ZULFA ROHMATUL MUBAROKAH ( /4A)
Silogisme Kategoris Dasar-Dasar Logika
Validitas Argumen dengan Aturan Inferensi
Penalaran Deduktif (Bella: Slide )
Kelompok 6 Logika Matematika.
LOGIKA INFORMATIKA.
F. Metode Inferensi Teknik untuk mendapatkan konklusi yang valid berdasarkan premise yang ada tanpa menggunakan Tabel Kebenaran Ada beberapa Metode antara.
Bab III : Standard Axiom Schemata
Logika informatika 5.
Bab III : Standard Axiom Schemata
Logika informatika 6.
A. Bentuk Klausul Resolusi Proposional hanya dapat digunakan jika ekspresi yang diketahui dalam bentuk Klausul Klausul adalah himpunan yang berisi literal.
Logika informatika 3.
Logika informatika soal pengayaan 2
PENARIKAN KESIMPULAN/ INFERENSI
LOGIKA MATEMATIKA 07 April 2016
Logika informatika 6.
LOGIKA INFORMATIKA Kuantor.
Pembuktian Langsung Dan Skema Penarikan Kesimpulan
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
ATURAN INFERENSI LANJUTAN
Logika (logic).
VALIDITAS PEMBUKTIAN – Bagian I
ATURAN PEMBUKTIAN KONDISIONAL
INFERENSI LOGIKA.
M. A. INEKE PAKERENG, S.Kom., M.Kom.
Propositional Resolusi
INFERENSI LOGIKA.
BAB I DASAR-DASAR LOGIKA
PENARIKAN KESIMPULAN.
Bab III : Standard Axiom Schemata
Transcript presentasi:

Logika informatika 7

Logika relasional : argumen berkuantor Uji validitas

argumen berkuantor Perhatikan argumen berikut : Jika pintu lintas kereta api ditutup, maka lalulintas akan terhenti Jika lalulintas terhenti maka akan terjadi kemacetan lalulintas pintu kereta api ditutup, jadi terjadi kemacetan lalulintas Buktikan validitasnya

argumen berkuantor argumen tersebut dapat diselesaikan : p : pintu lintas kereta api ditutup q : lalulintas akan terhenti r : terjadi kemacetan lalulintas 1. pq premis 2. qr premis 3. p premis 4. pr HS 1 dan 2 5. r MP 4 dan 3 Jadi terbukti terjadi kemacetan lalulintas

argumen berkuantor argumen tersebut diselesaikan dengan prinsip resolusi: pq 1. {p,q} pr qr 2. {q,r} pr p 3. {p} pr r 4. {r} NG 5. {p,r} 1 dan 2 6. {p} 4 dan 5 7. { }

argumen berkuantor Bagaimana jika argumen berikut : semua kucing adalah hewan menyusui Tom adalah seekor kucing jadi Tom adalah hewan menyusui Buktikan validitasnya

argumen berkuantor Karena argumen mengandung Kuantor, maka pembuktianya melalui Logika Relasional Inferensi yang digunakan dalam bentuk Logika Relasional

argumen berkuantor Inferensi tambahan yang melibatkan Logika Relasional : 1. Modus Ponen 2. Modus Tolen 3. Silogisme 4. Conjunctive/And-Introduction 5. Universal Elimination (UE)

argumen berkuantor Inferensi Yang Digunakan Modus Ponen (MP) Contoh : umur19(Budi)  SIM(Budi) umur19(Budi) SIM(Budi)

argumen berkuantor 2. Modus Tollen (MT) Contoh : umur19(Budi)  SIM(Budi) SIM(Budi) umur19(Budi)

argumen berkuantor 3. Silogisme (S) Contoh : umur19(Budi)  SIM(Budi) SIM(Budi)  stir_mbl(Budi) umur19(Budi)stir_mbl(Budi)

argumen berkuantor 4. And-Introduction (AI) atau Konjungtive Jika ada premis P1, P2, P3 maka kesimpulannya P1  P2  P3 kelas(Budi) premis umur19(Budi) premis kelas(Budi)  umur19(Budi)

argumen berkuantor 5. Universal Elimination (UE) atau Universal Instantiation (UI) Jika diketahui Logika Relasional misalnya premis : x(P(x)) jika x=a, a simbol individual, maka kesimpuan : P(a)

argumen berkuantor Contoh 1: semua kucing adalah hewan menyusui Tom adalah seekor kucing jadi Tom adalah hewan menyusui Buktikan validitasnya

argumen berkuantor Buat Logika Relasionalnya semua kucing adalah hewan menyusui Logika Relasionalnya : x(kucing(x) hwn_meyusui(x))

argumen berkuantor Buat Logika Relasionalnya Tom adalah seekor kucing ini merupakan fakta Logika Relasionalnya : kucing(Tom)

argumen berkuantor Jadi : 1. x(kucing(x) hwn_mensusui(x)) 2. kucing(Tom) 3. UE pada 1 misal x = Tom kucing(Tom)hwn_menyusui(Tom))

argumen berkuantor 4. MP antara 3 dan 4 kucing(Tom) hwn_menyusui(Tom)) kucing(Tom) hwn_menyusui(Tom) hwn_menyusui(Tom) artinya Tom adalah hewan menyusui, jadi terbukti

argumen berkuantor Contoh 2: Semua orang yang sabar akan berhati tenang Tidak ada orang berhati tenang cepat naik darah Alysa adalah orang yang sabar Jadi Alysa tidak cepat naik darah Buktikan validitasnya

argumen berkuantor Contoh 3: Setiap atlit adalah kuat Semua orang yang kuat dan cerdas akan sukses dalam karirnya Ade adalah seorang atlit Ade adalah seorang yang cerdas Jadi Ade akan sukses dalam karirnya Buktikan validitasnya

argumen berkuantor Contoh 4: Dalam sebuah keluarga diketahui bahwa Tono adalah bapak dari Budi, sedangkan Budi adalah bapak dari Andi. Buktikan bahwa Tono Kakek dari Andi.

argumen berkuantor Contoh 5: Jeki, seorang murid di kelas ini berumur 19 tahun. Setiap orang yang berumur 19 tahun boleh mendapatkan SIM. Buktikan bahwa seseorang di kelas ini boleh mendapatkan SIM.

argumen berkuantor Paryo Parmi Ida Jarwo Wati Agus Bejo Ade Oki Contoh 6 : Diketahui Silsilah keluarga Paryo Parmi Ida Jarwo Wati Agus Bejo Ade Oki

argumen berkuantor Dikethui fakta Buktikan : 1. Jarwo anaknya Paryo 2. Ida menantunya Paryo 3. Wati saudara kandung Jarwo 4. Bejo cucunya Paryo

SLIDE 7 SELESAI