BAB 3 Teknik Perwakilan Pengetahuan Logik

TS2023 Sistem Cerdas

BAB 3 Teknik Perwakilan Pengetahuan Logik Pengenalan Logik simbolik mengandungi 2 cabang iaitu Logik usulan dan Logik predikat. Logik usulan mengambil usulan sebagai satu unit tunggal. Manakala Logik predikat pula membuat beberapa ciri yang boleh memperkembangkan atau meluaskan maksud sesuatu ayat dengan lebih baik. Penggunaan wakil simbol Logik predikat iaitu konstan, pembolehubah, fungsi dan ayat atomik , pengkuantiti ,semantiks dan sintaks dalam Logik predikat boleh menaakul perwakilan pengetahuan dengan lebih kemas dan lengkap. Anda juga akan diterangkan maksud istilah modus ponen, modus tolen dan well-formed formula dalam penggunan Logik predikat nanti. Selain itu, anda juga akan mempelajari petua penaabiran, petua penyatuan dan teori pembuktian resolusi dalam pelbagai jenis Logik. Bab ini juga akan menerangkan kebaikan dan keburukan Logik dan bagaimana untuk mengatasi masalah ini.

Objektif Di akhir bab ini anda dapat: 1. Pelajar akan faham sejarah awal Logik. 2. Pelajar akan mengetahui konsep asas Logik usulan. 3. Pelajar akan mengetahui konsep asas dan petua dalam Logik predikat. 4. Pelajar juga akan mampu melakukan pembuktian teorem Logik.

2.0 Apakah Logik atau Mantik ? Tahukah anda bahawa Logik adalah satu kaedah perwakilan pengetahuan yang mula-mula digunakan dalam sistem cerdas ? Siapakah yang perkenalkannya? Kononnya Logik juga boleh dikenali sebagai mantik. Perkataan Logik merupakan bahasa Latin manakala Mantik adalah bahasa Arab yang digunakan semenjak zaman Ibnu Sinar lagi. Kenapa Logik lebih terkenal dari Mantik? Mungkin disebabkan oleh penjajahan.

1

TS2023 Sistem Cerdas Logik boleh digunakan atau diaplikasikan untuk mengungkap penyataan, menaabir penyataan baru dan membukti/menafi/menyangkal penyataan. Takrifan bagi penaakulan adalah proses deduksi fakta baru daripada fakta yang sedia manakala deduksi pula adalah tatacara penaakulan yang bersistem dan Logik. Sebutan yang selalu digunakan dalam Logik pula adalah penyataan, usulan, ayat, ungkapan, aksiom, teorem dan lain-lain. Sila rujuk Rajah 2.0. Hujah P Bukti/sangkal penyataan baru, menggunakan S

P P:Set aksiom (penyataan benar)

Memapan kekosistenan Logik, S (pembuktian teorem resolusi)

Rajah 2.0: Konsep asas dalam Logik.

2


penyataan Nilai kebenaran Benarkan: kata_hubung Logik

Benarkan: pembolehubah

usulan

Predikat (“rumus atomik”) Logik Usulan

Kata_hubung Logik & pengkuantiti

Logik peringkat pertama

Rumus terbentuk rapi

Logik predikat

Rajah 2.1:Asal-usul Logik usulan dan predikat. Setakat ini, dua kaedah Logik yang biasa dikaitkan dengan kecerdasan buatan ialah Logik Usulan (Propositional Logic) dan Logik Predikat/ Kalkulus Predikat (Predicate Logic/Predicate Calculus). Sekiranya anda imbas semula bab 2 iaitu pengaturcaraan PROLOG, secara dasarnya bab ini akan menceritakan bagaimana aturcara tersebut boleh menjanakan hasilnya. Di harap anda akan merasa seronok untuk mengetahui prosesnya yang berlaku di dalam. Jadual 2.0: Undang-undang Logik Aristotle Nama IDENTITI

PERCANGGAHAN (contradiction)

Keterangan • Sesuatu yang menyerupai sendiri. • Kenyataan yang membawa maksud tersendiri • Sesuatu yang bukan jadi kedua-duanya dan bukan sesuatu. • Tiada kenyataan sama ada benar atau palsu.

Ungkapan A adalah A (A is A)

A adalah bukan bukan-A (A is not not-A)

3

TS2023 Sistem Cerdas TIDAK TERMASUK PERTENGAHAN (excluded middle)

• •

Sesuatu yang ada atau tidak tidak ada Setiap kenyataan sama ada benar atau palsu

A adalah bukan kedua-duanya A dan bukan-A (A is not both A and not-A)

Secara ringkas tujuan Undang-undang Logik adalah untuk: 1. Memelihara penyataan integriti 2. Menjanakan sesuatu penyataan dengan nilai kebenaran (Benar / Palsu) 3. Setelah sesuatu nilai kebenaran diterima sebagai penyataan, ia tidak boleh diubah lagi.

2.1 Logik Usulan (Propositional Calculus) Logik Usulan adalah suatu perwakilan dan alasan dengan usulan di mana penyataannya yang bernilai sama ada BENAR atau PALSU contoh: Jadual 2.1: Contoh nilai kebenaran bagi suatu usulan. Simbol U1 U2 U3 U4

Usulan Semua segiempat tepat mempunyai 4 sisi Semua burung memiliki sayap Semua segitiga mempunyai 2 sisi Burung boleh terbang

Nilai Benar Benar Palsu Benar/Palsu

Oleh itu, penyataan U1 & U2 disebut tautologi dan penyataan U3 pula dipanggil falasi. Berikut adalah contoh bentuk perwakilan Logik usulan di mana ia boleh terdiri dari alphanumerik, simbol usulan atau perkataan. Sila rujuk Jadual 2.2. Jadual 2.2: Perwakilan secara Logik usulan. Usulan U1 U2 U3 U4

Contoh bentuk perwakilan a, U1, segiempat…. b,U2, burung_bersayap…. c, U3, sisi_segitiga…. d,U4, burung_terbang...

4

TS2023 Sistem Cerdas Perhatian : Setiap penyataan yang anda wakilkan mestilah mempunyai simbol yang berbeza. a. Kata penghubung (Connectives) Sesuatu ayat tidak akan lengkap jika kita hanya menggunakan satu perkataan sahaja. Oleh itu, kata penghubung seperti dan, atau , dengan dan lain-lain lagi akan menjadi pelengkap kepada suatu ayat. Begitulah juga dengan Logik usulan yang juga mementingkan kata hubung dalam mewakilkan pengetahuan. Sila rujuk antara kata hubung yang dibenarkan dalam Logik. Jadual 2.3: Senarai kata hubung atau Connectives dalam Logik usulan. kata_hubung ATAU (OR) DAN (AND) TAK (NOT) IMPLIKASI (IMPLICATION) Setara (EQUIVALENCE)

