Upload presentasi
Presentasi sedang didownload. Silahkan tunggu
1
Logika informatika 4
2
Proposional resolusi :
Bentuk klausa Prinsip resolusi
3
Bentuk klausa Proposional resolusi merupakan aturan inferensi, tetapi dalam bentuk Klausa Jika premis-premis yang diketahui bentuknya masih sederhana, maka dalam mendapatkan kesimpulan mesin inferensi masih mampu
4
Bentuk klausa Bagaimana jika bentuk premisnya kompleks ? misalnya :
a. (p(rq)) b. (pr)(rq) Atau yg tidak sesuai lagi dengan mesin inferensi
5
Bentuk klausa Premis yang kompleks harus diubah ke dalam bentuk klausa
Bentuk Klausa adalah himpunan yang berisi Literal
6
Bentuk klausa Literal proposisi atomik p bentuk klausanya {p}
q bentuk klausanya {q} p bentuk klausanya {p} Literal proposisi majemuk disjungsi p q bentuk klausanya {p,q} r s bentuk klausanya {r,s} r q bentuk klausanya {r,q}
7
Bentuk klausa Bagaimana bentuk klausa dari proposisi yang mengandung
Konjungsi () Implikasi () Bi Implikasi () Negasi ()
8
Bentuk klausa Karena bentuk klausa hanya mengenal Literal, negasi Literal dan Disjungsi, maka proposisi yang tidak mengandung Disjungsi harus diubah terlebih dahulu ke bentuk Disjungsi atau Literalnya CARANYA ?
9
Bentuk klausa Ada 4 Tahap 1. Implication Out (I) 2. Negation In (N)
3. Distribution (D) 4. Operator Out (O) Disingkat INDO
10
Bentuk klausa Implication Out (I) a. 12 menjadi 1 2
b. 12 menjadi 1 2 c. 12 menjadi (12) (12)
11
Bentuk klausa 2. Negation In (N) a. (1) menjadi 1 b. (1 2) menjadi 1 2 c. (1 2) menjadi 1 2
12
Bentuk klausa 3. Distribution (D) a. 1 (2 3) (1 2) (1 3) b. (1 2) 3 (1 2) (1 3) c. 1 (2 3) (1 2 3) d. (1 2) 3 (1 2 3) e. 1 (2 3) (1 2 3) f. (1 2) 3 (1 2 3)
13
Bentuk klausa 4. Operator Out (O) a. 1 2 … n {1, 2, . n} b. 1 2 … n {1}, {2}, ,{n}
14
Bentuk klausa Contoh 1: Diketahui proposisi p (rq) ubahlah kedalam bentuk Klausa
15
Bentuk klausa Jawab : I : p (rq) hilangkan p (r q) N : p (r q) tidak ada () di luar kurung D : p (r q) tidak perlu D O : {p}, {r, q} jadi p (rq) bentuk klausanya {p}, {r, q}
16
Bentuk klausa Contoh 2: Diketahui proposisi(p (qr)) ubahlah kedalam bentuk Klausa
17
Bentuk klausa Jawab : I : (p (qr)) hilangkan (p (q r)) N : (p (q r)) ada () di luar (p (q r)) masih ada () (p (q r)) masih ada dobel () (p (q r)) tidak ada negasi D : (p (q r)) perlu D (p q) (p r) O : {p , q}, {p, r} jadi (p (qr)) bentuk klausanya {p , q}, {p, r}
18
Bentuk klausa Soal 1 : Tentukan bentuk klausa dari pernyataan berikut
19
Bentuk klausa Soal 2 : Tentukan bentuk klausa dari pernyataan berikut
20
Bentuk klausa Soal 3 : Tentukan bentuk klausa dari pernyataan berikut
21
Bentuk klausa Soal 4 : Tentukan bentuk klausa dari pernyataan berikut
22
Bentuk klausa Soal 5 : Tentukan bentuk klausa dari pernyataan berikut
23
Bentuk klausa Soal 6 : Tentukan bentuk klausa dari pernyataan berikut
24
Prinsip resolusi Prinsip Resolusi adalah pembuktian sebuah kesimpulan dari premis- premis dalam bentuk klausa.
25
Prinsip resolusi Prinsip Resolusi didefinisikan sebagai berikut :
26
Prinsip resolusi Inget INDO ? I : 12 menjadi 1 2 N : 1 2 D : 1 2 O : {1, 2} Jadi 12 bentuk klausanya {1, 2}
27
Prinsip resolusi Misalkan :
28
Prinsip resolusi Jika dihubungkan dengan Inferensi Modus Ponen (MP)
Premis premis Konklusi
29
Prinsip resolusi 2. Modus Tollens (MT) Premis premis Konklusi
30
Prinsip resolusi 3. Silogisme Premis premis Konklusi
31
Prinsip resolusi 4. Himpunan Kosong
32
Prinsip resolusi Untuk membuktikan bahwa kesimpulan
itu valid atau tidak ataupun Himpunan Premis merupakan Logika Entalment atau tidak, maka langkahnya : Negasikan Kesimpulanya Gunakan Mesin Inferensi Usahakan dapat mencapai himpunan kosong { } Jika dapat menghasilkan { }, artinya terbukti kesimpulan valid
33
Prinsip resolusi Contoh 1 : Diketahui {q} merupakan kesimpulan dari premis-premis {p,q}, {p,q,r} dan {r} Buktikan !
34
Prinsip resolusi Jawab 1 : {p,q} premis {p,q,r} premis {r} premis
{q} Negasi Kesimpulan {p,q} dari 2 dan 3 {q} dari 1 dan 5 { } dari 4 dan 6 Terbukti valid
35
Prinsip resolusi Contoh 2 : Diketahui {r} merupakan kesimpulan dari premis-premis {p,q}, {p,r} dan {q,r} Buktikan !
36
Prinsip resolusi Contoh 3 : Diketahui {r} merupakan kesimpulan dari premis-premis {p,q}, {p,r}, {r,s} dan {q,s} Buktikan !
37
Prinsip resolusi Contoh 4 : Diketahui {p} merupakan kesimpulan dari premis-premis {p,r}, {r,s} dan {s} Buktikan !
38
Prinsip resolusi Contoh 5 : Diketahui {r} merupakan kesimpulan dari premis-premis {p,q,r}, {p,r} dan {q,r} Buktikan !
39
Prinsip resolusi Contoh 6 : Diketahui {r} merupakan kesimpulan dari premis-premis {p,q}, {p,r} dan {q} Buktikan !
40
Prinsip resolusi Contoh 7 : Diketahui {s} merupakan kesimpulan dari premis-premis {p,q}, {q,r}, {p,s} dan {r} Buktikan !
41
Prinsip resolusi Contoh 8 : Diketahui {r} merupakan kesimpulan dari premis-premis {p,q}, {p,q} dan {q} Buktikan !
42
SLIDE 4 SELESAI
Presentasi serupa