simbol ∨ , + ,∪ ∧,∩ ,- . ~, ¬,− ⊃, →, ⇒

contoh a atau b: a ∨ b, a ∪ b a dan b: a ∧ b, a ∩ b tak a : ~a,-a a implikasi b: a ⇒ b

≡, ⇔ , ↔

a setara b: a ≡ b

Jadual yang berikut akan menerangkan jadual kebenaran mengikut penggunaan kata penghubung yang telah anda belajar sebelum ini.

5


Jadual 2.4 : Jadual kebenaran yang mewakilikan B= benar, P=palsu

a B B P P

b B P B P

a∨ b B B B P

aΛb B P P P

~a P P B B

a →b B P B B

a≡b B P P B

Contoh penggunaan Logik usulan dengan menggunakan petua pentaabiran. JIKA kereta tidak boleh dihidupkan ----P DAN amat jauh berjalan untuk ke kuliah TS2023 ----Q MAKA hari ini saya akan ketinggalan pelajaran Sistem Cerdas----R Kita boleh tulis petua di atas sebagai P ∧ Q → R Ayat dalam Logik Usulan dibentuk melalui gabungan simbol-simbol usulan dengan menggunakan kata penghubung mengikut syaratsyarat tertentu:1. Setiap simbol usulan dan simbol kebenaran adalah suatu ayat Contoh: P, Q, R, Benar dan Palsu adalah ayat 2. Penafian ayat adalah suatu ayat Contoh: ¬P or ¬Benar adalah ayat 3. DAN (TINDANAN) pada dua ayat adalah suatu ayat Contoh: P ∧ Q adalah ayat 4. ATAU (PENYATUAN) pada dua ayat adalah suatu ayat Contoh: P ∨ Q adalah ayat 5. IMPLIKASI satu ayat kepada ayat lain adalah suatu ayat Contoh: P ⇒ Q adalah ayat. P adalah premis dan Q adalah konklusi 6. KESETARAAN dua ayat adalah suatu ayat Contoh: P = Q adalah ayat

2.2.1 Well-Formed Formulas ( WFF's)

6

TS2023 Sistem Cerdas Satu ungkapan yang terbentuk dari simbol usulan benar dan disusun mengikut turutan syarat-syarat usulan merupakan ayat benar dan dipanggil Well-Formed Formulas atau WFF's. Bagaimana hendak mengenali satu penaabiran adalah ayat benar: Ungkapan:

((P ∧ Q ) ⇒ R ) = ¬P ∨ ¬Q ∨ R

Syarat: Setiap juzuk ungkapan adalah ayat maka ungkapan tersebut dikatakan satu ayat. Sibu setiap juzuk mengikut syarat-syarat usulan yang ada,

• • • • • • •

P, Q, R adalah SIMBOL USULAN dan juga ayat P∧Q , adalah DAN (TINDANAN) terhadap dua ayat dan satu ayat ( P ∧ Q ) ⇒ R , adalah IMPLIKASI ayat bagi ayat yang lain dan satu ayat ¬Pdan¬Q adalah PENAFIAN ayat dan juga satu ayat ¬P ∨ ¬Q adalah ATAU (PENYATUAN) bagi 2 ayat dan juga ayat ¬P ∨ ¬Q ∨ R adalah ATAU (PENYATUAN) bagi 2 ayat dan satu ayat ((P ∧ Q ) ⇒ R ) = ¬P ∨ ¬Q ∨ R adalah SETARA bagi dua ayat juga satu ayat.

Oleh yang demikian, ungkapan diberi adalah .

juga juga

satu juga dan

ayat benar atau WFF

7


2.2.2 Semantiks Dalam Logik usulan, Semantiks merujuk kepada MAKSUD kepada ayat usulan PENTERJEMAHAN pula adalah merujuk kepada setiap usulan simbol berkait dengan satu penyataan atau simbol usulan. S menandakan Matahari sedang memancar T menandakan Saya ada kereta merah Di mana kedua-dua S dan T boleh memberi nilai kebenaran sama ada BENAR atau PALSU bergantung kepada keadaan tertentu. Oleh itu, PENTERJEMAHAN digunakan untuk memberi kebenaran (BENAR atau SALAH) kepada ayat usulan.

nilai

Semantiks Logik usulan (Propositional Calculus Semantics) adalah PENTERJEMAHAN satu set usulan iaitu dengan menetapkan nilai kebenaran BENAR (B) atau PALSU (P) kepada setiap simbol usulan.

Penterjemahan bagi sesuatu ayat dikenalpasti melalui,

•

PENAFIAN ( ¬S ): P sekiranya S ialah B ; B sekiranya S ialah P

•

DAN ( S ∧ T ): B sekiranya S dan T adalah B; sebaliknya P.

•

OR ( S ∨ T ): P sekiranya S dan T adalah P; sebaliknya B.

•

IMPLIKASI ( S ⇒ T ): P sekiranya S adalah B dan T adalah P; sebaliknya B.

•

SETARA( S = T ): B sekiranya S dan T adalah sama nilai; sebaliknya P.

Berpandukan kepada petua di bawah, setiap usulan dan Logik predikat boleh ditaabirkan kepada bentuk lain. Anggap P, Q, R adalah penyataan Logik usulan. Terdapat beberapa jenis petua iaitu Kontrapositif, de Morgan, SALING TUKAR TERTIB (commutative) , KALIS SEKUTUAN (associative) dan KALIS AGIHAN /TABURAN

8


(distributive). Sekiranya diberikan beberapa ayat Logik predikat atau Logik usulan, ia perlulah ditaabir dalam bentuk yang lebih ringkas dan mudah supaya dapat ditentukan pembuktian teorem seperti yang ditunjukkan dalam sub topik 2.3.9. ¬ (¬P) ≡P (P v Q) = (¬ P → Q) Petua kontrapositif : (P → Q) = (¬ Q → ¬ P) Petua de Morgan's: ¬ (P v Q) = (¬ P∧ ¬ Q) DAN ¬ (P ∧Q) = (¬ Pv¬ Q) Petua saling tukar tertib : (P ∧Q) = (Q ∧P) DAN (P v Q) = (Q v P) Petua Kalis Sekutuan: ((P ∧ Q) ∧R) = (P ∧(Q ∧ R)) Petua Kalis Sekutuan: ((P v Q) v R) = (P v (Q v R)) Petua Kalis Agihan: P v (Q ∧ R) = (P v Q) ∧ (P v R) Petua Kalis Agihan: P ∧(Q v R) = (P ∧ Q) v (P ∧R) Berikut adalah jadual kebenaran (Jadual 2.5) bagi ungkapan dan contoh bagaimana Logik usulan boleh ditaabirkan dengan menggunakan petua di atas. Jadual 2.5: Jadual kebenaran bagi ungkapan S

T

¬S

S ∧T

S ∨T

B B P P

B P B P

P P B B

B P P P

B B B P

S ⇒T (¬S ∨ T ) B P B B

Mengenalpasti tugasan kebenaran menggunakan Jadual Kebenaran.

S =T

(S ∧ T ) ∨ ( ¬ S ∨ ¬ T ) B P P B ungkapan

dengan

Jadual Kebenaran akan menyenaraikan semua nilai kebenaran tugasan kepada usulan bagi setiap ungkapan dan kemudian memberikan nilai kebenaran ungkapan untuk setiap tugasan. Dua ungkapan akan dianggap setara sekiranya nilai kebenarannya adalah sama mengikut tugasan nilai kebenaran. Sila lihat jadual 2.6 dan jadual 2.7 untuk mendapat gambaran jelas mengenai kesetaraan apabila diberi 2 ungkapan. Jadual 2.6: Ungkapan 1 iaitu (¬S ∨ T ) = ( S ⇒ T )

9


S

T

¬S

¬S ∨ T

(S ⇒ T )

B B P P

B P B P

P P B B

B P B B

B P B B

Jadual 2.7:Ungkapan 2 iaitu

(¬S ∨ T ) = (S ⇒ T ) B B B B

(S ∨ ¬T ) = (¬S ⇒ ¬T )

S

T

¬S

¬T

S ∨ ¬T

( ¬S ⇒ ¬T )

(S ∨ ¬T ) = (¬S ⇒ ¬T )

B B P P

B P B P

P P B B

P B P B

B B P B

B B P B

B B B B

Oleh demikian

Ungkapan 1 = Ungkapan 2

2.2.3 Menggunakan Logik usulan kepada bidang pengetahuan Logik merupakan salah satu lagi perwakilan pengetahuan yang mempunyai keistimewaannya tersendiri. Sebelum anda menggunakan teknik Logik usulan kepada bidang pengetahuan tertentu, anda mestilah menganalisis struktur bidang seperti: i. usulan yang digunakan pada bidang tersebut ii. perhubungan logikal yang wujud di antara usulanusulan. Sila lihat rajah 2.2 sebagai contoh. Setiap ayat yang panjang hendaklah anda mengambilkira isi ayat yang penting sahaja. Ayat 1 boleh kita ringkaskan dari “Jikalau Ahmad minat Logik, maka dia akan belajar Logik semester depan, atau dia malas” kepada

Ahmad minat Logik.

Begitulah juga contoh bagi ayat-ayat yang lain. panggilkan sebagai proses pengabstrakan.

Proses ini kita

10


Perangai Ahmad terhadap Logik 1. Jikalau Ahmad minat Logik, maka dia akan belajar Logik semester depan, atau dia malas. 2. Jikalau Ahmad memiliki buku Logik maka dia berminat dalam Logik 3. Ahmad akan mentelaah buku mengenai Logik sendiri 4. Ahmad tidak malas.

Mengabstrak usulan

Usulan 1. Ahmad meminati Logik 2. Ahmad akan belajar Logik semester depan 3. Ahmad malas. 4. Ahmad memiliki buku Logik sendiri Aksiom 1. A ⇒ B ∨ C 2. D ⇒ A 3. D 4. ¬C

Simbol A B C D

Maksud (Jika A adalah benar, begitu juga B atau C) (Jika D adalah benar maka A adalah benar) (D adalah benar) (C adalah palsu)

Rajah 2.2: Proses pengabstrakan ayat biasa kepada Logik usulan.

2.3 Logik Predikat (Predicate Calculus) Setelah anda pelajari konsep asas Logik usulan, Logik predikat adalah lanjutan dari perwakilan pengetahuan tersebut atau kita boleh terjemahkan sebagai Kalkulus Predikat. Predikat merupakan lanjutan Logik usulan yang menyediakan perwakilan akhir bagi pengetahuan tertentu. Kalkulus Predikat mengandungi penyataan-penyataan predikat mengenai individu atau objek, ciri-cirinya dan hubungannya dengan objek lain serta mewakili nilai Benar atau Palsu.

11


Anda mesti ingat bahawa satu predikat (atau ayat atomik) mengandungi simbol predikat yang menamakan hubungan antara entiti kosong atau lebih dikenali sebagai argumen. Bentuk am: predikat (argumen). Jadual 2.8: Pembentukan dari suatu premis kepada usulan dan ditaabirkan secara predikat. premis usulan predikat 1. Ahmad seorang lelaki 2. Muru seorang lelaki 3. Siew seorang lelaki 4. Semua lelaki adalah manusia Perhatian !

P Q R S

lelaki(ahmad) lelaki(muru) lelaki(siew) manusia(lelaki)

nama predikat bermula dengan huruf kecil nama pembolehubah bermula dengan besar nama atom/pemalar bermula dengan huruf kecil

Perhatikan contoh di atas (Jadual 2.8), terdapat beberapa kelemahan Logik. Antara kelemahan yang ketara akan digariskan dalam jadual perbezaan Logik usulan dan Logik predikat (Sila rujuk jadual 2.9). Jadual 2.9: Perbezaan Logik Usulan dan Logik Predikat. Logik Usulan Tiada hubungan di antara individu bergelar lelaki dan individu bergelar manusia. Setiap simbol (P, Q, R atau S) mewakili keseluruhan usulan Tiada jalan untuk menembusi (menyelami maksu usulan untuk setiap komponen individu P = Ahmad bermain bolasepak Usulan tidak mengandungi pembolehubah

Logik Predikat Ada hubungan di antara semua individu bergelar lelaki dan semua lelaki adalah manusia. Membenarkan setiap individu komponen ditembusi atau diselami main(ahmad, bolasepak) Benarkan ungkapan mengandungi pembolehubah, Iaitu membenarkan kemasukan atau 'assertion' entiti kelas seperti, 1. main(X, bolasepak) di mana X adalah manusia yang main bolasepak

12


2. main(ahmad, Y) di mana Y adalah jenis permainan. Melalui Peraturan penaabiran, kita boleh menerbitkan ungkapan kepada ayat baru seperti, rakan_kumpulan(X, Y) ⇒ main(X, bolasepak) ∧ main(Y, bolasepak)

2.3.1 Sintaks Logik Predikat 1. Simbol Logik Predikat digunakan untuk menyatakan objek, ciriciri atau hubungan dalam dunia. Simbol adalah seperti 'token' dalam bahasa pengaturcaraan. 2. Simbol kalkulus predikat mengandungi: a. Set huruf iaitu huruf kecil atau besar b. Set digit 0, 1, …..9 c. Garis bawah atau underscore _ 3. Simbol bermula dengan huruf dan diikuti dengan sebarang susunan perkataan yang dibenarkan (huruf, digit & _ ) 4. Simbol Logik predikat yang dibenarkan: a, A, ahmad, ALI, suka, objek1, objek2, adam_dan_hawa, XXXX 5. Simbol Logik predikat yang tidak dibenarkan: & % @ ? # , ruang kosong antara huruf 2objek, jumlah%, adam dan hawa, tambah&jumlah

2.3.2 Wakil simbol predikat Terdapat 5 perkara yang penting dan anda perlu tahu dalam perwakilan simbol predikat iaitu konstan. pembolehubah, fungsi, predikat dan ayat atomik. 1. Konstan a. Selalunya digunakan kepada objek yang spesifik dan ciriciri dalam dunia. b. Dimulakan dengan huruf kecil seperti ahmad, lelaki, manusia dan lain-lain. 2. Pembolehubah a. Selalu digunakan kepada objek kelas am atau ciri-ciri am bagi sesuatu skop perbincangan.

13


b. Mesti bermula dengan hurus besar seperti Binatang, Lelaki, Kereta, Permainan , X, Y 3. Fungsi a. Mewakili satu PEMETAAN dari elemen dalam satu set (fungsi domain) ke atas elemen unik (jarak fungsi) dalam set lain. b. Simbol fungsi mesti bermula dengan huruf kecil c. Mengandungi ARITI, menyatakan bilangan elemen yang memetakan ke jarak dalam domain. Jadual 2.10: Bilangan elemen dalam fungsi tersebut adalah 2. fungsi_simbol(elemen1, elemen2) darab (2,3) campur (2,2)

PETA KEPADA

nilai

PETA KEPADA PETA KEPADA

6 4

Fungsi darab dan campur (ariti=2) MEMETA 2 nombor kepada nombor lain. Jadual 2.11: Bilangan elemen dalam fungsi tersebut adalah 1. fungsi_simbol(elemen)

PETA KEPADA

nilai

bapa(ali) kawan(ali) kakak(ali)

PETA KEPADA PETA KEPADA PETA KEPADA

ahmad hasan fatima

Fungsi bapa, kawan dan kakak (ariti=1) MEMETA 1 orang kepada orang lain d. Ungkapan Fungsi. Mengandungi satu simbol fungsi berariti n diikuti dengan TEMPOH n yang dikurungkan oleh parentisis dan dihadkan oleh masa. Contoh: bapa(ahmad). harga(epal). campur(X,Y). ayah(ayah(ahmad)). TEMPOH boleh terdiri daripada konstan, pembolehubah atau ungkapan fungsi. Contoh: ahmad

14


Kereta X NAMA darab(2,3) campur(2,4,6) 4. Predikat Satu predikat menyatakan satu HUBUNGAN di antara kosong atau lebih objek dalam sesuatu skop perbincangan. Anda juga boleh menyatakan bahawa satu hubungan merupakan satu pemetaan elemen-elemen n (bergantung kepada skop perperbincangan) kepada nilai kebenaran (BENAR atau PALSU). simbol_predikat(argumen1, argumen2) adalah_lebih_dari(2,3). adalah_lebih_dari(3,2). suka(ali, komputer) benci(ali,hujan). warna(langit, hijau).

Nilai kebenaran Palsu Benar Benar Benar Palsu

Predikat akan bermula dengan huruf kecil seperti suka, benci, main dan lain-lain. Predikat juga akan dihubungkan dengan satu ARITI iaitu nombor objek yang berkaitan. Walau bagaimanapun, nama predikat adalah sama tetapi berlainan ariti maka ia dikatakan berbeza atau 'distinct'. Oleh itu, predikat diwakili oleh hubungan berbeza. Contoh, suka(bolasepak). ariti = 1 suka(ali,komputer). ariti = 2 suka(ali, televisyen, tidur). ariti = 3 Argumen kepada satu predikat akan mengikut tempoh kerana ia boleh terdiri daripada pembolehubah atau ungkapan fungsi. Seperti kawan(ali, X). kawan(suka(komputer),benci(televisyen)). Jika diberi 2 objek , ali dan ahmad, kedua-dua suka komputer dan benci televisyen, satu ungkapan lain akan terjana iaitu: kawan(ali,ahmad). 5. Ayat atomik

15


Satu ayat atomik adalah satu predikat ariti n yang diikuti dengan TEMPOH n (iaitu konstan, pembolehubah atau ungkapan fungsi) yang dikurungi oleh perentisis dan dipisahkan oleh koma. Selain itu, satu ayat atomik boleh berhenti mengikut tempoh tertentu. Contoh: kawan(ahmad,ali). kawan(ahmad, ali,hasan). kawan(ayah(ahmad),ayah(ali)). suka(ahmad, muzik). suka(ahmad,X). suka(X,muzik). Ayat atomik boleh dipanggil sebagai ungkapan atomik atau atom. Ayat atomik juga boleh digabungkan dengan penghubung logikal (seperti ¬,∧,∨, ⇒, = ) untuk membentuk sesutau ayat.

2.3.3 Pengkuantiti Jika satu pembolehubah boleh berlaku dalam ayat maka dipengkuantiti supaya maksud ayat boleh dikenalpasti. keterangan wujud X untuk semua X

ia mesti

simbol Contoh ∃X ∃X ,(lelaki (X) ∧ pelajar(X)) ∀X ∀X ,(pelajar_itm(X) ⇒ bumiputera(X))

Pengkuantiti Semesta ∀ (Universal Quantifier): Menandakan bahawa ayat tersebut adalah BENAR untuk semua nilai dalam pembolehubah. Pengkuantiti Kewujudan ∃ (Existential Quantifier) : Menandakakan bahawa ayat tersebut adalah BENAR untuk sebahagian daripada nilai dalam pembolehubah (sekurang-kurangnya satu nilai dalam skop perbincangan tersebut). Peringatan : 1. Jika pemboleubah X dipengkuantiti, maka X disebut pembolehubah terbatas 2. Jika pembolehubah X tidak dipengkuantiti, maka X disebut pembolehubah bebas

16


Contoh ayat Logik predikat yang menggunakan pengkuantiti, 1. 2. 3.

Semua lelaki adalah manusia ∀X , (lelaki (X) ⇒ manusia(X)) Ada rakyat yang tidak suka pemimpin negara ∃X , (rakyat(X) ∧ ~suka(X,Y) ∧ pemimpin_ negara(y)) Ada rakyat perempuan yang tidak suka semua rakyat lelaki ∃X , {rakyat(X) ∧ perempuan(X) ∧ [ ∀Y ((rakyat(Y) ∧ lelaki(Y)) ⇒ ~suka(X,Y)]}

2.3.4 Semantik Logik Predikat Sekiranya anda ingin menggunakan perwakilan lojik predikat dalam penyelesaian sesuatu masalah, anda mestilah menjelaskan OBJEK dan HUBUNGAN dalam DOMAIN PENTERJEMAHAN bagi sesuatu set ungkapan WFFs. Semantik Logik predikat pula akan menyediakan satu dasar yang rasmi untuk mengenalpasti Nilai Kebenaran bagi setiap ungkapanungkapan WFFs. Nilai Kebenaran bagi ungkapan WFFs ini bergantung kepada pemetaan konstan, pembolehubah, predikat dan juga fungsi terhadap sesuatu objek dan hubungan dalam domain tertentu. Secara kesimpulannya semantik bagi Logik predikat boleh dikatakan , 1. Menjelaskan satu interpretasi terhadap domain D. 2. Menggunakan penterjemahan untuk mengenalpasti tugasan nilai kebenaran bagi sesuatu ayat.

2.3.5 Penterjemahan (Interpretation) Penterjemahan digunakan apabila hendak meletakkan tugasan ahliahli bagi Domain D dalam sesuatu ungkapan lojik predikat (iaitu sama ada simbol fungsi, konstan, pembolehubah atau predikat) 1. Setiap konstan diberikan kepada satu elemen dalam domain D. 2. Setiap pembolehubah diberikan kepada satu subset tak_kosong (nonempty). Ia akan membenarkan pembolehubah untuk menukarganti.

17


3. Setiap fungsi f, ariti m diterjemahkan mengikut bilangan argumen m dari set D dan kemudian ditakrifkan sebagai satu pemetaan dari Dm ke D. 4. Setiap predikat p, ariti n diterjemahkan mengikut bilangan argumen n dari set D dan kemudian ditakrifkan sebagai satu pemetaan dari Dn dengan menyatakan nilai kebenaran {BENAR, PALSU}. Sebagai kesimpulannya, penterjemahan boleh dikatakan sebagai contoh menggantikan pelbagai konstan, pembolehubah, predikat dan simbol fungsi bagi sesuatu ungkapan Logik predikat yang terdiri dari ahli D, dan akhirnya ungkapan yang terhasil akan memenuhi tuntutan tugasan nilai kebenaran. Tugasan Nilai Kebenaran bagi Ungkapan Logik Predikat Bayangkan jika ungkapan lojik predikat adalah E dan wujud satu penterjemahan I terhadap E bagai satu Domain D yang tak_kosong (nonempty). Oleh itu, nilai kebenaran E boleh dikenalpasti melalui: 1. Satu nilai konstan yang diberi kepada E oleh I adalah merupakan satu elemen dari D. 2. Satu nilai pembolehubah diberi kepada E oleh I adalah satu elemen dari D. 3. Satu nilai ungkapan fungsi yang diperolehi apabila menilai fungsi (iaitu ketika penterjemahan I memberikan nilai parameter yang juga merupakan satu elemen dari D). 4. Simbol kebenaran Benar ialah B dan Palsu ialah P. 5. Nilai bagi ayat-ayat atomik iaitu sama ada B atau P (seperti yang telah dikenalpasti oleh penterjemahan I). 6. Nilai ayat penafian ialah B sekiranya nilai ayat tersebut adalah P dan P sekiranya nilai ayat tersebut adalah B. 7. Nilai tindanan bagi 2 ayat adalah B sekiranya nilai kedua-dua ayat ialah B dan adalah P sekira sebaliknya. 8. Ungkapan nilai kebenaran menggunakan V, ⇒ dan = dikenalpasti dari nilai kendaliannya (operands) seperti yang telah diterjemah terlebih dahulu. Untuk satu pembolehubah X dan satu ayat S mengandungi X pula; 9. Nilai ∀X S adalah B jika S adalah B untuk semua tugasan dalam X mengikut penterjemahan I dan akan menjadi P jika sebaliknya.

18


10. Nilai ∃X S adalah B jika S adalah B untuk sekurang-kurangnya satu tugasan dalam X berpandukan kepada penterjemahan I ; jika berlaku sebaliknya maka S adalah P. Berikut adalah sedikit rumusan ringkas bagi penterjemahan dalam lojik predikat.

PENTERJEMAHAN AYAT LOJIK PREDIKAT Setiap ayat atomik adalah satu ayat. 1. Jika s adalah satu ayat, maka penafiannya adalah ¬s. 2. Jika s1 dan s2 adalah ayat, maka tindanannya adalah s1 ∧ s2. 3. Jika s1 dan s2 adalah ayat, maka penyatuannya adalah s1 ∨s2. 4. Jika s1 dan s2 adalah ayat, maka implikasinya adalah s1 →s2. 5. Jika s1 dan s2 adalah ayat, maka setaranya adalah s1 ≡s2. 6. Jika X adalah satu pembolehubah dan s adalah satu ayat, maka ∀X s adalah satu ayat. 7. Jika X adalah satu pembolehubah dan s adalah satu ayat, maka ∃X s adalah satu ayat.

Sekiranya anda sudah terasa agak penat. Bolehlah berhenti sekejap kerana selepas ini anda akan belajar perkara yang lebih mencabar iaitu petua penaabiran yang akan menggabungkan semua subtopik yang telah dipelajari sebelum ini.

2.3.6 Petua Penaabiran (Inference Rules) Satu lagi perkara yang penting dalam Lojik Predikat ialah Petua Penaabiran. Petua Penaabiran adalah kebolehan untuk taabir ungkapan betul baru dari satu set kemasukan (assertion). Jangan risau jiak anda masih belum memahami apa yang dimaksudkan dengan petua penaabiran. Sila teruskan pembacaan anda. Apakah itu Petua Penaabiran yang sebenarnya? Petua Penaabiran menyediakan satu mekanisma untuk menghasilkan ayat Logik predikat baru dari ayat-ayat lain. Tambahan lagi, petua

19


penaabiran menyediakan satu cara untuk mengenalpasti sekiranya satu ungkapan logikal diikuti dari ungkapan lojikal yang lain. Sebagai contoh jika semua manusia akan mati atau tidak kekal, kita boleh gambarkan sebagai berikut: Semua manusia akan mati (tidak kekal). S : ∀Xmanusia ( X ) ⇒ mati ( X ).

Seorang manusia yang bernama Abdullah atau mengikut ayat dibawah, ‘Abdullah adalah manusia.’ Boleh diwakilkan dalam ayat Logik predikat seperti berikut: manusia(abdullah). Kedua-dua ayat diatas boleh ditaabir mengikut petua penaabiran iaitu di mana Abdullah adalah manusia dan akan mati. Oleh itu ia boleh ditaabirkan ayat yang lebih baik dengan menggantikan X dengan abdullah. manusia (abdullah) ⇒ mati (abdullah).

2.3.7 Modus Ponens Satu petua penaabiran akan terbentuk sekiranya setiap ungkapan logik predikat dijanakan oleh petua dari satu set S yang juga merupakan satu set ungkapan lojik predikat. Oleh itu, Modus Ponen adalah satu cabang dari petua penaabiran. Contoh 1: JIKA kita ada 2 ungkapan dalam format P ⇒ Q dan P di mana kedua-duanya Benar dibawah penterjemahan I MAKA melalui modus ponen kita boleh taabir Q adalah juga Benar untuk semua interpretasi bagi P dan P ⇒ Q adalah Benar. Contoh 2: Ungkapan : "JIKA huda sedang menjahit MAKA hari itu adalah cuti" JIKA P mewakili "huda sedang menjahit" dan Q mewakili " hari itu adalah cuti"

20


MAKA ungkapan boleh ditulis sebagai P ⇒ Q Oleh itu…kita akan memperolehi petua P⇒Q dan fakta P (huda sedang menjahit adalah Benar) Selain itu, dengan menggunakan modus ponen kita boleh tambah fakta Q kepada set ungkapan benar : Q (hari itu adalah cuti). Modus Ponen juga boleh digunakan kepada ungkapan mengandungi pembolehubah. Contoh: 3 penyataan: 1. Comel adalah seekor kucing. 2. Semua kucing adalah makhluk. 3. Semua makhluk akan mati.

Format predikat kucing(comel). ∀X ((kucing (X)⇒makhluk(X)) ∀Y ((makhluk(Y)⇒mati(Y))

Buktikan Comel akan mati. Menggunakan modus ponen pada penyataan 2 dan gantikan {comel/X} makhluk(comel). Menggunakan modus ponen pada penyataan 3 dan gantikan {comel/Y} mati(comel). Sila perhatikan contoh di bawah pula yang mengandungi 4 penyataan iaitu: 1. omar suka kalkulus. 2. semua yang suka kalkulus tahu prolog. 3. prolog berkait dengan Logik. 4. Logik diajar dalam kursus ts2023. Kita ingin ketahui sama ada Omar ingin ambil kursus ts2023. 1a. suka(omar,kalkulus). 2a. ∀( X )(tahu ( X , pro log) ⇒ suka( X , kalkulus ) . 3a. berkait(prolog, Logik). 4a. ∀( X )∀(Y )(ambil ( X , ts 2023) ⇒ tahu ( X , Y ), berkait (Y , lojik )).

21


Menggunakan modus ponen pada penyataan 2a dan gantikan {omar/X} tahu(omar,prolog):-suka(omar,kalkulus). Menggunakan modus ponen pada penyataan 4a dan gantikan {omar/X} dan {prolog/Y} ambil(omar,ts2023):tahu(omar,prolog),berkait(prolog,logik). Oleh itu, petua penaabiran membenarkan sesuatu ayat digantikan kepada ayat yang lain dengan syarat ia membawa maksud yang sama atau menggunakan teknik modus ponen. Setelah anda faham apa yang dimaksudkan dengan penaabiran, mari pula belajar mengenai penyatuan.

2.3.8 Penyatuan (Unification) Baiklah satu lagi perkara yang penting dalam Logik predikat ialah penyatuan. Penyatuan adalah satu alkhawarizmi bagi membandingkan pembolehubah dalam 2 ungkapan Logik predikat untuk mencari sekiranya wujud satu set gantian (untuk pembolehubah) yang boleh menjadikan 2 ungkapan Logik predikat serbasama. Contoh: 1. Aishah adalah seorang Melayu. melayu(aishah). 2. Semua melayu adalah warganegara Malaysia. ∀Xmelayu ( X ) ⇒ w arg anegara _ malaysia ( X ). 3. Semua warganegara_malaysia sama ada setia kepada pemimpin negara atau tidak. ∀Xw arg anegara _ malaysia ( X ) ⇒ setia ( X , pemimpin _ negara ) ∨ benci( X , pemimpin _ negara ). Tindakan penyatuan…. • Dalam penyataan 2, penyataan utama boleh digantikan oleh penyataan 1, iaitu pembolehubah X = =aisyah. • Ia boleh diikuti (atau ditaabir) dari penggantian ini, melayu (aisyah) ⇒ w arg anegara _ malaysia (aisyah). [ X = = aisyah ] aisyah adalah seorang warganegara_malaysia • Penaabiran warganegara_malaysia(aisyah) boleh digunakan untuk menggantikan penyataan utama 3, iaitu, X = = aisyah.

22


•

Ia boleh ditaabirkan dengan menggantikan X = =aisyah , ∀Xw arg anegara _ malaysia (aisyah) ⇒ setia (aisyah, pemimpin _ negara ) ∨ benci(aisyah, pemimpin _ negara ).

Oleh itu, penyatuan membenarkan penaabiran terjadi pada satu set penyataan Logikal. Bagaimanakah penyatuan dilakukan? Untuk menyatukan 2 pembolehubah dalam 2 penyataan predikat anda mestilah mengetahui mengenai kasus iaitu satu alkharizmi yang menerangkan bagaimana penaabiran atau penyatuan boleh dilakukan. Kasus 1. Ungkapan U1 & U2 pemalar atau senarai kosong. JIKA U1 = U2 MAKA { } * KALAUTAK gagal Contoh bagi kasus 1, cinta(komputer). benci(komputer). TAK PADAN

cinta(komputer). cinta(bolasepak). PADAN

cinta(komputer). cinta(X). PADAN

2. Ungkapan U1 pembolehubah JIKA U1 wujud dalam U2 MAKA gagal KALAUTAK { U2/U1} 3. Ungkapan U2 pembolehubah JIKA U2 wujud dalam U1 MAKA gagal KALAU TAK {U1/U2} Contoh bagi kasus 2 dan 3. p(X,Y). p(A,B). PADAN

p(X,X). P(Y,Z). TIDAK PADAN

berkahwin(X,Y) Berkahwin(anak(X),anak(Y)). TIDAK PADAN kerana X wujud dalam anak(X). Ujian ini disebut “semakan kewujudan’(occur check).

23


4. Kedua-dua U1 & U2, senarai JIKA panjang U1 ≠ panjang U2 MAKA gagal KALAU TAK Satukan unsur ke-i U1 dan unsur ke-i U2 untuk i=1,…,panjang U1 (atau U2) JIKA ada unsur ke-i yang tidak boleh disatukan MAKA gagal KALAUTAK berjaya Contoh bagi kasus ke 4, cinta(komputer). cinta(prolog,matematik). cinta(komputer,prolog). cinta(komputer,prolog). cinta(bolasepak,televisyen). cinta(komputer,X). TAK PADAN PADAN PADAN Sila rujuk rajah 2.3. Berikut adalah alkhawarizmi yang menerangkan kasus di atas yang diperolehi dari Luger (2001).

24


Rajah 2.3: Alkharizmi penyatuan dari Luger(2001). Sekiranya anda masih kabur dengan penerangan di atas, apa kata cuba lihat contoh lain seperti di bawah : Contoh Penyatuan 1 ibubapa(X,…). ibubapa(siti,…).

[siti/X]

Padankan argumen ke-2 X disatukan kepada siti melalui penyataan 1, Oleh demikian itu kita akan memperolehi, ibubapa(siti, bapa(siti), ibu(siti)). Ibubapa(siti, bapa(siti), Y). Cubaan untuk memadankan bapa(siti) bapa(siti)

Padan kerana kedua-dua penyataan adalah sama

Padankan argumen ke-3 ibubapa(siti, bapa(siti), ibu(siti)). Ibubapa(siti, bapa(siti), Y).

[ibu(siti)/Y]

Kedua-dua padanan menghasilkan 2 penyataan lain yang serbasama iaitu: siti/X dan ibu(siti)/Y Penyataan yang terhasil selepas ia dipadankan adalah seperti berikut: ibubapa(X, bapa(X),ibu(siti) → ibubapa(siti, bapa(siti), ibu(siti)). ibubapa(siti, bapa(siti), Y) → ibubapa(siti, bapa(siti), ibu(siti)).

25


Contoh Penyatuan 2 ibubapa(X,…). ibubapa(siti,…).

[siti/X]

Padankan argumen ke-2 ibubapa(siti, bapa(ali),…). Penyataan predikat 1: ibubapa(X, bapa(ali), ibu(Z)). Penyataan predikat 2: ibubapa(siti, bapa(Y), ibu(aminah)). 1. 2. 3.

Periksa samada 2 simbol predikat sepadan. PADAN Periksa bilangan argumen pada kedua-dua predikat SAMA Padankan secara berpasangan.

Padankan argumen pertama ibubapa(siti, bapa(Y),…). Cubaan untuk padankan, bapa(ali) bapa(Y)

[ali/Y]

Padankan argumen ke-3 ibubapa(siti, bapa(ali), ibu(Z)). ibubapa(siti,bapa(ali), ibu(aminah)). Cubaan untuk padankan, ibu(Z). ibu(aminah). [aminah/Z] Penggantian berikut menjadikan 2 penyataan sama: siti/X, ali/Y dan aminah/Z. Selepas penggantian, ibubapa(siti,bapa(ali),ibu(Z))→ ibubapa(siti,bapa(ali),ibu(aminah)). ibubapa(X,bapa(Y),ibu(aminah))→ ibubapa(siti, bapa(ali), ibu(aminah)). Diharap anda telah mula memahami bagaimana untuk melakukan penyatuan apabila diberi dua penyataan yang boleh dipadankan berpandukan kasus .

26


2.3.9 Pembuktian Teorem Resolusi Resolusi adalah satu teknik untuk membuktikan teori dalam lojik usulan atau lojik predikat. Resolusi menceritakan satu cara untuk mencari perbedaan dalam satu set (pangkalan data) klausa penafian. Sila rujuk rajah 2.4. a ∨ ¬b ∨ ¬c

Set klausa

b c ∨ ¬d ∨ ¬e e∨ f d ¬f Rajah 2.4 : Set klausa dalam bentuk binari

Resolusi membuktikan satu teori dengan menafikan penyataan asal untuk dibuktikan. Sila rujuk rajah 2.5. Buktikan a adalah benar Penyataan asal adalah a Penyataan nafi adalah ¬a Rajah 2.5 : Kaedah penafian Penyataan Nafi kemudiannya ditambah dalam pangkalan data klausa. Sila rujuk 2.6. a ∨ ¬b ∨ ¬c

Set klausa

b c ∨ ¬d ∨ ¬e e∨ f d ¬f

Penyataan nafi ditambah

¬a Rajah 2.6:Penyataan nafi ditambah ke dalam set klausa.

27


Sekiranya Penyataan Nafi menyebabkan satu perbedaan maka ia akan disimpulkan sebagai Penyataan Asal adalah Benar. Satu Petua Resolusi kemudiannya digunakan untuk menunjukkan penyataan nafi menuju kepada Perbedaan, seperti Penyataan Nafi yang tak konsisten atau tak selaras dengan set klausa yang diberi. Apakah yang dimaksudkan dengan Petua Resolusi? Anda perlu ingat bahawa anda perlu nafikan sesuatu set klausa (selalunya bukti klausa yang hendak dihasilkan akan dinafikan) supaya satu kesimpulan boleh dicapai dengan mudah. Diberi 2 klausa (kedua-duanya benar) a ∨ ¬b dan b ∨ c Nota: salah satu b dan ¬ b mesti sentiasa benar dan sentiasa palsu. (Tidak dibenarkan jika b adalah benar atau palsu pada masa yang sama). Oleh itu,

a ∨ c mesti sentiasa benar dan penyelesai kepada 2 klausa tersebut. Apakah pula Resolusi Binari? JIKA Terdapat 2 klausa di mana satu klausa mengandungi satu pembolehubah dan klausa lain mengandungi penafian terhadap pembolehubah yang sama MAKA Klausa baru dijanakan mengandungi semua predikat yang berbeda (Buang 2 pemboleubah dan penafiannya). Mari kita lihat contoh selepas ini.

28


Contoh Pembuktian Resolusi Binari Bagi Logik Usulan a ∨ ¬b ∨ ¬c

Set klausa

b c ∨ ¬d ∨ ¬e e∨ f d ¬f

Perlu dibuktikan a adalah benar ¬a Rajah 2.7:Set klausa ini perlu dibuktikan a adalah tidak benar.

29


¬a

a ∨ ¬b ∨ ¬c ¬b ∨ ¬c

b

¬c

e∨ f

c ∨ ¬d ∨ ¬e

¬d ∨ ¬e

f ∨ ¬d

d

¬f

f

[ ] Oleh itu, a adalah benar Rajah 2.8:Jalan penyelesaian secara pembuktian teorem. Contoh Pembuktian Resolusi Dengan Pembolehubah Resolusi dalam Lojik predikat menggunakan PENYATUAN untuk menyamakan 2 pembolehubah dengan nama pembolehubah yang berbeza. ¬kucing ( X ) ∨ haiwan( X ) kucing(comel)

¬haiwan(Y ) ∨ mati (Y )

Buktikan comel akan mati iaitu mati(comel) {Kesimpulan} . Selepas dinafikan, ¬ mati(comel).

30


¬kucing ( X ) ∨ haiwan( X )

{Y/X} kucing(comel)

¬haiwan(Y ) ∨ mati (Y ) ¬kucing (Y ) ∨ mati (Y )

{comel/Y} mati(comel)

¬ mati(comel)

[ ] Oleh itu, dibuktikan comel akan mati. Rajah 2.9: Pembuktian resolusi untuk pembolehubah. Contoh Pembuktian Refutasi Resolusi 1. ¬lulus ( X , spm) ∨ menang ( X , sukan) ∨ gembira( X ) 2. ¬belajar (Y ) ∨ lulus (Y , Z ) 3. ¬bertuah(W ) ∨ lulus (W , V ) 4. ¬belajar (huda ) 5. bertuah(huda) 6. ¬bertuah(U ) ∨ menang (U , sukan) Buktikan bahawa huda adalah gembira { gembira(huda) } Selepas dinafikan, ¬ gembira(huda)

31


¬lulus ( X , spm) ∨ menang ( X , sukan) ∨ gembira( X ) ¬bertuah(U ) ∨ menang (U , sukan)

{U/X} ¬lulus (U , spm) ∨ gembira(U ) ∨ ¬bertuah(U )

¬ gembira(huda)

{huda/U} bertuah(huda) ¬lulus (huda, spm) ∨ ¬bertuah(huda ) {}

¬lulus(huda,spm)

¬bertuah(W ) ∨ lulus (W , V )

{huda/W, spm/V}

¬ bertuah (huda)

bertuah(huda)

{} [ ]Oleh itu, terbukti huda gembira. Diharap anda dapat melakukan teorem pembuktian sekiranya diberikan satu set klausa sama ada dalam bentuk binari, Logik usulan, pembolehubah atau lain-lain.

2.4 Kebaikan dan kelemahan Logik (berasaskan kepada Logik predikat) Hasil dari perbincangan kita diatas dapatlah kita gariskan beberapa kebaikan dan kelemahan Logik ini iaitu: Kebaikan Logik: 1. Kesemulajadian 2. Bermodul 3. Kekonsistenan 4. Kejituan Kelemahan Logik

32


1. Proses penaakulan yang terbatas dan tidak mudah lentur. 2. Sukar untuk mewakili pengetahuan am atau pun pengetahuan akal bistari (common sense), contohnya untuk mewakili: a. Darjah sukatan Hari ini panas terik. b. Amaun kepastian Orang yang berambut hitam selalunya bermata coklat. c. Maklumat heuristik Dalam peraduan tarik tali, badan yang tegap memberi keuntungan d. Maklumat lalaian (default) Semua burung pandai terbang.

2.5 Kesimpulan Secara kesimpulannya bentuk umum sebarang proses Logikal adalah seperti berikut : INPUT Premis atau fakta-fakta

Proses Logikal

OUTPUT Penaabiran atau rumusan

Komputer akan menerima input yang berbentuk premis atau fakta-fakta dan kemudian akan melakukan pemprosesan dengan menggunakan kaedah lojik iaitu sama ada lojik usulan dan predikat dan akhirnya akan menghasilkan satu penaabiran atau rumusan. Anda juga telah mempelajari dari awal sehingga akhir iaitu apa itu logik, dan logik terbahagi kepada dua jenis iaitu logik usulan dan logik predikat. Logik usulan mempunyai kelemahannya tersendiri seperti tidak mudah diselami maksud setiap individu dalam sesuatu ayat tersebut manakala logik predikat lebih mudah untuk melentur maksud sesuatu ayat tersebut. Namun, kelemahan yang ketara dalam logik adalah sukatan darjah bagi sesuatu ayat tersebut. Seperti berapakah kebarangkalian kebenarannya atau sebaliknya. Masalah ini boleh dikendalikan dengan menggunakan teknik pengurusan ketidaktentuan. Teknik pengurusan tidak ketidaktentuan ini boleh dijalankan dengan menggunakan kaedah faktor ketentuan, teori bayes atau logik kabur.

33


Latihan 1. Apakah yang dimaksudkan dengan Logik usulan dan Logik predikat? 2. Siapakah yang mengasaskan Logik yang sebenarnya ? 3. Apakah tujuan penafian dalam pembuktian teorem resolusi ? 4. Wakilkan ayat-ayat berikut dalam bentuk logik predikat. • Semua buah epal berwarna samada hijau atau merah. • Tiada buah epal yang berwarna biru. • Jika epal itu berwarna hijau maka ianya lazat. • Setiap lelaki suka epal berwarna hijau. 5. Diberi satu set klausa dalam bentuk pembolehubah. a. Sila tukarkan ayat umum ini kepada ayat Logik predikat. b. Kemudian nafikan ayat predikat tersebut. c. Sila buktikan ahmad makan durian.

(P1) Ahmad suka buah-buahan tempatan (P2) Durian adalah sejenis buah-buahan tempatan (P3) Manusia makan apa yang dia suka (P4) Ahmad ialah manusia (NK) ahmad makan durian Jawapan 1. Sila rujuk 2.0. 2. Sila rujuk 2.0. 3. Sila rujuk 2.3.9. 4. ∀X( (buah_epal(X))→warna(X,hijau) ∨ warna(X,merah)). ∀X( (buah_epal(X))→¬warna(X,biru)). ∃X( (buah_epal(X)) ∧ warna(X,hijau)) →rasa(X,lazat). ∃X ,∀Y (( buah_epal(X)∨ lelaki(Y) →warna(X,hijau) ∧ suka(Y,X)). 5. a. Sila rujuk kaedah yang digunakan dalam sub topic 2.3.2. (P1) (P2) (P3) (P4) (NK)

∀X( (buah_tempatan(X))→suka(ahmad, X)). buahan_tempatan(durian) ∀Y∀Z(manusia(Y) ∧ suka(Y,Z)→makan(Y,Z)). manusia(ahmad). makan(ahmad,durian).

34


b. Sila rujuk dibawah sub topik 2.3.5. Bentuk klausa: KP1: ~buahan_tempatan(X) ∨ suka(ahmad,X) KP2: buahan_tempatan(durian) KP3: ~manusia(Y) ∨ ~suka(Y,Z) ∨ makan (Y,Z) KP4: manusia(ahmad) KNK: ~makan(ahmad,durian).

c. Sila rujuk di bawah sub topik 2.3.8 dan 2.3.9. [KNK] ~makan(ahmad,durian).

[KP3] ~manusia(Y) ∨ ~suka(Y,Z) ∨ makan (Y,Z)

{ahmad/Y, durian/Z}

[KP4] manusia(ahmad)

manusia(ahmad) ∨ ~suka(ahmad,duiran)

[KP1] buahan tempatan(X) ∨ suka(ahmad,X)

~suka(ahmad,durian) ~buahan-tempatan(durian)

{durian/X} []

[KP2] ~buahan-tempatan(durian)

Kesimpulan:ahmad makan durian

[Isi Topik]

[No. Bab].[No. Topik].[Subtopik] [Tajuk Subtopik] [Isi subtopik] Nota untuk penulis : Modul yang baik mengandungi beberapa – 1. Latihan 2. Uji diri 3. Akses ke CD-ROM 4. Akses ke Laman Web

35


5. Rujukan ke Buku Teks

36

BAB 3 Teknik Perwakilan Pengetahuan Logik

Recommend Documents