REPRESENTASI PENGETAHUAN (KNOWLEDGE REPRESENTATION)

Ukuran: px
Mulai penontonan dengan halaman:

Download "REPRESENTASI PENGETAHUAN (KNOWLEDGE REPRESENTATION)"

Transkripsi

1 REPRESENTASI PENGETAHUAN (KNOWLEDGE REPRESENTATION)

2 KNOWLEDGE IS POWER! Pengetahuan adalah kekuatan!

3 Representasi Pengetahuan : Definisi dlm ES: Metode yang digunakan untuk mengkodekan pengetahuan dalam sebuah sistem pakar yang berbasis pengetahuan. Perepresentasian dimaksudkan untuk menangkap sifat-sifat penting problema dan membuat informasi itu dapat diakses oleh prosedur pemecahan problema. Bahasa representasi harus dapat membuat seorang programmer mampu mengekspresikan pengetahuan yang diperlukan untuk mendapatkan solusi problema dapat diterjemahkan ke dalam bahasa pemrograman dan dapat disimpan Harus dirancang agar fakta-fakta dan pengetahuan lainnya yang terkandung didalamnya bisa digunakan untuk penalara

4 Jenis-jenis Pengetahuan Pengetahuan Prosedural (Procedural Knowledge) Declarative Knowledge Meta-Knowledge Pengetahuan Heuristic (Heuristic Knowledge) Pengetahuan Struktural (Structural Knowledge) Jenis-jenis pengetahuan Peraturan (rules) Strategi Agenda Prosedur Konsep Obyek Fakta Pengetahuan tentang berbagai jenis pengetahuan dan Bagaimana menggunakannya Petunjuk praktis (Rules of thumb) Sekumpulan aturan Concept Relationships Concept to Object Relationship

5 TEKNIK REPRESENTASI PENGETAHUAN Logika Object-Attribute-Value triplets (OAV) Aturan-aturan (Rules) Jaringan Semantik (Semantic Networks) Frames

6 LOGIKA Logika merupkan suatu pengkajian ilmiah tentang serangkaian penalaran, sistem kaidah dan prosedur yang membantu proses penalaran. Merupakan bentuk representasi pengetahuan yang paling tua, dan menjadi dasar dari teknik representasi high level PENALARAN DEDUKTIF PENALARAN INDUKTIF LOGIKA PROPORSIONAL LOGIKA PREDIKAT / KALKULUS PREDIKAT PENGUKURAN KUANTITAS (Quantifier) PENALARAN DENGAN LOGIKA

7 . PENALARAN DEDUKTIF Penalaran ini bergerak dari penalaran umum menuju ke konklusi khusus Umumnya dimulai dari suatu sylogisme, atau pernyataan premis dan inferensi Umumnya terdiri dari 3 bagian: premis mayor, premis minor dan konklusi. Contoh Premis mayor Premis Minor Konklusi : Jika hujan turun saya tidak akan lari pagi : Pagi ini hujan turun : Oleh karena itu pagi ini saya tidak akan lari pagi

8 PENALARAN INDUKTIF Merupakan kebalikan dari deduktif, yaitu dimulai dari masalah khusus menuju ke masalah umum Menggunakan sejumlah fakta atau premis yang mantap untuk menarik kesimpulan umum. Contoh: Premis : Dioda yang salah menyebabkan peralatan elektronik rusak Premis : Transistor rusak menyebabkan elektronik rusak Premis : IC rusak menyebabkan peralatan elektronik tidak berfungsi Konklusi : Maka, peralatan semi konduktor rusak merupakan penyebab utama rusaknya peralatan elektronik Konklusi tidak selalu mutlak, dapat berubah jika ditemukan fakta-fakta baru

9 LOGIKA PROPORSIONAL Dalam melakukan penalaran dengan komputer, komputer harus dapat menggunakan proses penalaran deduktif dan induktif ke dalam bentuk yang sesuai dengan manipulasi komputer Logika Simbolik atau Logika Matematik Metode itu disebut Logika Komputasional Bentuk logika komputasional ada 2 macam : Logika Proporsional atau Kalkulus dan Logika Predikat Suatu Proposisi merupakan suatu statemen atau pernyataan yang menyatakan benar (TRUE) atau salah (FALSE).

10 LOGIKA PROPORSIONAL Untuk menggambarkan berbagai proposisi, premis atau konklusi kita gunakan simbol seperti huruf abjad. Misalnya: A = Tukang pos mengantarkan surat mulai Senin s/d Sabtu B = Hari ini adalaha Hari Minggu C = Maka hari ini tukang pos tidak mengantar surat

11 NOT D = Hari ini hujan Not D = Hari ini tidak Hujan AND Hasil proposisi akan benar jika kedua proposisi awal benar A = mobil saya berwarna hitam B = mesin mobil berwarna hitam itu 6 silinder C = mobil saya berwarna hitam dan mesinnya 6 silinder D = A dan B Pada kasus diatas, D baru benar jika A dan B benar

12 OR Proposisi akan benar jika salah satu atau kedua propisis benar A = Seorang wanita berusia 25 tahun B = Lulusan Teknik Elektro C = A OR B Pada kasus diatas, C akan benar jika salah satu dari A atau B benar

13 IMPLIES (menyatakan) Pada konektif IMPLIES, jika proposisi A benar, maka propisi B pun harus benar. A = Mobil rusak B = Saya tidak bisa naik mobil C = A Implies B Dapat juganakan menggunakan IF-THEN, IF mobil rusak THEN saya tidak bisa naik mobil 1. Jika A Salah dan B Salah maka C Benar. Jika mobil tidak rusak, maka saya bisa naik mobil. A IMPLIES B adalah Benar 2. Jika A Salah dan B Benar maka C Benar. Jika mobil tidak rusak, maka saya tidak bisa naik mobil. A IMPLIES B adalah Benar 3. Jika A Benar dan B Salah maka C Salah. Jika mobil rusak, maka saya bisa naik mobil. A IMPLIES B adalah Salah 4. Jika A Benar dan B Benar maka C Benar. Jika mobil rusak, maka saya tidak bisa naik mobil. A IMPLIES B adalah Benar

14 LOGIKA PREDIKAT / KALKULUS PREDIKAT Logika predikat adalah suatu logika yang lebih canggih yang seluruhnya menggunakan konsep dan kaidah proposional yang sama. Juga disebut kalkulus predikat, yang memberi tambahan kemampuan untuk merepresentasikan pengetahuan dengan sangat cermat dan rinci. Istilah kalkulus berbeda dengan istilah kalkulus dalam bidang matematik Kalkulus predikat memungkinkan kita bisa memecahkan statemen ke dalam bagian komponen, yang disebut objek, karakteristik objek, atau beberapa keterangan objek. Suatu proposisi atau premis dibagi menjadi dua bagian, yaitu ARGUMEN (atau objek) dan PREDIKAT (keterangan). Argumen adalah individu atau objek yang membuat keterangan Predikat adalah keterangan yang membuat argumen dan predikat Dalam suatu kalimat, predikat bisa berupa kata kerja atau bagian kata kerja.

15 Contoh Predikat PREDIKAT (individu[objek]1, individu[objek] 2 ) Misalnya proposisi: Mobil berada dalam garasi Dinyatakan menjadi: Di dalam(mobil, garasi) Di dalam = produk (keterangan) Mobil = Argumen(objek) Garasi = Argumen(objek) Contoh Lain: Proposisi : Rojali suka Juleha Kalkulus Predikat : SUKA (Rojali, Juleha) dua argumen Proposisi : Pintu Terbuka Kalkulus Predikat : BUKA (pintu) satu argumen Proposisi : Sensor Cahaya Aktif Kalkulus Predikat : AKTIF(Sensor Cahaya)

16 Variabel Huruf bisa menggantikan argumen Simbol-simbol juga bisa digunakan untuk merancang beberapa objek atau individu Misalnya: x = Rojali dan y = Juleha, Maka proposisinya menjadi Suka(x,y) Dengan menggunakan sistem ini, pangkalan pengetahuan (knowledge base) dapat dibentuk Pengetahuan diekspresikan dalam kalkulus predikat yang bisa dimanipulasi agar menimbulkan inferensi

17 FUNGSI Predikat kalukulus membolehkan penggunaan simbol untuk mewakili Fungsi-fungsi Misalnya: ayah(juleha) = Jojon ibu(rojali) = Dorce Fungsi dapat digunakan bersamaan dengan predikat Misalnya: Predikat berikut menjelaskan bahwa Jojon dan Dorce adalah berteman teman(ayah(juleha),ibu(rojali) = teman(jojon,dorce)

18 OPERASI Predikat kalkulus menggunakan operator yang sama seperti pada logika proporsional Misalnya: Proposition: Rojali suka Juleha Proposition: Mandra suka Juleha suka(rojali,juleha) suka(mandra,juleha) Pada 2 predikat diatas, ada dua orang menyukai Juleha. Untuk memberikan pernyataan adanya Kecemburuan disitu, maka suka(x,y) AND suka(z,y) IMPLIES NOT suka(x,z) atau suka(x,y) ^ suka(z,y) ~ suka(x,z) dalam kalimat pengetahuan yang tersimpan adalah: Jika dua orang pria menyukai wanita yang sama, maka kedua pria itu pasti tidak saling suka (saling membenci)

19 PENGUKURAN KUANTITAS (Quantifier) Pengukuran kuantitas (Quantifier) adalah simbol yang mengijinkan kita untuk menyatakan suatu rangkaian atau cakrawala variabel dalam suatu ekspresi logika. Dua pengukuran kuantitas, yaitu: Contoh 1: Proposisi : Semua orang Malang adalah warganegara Indonesia diekspresikan menjadi:

20 Contoh 2: Proposisi: Beberapa Mobil berwarna merah diekspresikan menjadi:

21 PENALARAN DENGAN LOGIKA Pengetahuan itu dibutuhkan untuk membuat inferensi, yaitu bagaimana kita menggunakan pengetahuan itu untuk menjawab pertanyaan, menalar atau menarik kesimpulan Kaidah inferensi yang paling sederhana adalah: MODUS PONEN Yaitu: Jika Proposisi A benar dan A IMPLIES B, adalah benar, maka proposisi B adalah benar juga. [A AND (AB)]B Dengan demikian kita bisa menggunakan modus ponen untuk menarik kesimpulan bahwa B benar jika kedua ekspresi yang pertama juga benar. Contoh: A = Udara Cerah B = Kita pergi ke pantai AB = Jika udara cerah, maka kita pergi ke pantai Premis pertama menyatakan udara cerah, yang kedua menyatakan pergi ke pantai. Selanjutnya A IMPLIES B, Dengan demikian, jika kedua A dan A IMPLIES B benar, maka B juga benar.

Refresentasi Pengetahuan 1

Refresentasi Pengetahuan 1 ب س م ا ه لل الر ح ن الر ح ي السالم عليكم ورحمة هللا وبركاته PERTEMUAN 08 PENGETAHUAN = data/fakta + mekanisme penalaran Fakta, ide, teori, hubungannya dalam domain tertentu Mekanisme Penalaran KNOWLEDGE

Lebih terperinci

KECERDASAN BUATAN REPRESENTASI PENGETAHUAN (PART - I) ERWIEN TJIPTA WIJAYA, ST., M.KOM

KECERDASAN BUATAN REPRESENTASI PENGETAHUAN (PART - I) ERWIEN TJIPTA WIJAYA, ST., M.KOM KECERDASAN BUATAN REPRESENTASI PENGETAHUAN (PART - I) ERWIEN TJIPTA WIJAYA, ST., M.KOM KERANGKA MASALAH Logika Logika Predikat Pengukuran Kuantitas PENGETAHUAN Diklasifikasikan menjadi 3 : 1. Procedural

Lebih terperinci

REPRESENTASI PENGETAHUAN

REPRESENTASI PENGETAHUAN REPRESENTASI PENGETAHUAN Basis Pengetahuan Langkah pertama dalam membuat sistem kecerdasan buatan adalah membangun basis pengetahuan Digunakan oleh motor inferensi dalam menalar dan mengambil kesimpulan

Lebih terperinci

Dian Wirdasari, S.Si.,M.Kom

Dian Wirdasari, S.Si.,M.Kom IntelijensiBuatan Dian Wirdasari, S.Si.,M.Kom IntelijensiBuatan Materi-4 Representasi Pengetahuan-1 Dian Wirdasari, S.Si.,M.Kom Definisi: fakta atau kondisi sesuatu atau keadaan yg timbul karena suatu

Lebih terperinci

Knowledge Representation

Knowledge Representation Entiti Representasi Pengetahuan Knowledge Representation By: Uro Abdulrohim, S.Kom, MT Fakta Adalah kejadian sebenarnya, fakta ini yang akan kita representasikan Representasi dari fakta Bagaimana cara

Lebih terperinci

BAB 2 LANDASAN TEORI

BAB 2 LANDASAN TEORI BAB 2 LANDASAN TEORI 2.1. Kecerdasan Buatan Artificial Intelligence atau kecerdasan buatan merupakan salah satu bagian ilmu komputer yang membuat agar mesin (komputer) dapat melakukan pekerjaan seperti

Lebih terperinci

Materi-3 PROPOSITION LOGIC. Properties of Sentences Inference Methods Quantifier Sentences

Materi-3 PROPOSITION LOGIC. Properties of Sentences Inference Methods Quantifier Sentences Materi-3 PROPOSITION LOGIC Properties of Sentences Inference Methods Quantifier Sentences 1 Properties of Sentences Adalah sifat-sifat yang dimiliki oleh kalimat logika Ada 3 sifat, yaitu: 1. Valid 2.

Lebih terperinci

PROPOSITION LOGIC LOGIKA INFORMATIKA. Properties of Sentences Inference Methods Quantifier Sentences. Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta

PROPOSITION LOGIC LOGIKA INFORMATIKA. Properties of Sentences Inference Methods Quantifier Sentences. Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta 1 PROPOSITION LOGIC Properties of Sentences Inference Methods Quantifier Sentences LOGIKA INFORMATIKA Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta 2 Properties of Sentences Adalah sifat-sifat yang dimiliki

Lebih terperinci

Artificial Intelegence. Representasi Logica Knowledge

Artificial Intelegence. Representasi Logica Knowledge Artificial Intelegence Representasi Logica Knowledge Outline 1. Logika dan Set Jaringan 2. Logika Proposisi 3. Logika Predikat Order Pertama 4. Quantifier Universal 5. Quantifier Existensial 6. Quantifier

Lebih terperinci

BAB III TEORI DASAR SISTEM PAKAR DAN SISTEM KONTROL BERBASIS SISTEM PAKAR 20 BAB III TEORI DASAR SISTEM PAKAR DAN SISTEM KONTROL BERBASIS SISTEM PAKAR

BAB III TEORI DASAR SISTEM PAKAR DAN SISTEM KONTROL BERBASIS SISTEM PAKAR 20 BAB III TEORI DASAR SISTEM PAKAR DAN SISTEM KONTROL BERBASIS SISTEM PAKAR SISTEM PAKAR 20 BAB III TEORI DASAR SISTEM PAKAR DAN SISTEM KONTROL BERBASIS SISTEM PAKAR 3.1 Sistem Pakar Sistem pakar adalah suatu program komputer cerdas yang menggunakan knowledge (pengetahuan) dan

Lebih terperinci

REPRESENTASI PENGETAHUAN

REPRESENTASI PENGETAHUAN REPRESENTASI PENGETAHUAN Representasi Pengetahuan (Knowledge Representation) dimaksudkan untuk menangkap sifatsifat penting masalah dan membuat infomasi dapat diakses oleh prosedur pemecahan masalah. Bahasa

Lebih terperinci

REPRESENTASI PENGETAHUAN

REPRESENTASI PENGETAHUAN REPRESENTASI PENGETAHUAN Pengetahuan adalah fakta yang timbul karena keadaan (Sutojo, 2011) Contoh : Pengetahuan tentang penyakit, gejala-gejala dan pengobatannya. Pengetahuan tentang tanaman, jenis-jenis

Lebih terperinci

Pendahuluan. Bab I Logika Manusia

Pendahuluan. Bab I Logika Manusia Bab I Pendahuluan 1.1. Logika Manusia Manusia, diantara makhluk yang lain, merupakan pengolah informasi. Kita membutuhkan informasi mengenai dunia dan menggunakan informasi ini untuk kepentingan yang lebih

Lebih terperinci

ARTIFICIAL INTELLIGENCE

ARTIFICIAL INTELLIGENCE ARTIFICIAL INTELLIGENCE Team teaching: Sri Winiarti, Andri Pranolo, dan Anna Hendri SJ Andri Pranolo W : apranolo.tif.uad.ac.id M : 081392554050 E : andri.pranolo@tif.uad.ac.id Informatics Engineering,

Lebih terperinci

LOGIKA INFORMATIKA PROPOSITION LOGIC. Materi-2. Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta

LOGIKA INFORMATIKA PROPOSITION LOGIC. Materi-2. Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta Materi-2 PROPOSITION LOGIC LOGIKA INFORMATIKA Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta STMIK AMIKOM YOGYAKARTA Jl. Ringroad Utara Condong Catur Yogyakarta. Telp. 0274 884201 Fax 0274-884208 Website:

Lebih terperinci

Dua bagian dasar sistem kecerdasan buatan (menurut Turban) : dalam domain yang dipilih dan hubungan diantara domain-domain tersebut

Dua bagian dasar sistem kecerdasan buatan (menurut Turban) : dalam domain yang dipilih dan hubungan diantara domain-domain tersebut REPRESENTASI PENGETAHUAN (MINGGU 3) Pendahuluan Dua bagian dasar sistem kecerdasan buatan (menurut Turban) : - Basis pengetahuan : Berisi fakta tentang objek-objek dalam domain yang dipilih dan hubungan

Lebih terperinci

Representasi Pengetahuan dan Penalaran

Representasi Pengetahuan dan Penalaran Representasi Pengetahuan dan Penalaran PENGETAHUAN Pengetahuan (knowledge) adalah pemahaman secara praktis maupun teoritis terhadap suatu obyek atau domain tertentu. Pengetahuan merupakan hal yang penting

Lebih terperinci

PEMAKAI SISTEM PAKAR UTHIE

PEMAKAI SISTEM PAKAR UTHIE SISTEM PAKAR KONSEP sistem berbasis komputer yang menggunakan pengetahuan, fakta dan teknik penalaran dalam memecahkan masalah yang biasanya hanya dapat dipecahkan oleh seorang pakar dalam bidang tersebut.

Lebih terperinci

Sistem Pakar Metode Inferensi 1. Kelas A & B Jonh Fredrik Ulysses, ST

Sistem Pakar Metode Inferensi 1. Kelas A & B Jonh Fredrik Ulysses, ST Sistem Pakar Metode Inferensi 1 Kelas A & B Jonh Fredrik Ulysses, ST jonh.fredrik.u@gmail.com Pengantar Bab ini akan mendiskusikan berbagai macam metode penalaran atau inferensi. Topik ini merupakan topik

Lebih terperinci

Argumen premis konklusi jika dan hanya jika Tautolog

Argumen premis konklusi jika dan hanya jika Tautolog INFERENSI LOGIKA Argumen adalah suatu pernyataan tegas yang diberikan oleh sekumpulan proposisi P 1, P 2,...,P n yang disebut premis (hipotesa/asumsi) dan menghasilkan proposisi Q yang lain yang disebut

Lebih terperinci

PENGANTAR LOGIKA INFORMATIKA

PENGANTAR LOGIKA INFORMATIKA P a g e 1 PENGANTAR LOGIKA INFORMATIKA 1. Pendahuluan a. Definisi logika Logika berasal dari bahasa Yunani logos. Logika adalah: ilmu untuk berpikir dan menalar dengan benar ilmu pengetahuan yang mempelajari

Lebih terperinci

Kecerdasan Buatan. Representasi Pengetahuan & Penalaran... Pertemuan 05. Husni

Kecerdasan Buatan. Representasi Pengetahuan & Penalaran... Pertemuan 05. Husni Kecerdasan Buatan Pertemuan 05 Representasi Pengetahuan & Penalaran... Husni Lunix96@gmail.com http://komputasi.wordpress.com S1 Teknik Informatika, STMIK AMIKOM, 2013 Outline Pendahuluan Logika Proposisi

Lebih terperinci

Artificial Intelegence EKA YUNIAR

Artificial Intelegence EKA YUNIAR Artificial Intelegence EKA YUNIAR Pokok Bahasan Representasi Pengetahuan Jaringan Semantik Knowledge Base The first step in constructing an AI program is to build a knowledge base Will be used by the inference

Lebih terperinci

kusnawi.s.kom, M.Eng version

kusnawi.s.kom, M.Eng version Propositional Logic 3 kusnawi.s.kom, M.Eng version 1.0.0.2009 Adalah sifat-sifat yang dimiliki oleh kalimat logika. Ada 3 sifat logika yaitu : - Valid(Tautologi) - Kontradiksi - Satisfiable(Contingent).

Lebih terperinci

kusnawi.s.kom, M.Eng version

kusnawi.s.kom, M.Eng version Propositional Logic 3 kusnawi.s.kom, M.Eng version 1.1.0.2009 Properties of Sentences Adalah sifat-sifat yang dimiliki oleh kalimat logika. Ada 3 sifat logika yaitu : - Valid(Tautologi) - Kontradiksi -

Lebih terperinci

Logika Proposisi. Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic)

Logika Proposisi. Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic) Logika Proposisi Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic) Logika Proposisional Tujuan pembicaraan kali ini adalah untuk menampilkan suatu bahasa daripada kalimat abstrak

Lebih terperinci

BAB II LANDASAN TEORI. tubuh. Bagi tubuh, kulit mempunyai fungsi yang sangat penting dan fungsi ini

BAB II LANDASAN TEORI. tubuh. Bagi tubuh, kulit mempunyai fungsi yang sangat penting dan fungsi ini BAB II LANDASAN EORI 2.1. Penyakit Kulit Kulit merupakan salah satu panca indera manusia yang terletak di permukaan tubuh. Bagi tubuh, kulit mempunyai fungsi yang sangat penting dan fungsi ini sepertinya

Lebih terperinci

REPRESENTASI PENGETAHUAN

REPRESENTASI PENGETAHUAN REPRESENTASI PENGETAHUAN Representasi pengetahuan adalah cara untuk menyajikan pengetahuan yang diperoleh ke dalam suatu skema/diagram tertentu sehingga dapat diketahui relasi antara suatu pengetahuan

Lebih terperinci

Representasi Pengetahuan : LOGIKA

Representasi Pengetahuan : LOGIKA Representasi Pengetahuan : LOGIKA Representasi Pengetahuan : LOGIKA 1/16 Outline Logika dan Set Jaringan Logika Proposisi Logika Predikat Order Pertama Quantifier Universal Quantifier Existensial Quantifier

Lebih terperinci

MATEMATIKA DISKRIT LOGIKA

MATEMATIKA DISKRIT LOGIKA MATEMATIKA DISKRIT LOGIKA Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak sulit belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa Informatika.

Lebih terperinci

INFERENCE & EXPLANATION TEKNIK PENARIKAN KESIMPULAN & MEMBERI PENJELASAN

INFERENCE & EXPLANATION TEKNIK PENARIKAN KESIMPULAN & MEMBERI PENJELASAN INFERENCE & EXPLANATION TEKNIK PENARIKAN KESIMPULAN & MEMBERI PENJELASAN Pendahuluan Inferensi adalah suatu program komputer yang merupakan suatu algoritma yang mengontrol beberapa proses penalaran dan

Lebih terperinci

KONSEP DASAR LOGIKA MATEMATIKA. Riri Irawati, M.Kom Logika Matematika - 3 sks

KONSEP DASAR LOGIKA MATEMATIKA. Riri Irawati, M.Kom Logika Matematika - 3 sks KONSEP DASAR LOGIKA MATEMATIKA Riri Irawati, M.Kom Logika Matematika - 3 sks Agenda 2 Pengantar Logika Kalimat pernyataan (deklaratif) Jenis-jenis pernyataan Nilai kebenaran Variabel dan konstanta Kalimat

Lebih terperinci

Logika. Apakah kesimpulan dari argumen di atas valid? Alat bantu untuk memahami argumen tsb adalah Logika

Logika. Apakah kesimpulan dari argumen di atas valid? Alat bantu untuk memahami argumen tsb adalah Logika Pengantar Logika 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda pasti belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa Informatika. Tetapi,

Lebih terperinci

Representasi Pengetahuan

Representasi Pengetahuan Representasi Pengetahuan Representasi masalah state space Pengetahuan dan kemampuan melakukan penalaran merupakan bagian terpenting dari sistem yang menggunakan AI. Cara representasi pengetahuan: Logika

Lebih terperinci

REPRESENTASI PENGETAHUAN (Bagian 1) Pertemuan 4

REPRESENTASI PENGETAHUAN (Bagian 1) Pertemuan 4 REPRESENTASI PENGETAHUAN (Bagian 1) Pertemuan 4 Arti dari Pengetahuan Pengetahuan merupakan salah satu kata dimana banyak orang mengetahui maknanya, tetapi sulit untuk mendefinisikannya. Kata pengetahuan

Lebih terperinci

ARGUMENTASI. Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya.

ARGUMENTASI. Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. ARGUMENTASI Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. Berikut ini adalah beberapa contoh Proposisi : a. 1 + 2 = 3 b. Kuala

Lebih terperinci

BERPIKIR (PENALARAN) DEDUKTIF

BERPIKIR (PENALARAN) DEDUKTIF UNIVERSITAS GUNADARMA NAMA : SRI SETIAWATY NPM : 18211261 KELAS : 3EA27 BERPIKIR (PENALARAN) DEDUKTIF A. DEFINISI BERPIKIR (PENALARAN) Berpikir (Penalaran) adalah sebuah pemikiran untuk dapat menghasilkan

Lebih terperinci

Matematika Industri I

Matematika Industri I LOGIKA MATEMATIKA TIP FTP - UB Pokok Bahasan Proposisi dan negasinya Nilai kebenaran dari proposisi Tautologi Ekuivalen Kontradiksi Kuantor Validitas pembuktian Pokok Bahasan Proposisi dan negasinya Nilai

Lebih terperinci

Suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat, baru kemudian dapat diikuti objeknya.

Suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat, baru kemudian dapat diikuti objeknya. 1 Suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat, baru kemudian dapat diikuti objeknya. Setiap kalimat atau pernyataan tetap dapat dianggap satu buah proposisi.

Lebih terperinci

Bahasan Terakhir... Pencarian Iteratif. Pencarian Adversarial. Simulated Annealing Pencarian Tabu Mean Ends. Minimax (Min-Max) Alpha-Beta Pruning

Bahasan Terakhir... Pencarian Iteratif. Pencarian Adversarial. Simulated Annealing Pencarian Tabu Mean Ends. Minimax (Min-Max) Alpha-Beta Pruning Bahasan Terakhir... Pencarian Iteratif Simulated Annealing Pencarian Tabu Mean Ends Pencarian Adversarial Minimax (Min-Max) Alpha-Beta Pruning Tugas Hard Copy (Lanjutan...) Pencarian Iteratif Simulated

Lebih terperinci

Materi 4: Logika. I Nyoman Kusuma Wardana. STMIK STIKOM Bali

Materi 4: Logika. I Nyoman Kusuma Wardana. STMIK STIKOM Bali Materi 4: Logika I Nyoman Kusuma Wardana STMIK STIKOM Bali Logika merupakan dasar dr semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan-pernyataan (statements). Dalam Logika

Lebih terperinci

Penerapan Logika Fuzzy

Penerapan Logika Fuzzy 1 Penerapan Logika Fuzzy M. Faisal Baehaki - 13506108 1 Program Studi Teknik Informatika Sekolah Teknik Elektro dan Informatika Institut Teknologi Bandung, Jl. Ganesha 10 Bandung 40132, Indonesia 1 m_faisal_b@yahoo.com

Lebih terperinci

MAKALAH FILSAFAT ILMU. Penalaran Induktif dan Penalaran Deduktif. Patricia M D Mantiri Pend. Teknik Informatika. Tema: Disusun oleh:

MAKALAH FILSAFAT ILMU. Penalaran Induktif dan Penalaran Deduktif. Patricia M D Mantiri Pend. Teknik Informatika. Tema: Disusun oleh: MAKALAH FILSAFAT ILMU Tema: Penalaran Induktif dan Penalaran Deduktif Disusun oleh: Patricia M D Mantiri 10 312 633 Pend. Teknik Informatika I. Latar Belakang Masalah Sebelum membahas tentang penalaran

Lebih terperinci

FORWARD & BACKWARD CHAINING SISTEM PAKAR

FORWARD & BACKWARD CHAINING SISTEM PAKAR FORWARD & BACKWARD CHAINING SISTEM PAKAR Inferensi Inferensi adalah konklusi logis (logical conclusion) atau implikasi berdasarkan informasi yang tersedia Merupakan proses untuk menghasilkan informasi

Lebih terperinci

Sistem Pakar. Pertemuan 2. Sirait, MT

Sistem Pakar. Pertemuan 2. Sirait, MT Sistem Pakar Pertemuan 2 Definisi Sistem pakar adalah suatu program komputer yang dirancang untuk mengambil keputusan seperti keputusan yang diambil oleh seorang atau beberapa orang pakar. Menurut Marimin

Lebih terperinci

BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat?

BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat? BAB I PENDAHULUAN 1.1 LATAR BELAKANG Secara etimologi, istilah Logika berasal dari bahasa Yunani, yaitu logos yang berarti kata, ucapan, pikiran secara utuh, atau bisa juga ilmu pengetahuan. Dalam arti

Lebih terperinci

BAB I PENDAHULUAN. 1.1 Latar Belakang

BAB I PENDAHULUAN. 1.1 Latar Belakang BAB I PENDAHULUAN 1.1 Latar Belakang Proposisi adalah pernyataan yang dapat ditentukan nilai kebenarannya, bernilai benar atau salah tetapi tidak keduanya. Sedangkan, Kalkulus Proposisi (Propositional

Lebih terperinci

Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed

Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Iwan Setiawan Tahun Ajaran 2013/2014 Logika Klasik Matematika Diskret (TKE132107) - Program Studi Teknik

Lebih terperinci

AND AND AND THEN AND AND

AND AND AND THEN AND AND Kedelapan pernyataan dapat dibawa ke bentuk logika predikat, dengan menggunakan operator-perator: (implikasi), (not), (dan), (atau), (untuk setiap), (terdapat), sebagai berikut: 1. mahasiswa(andi). 2.

Lebih terperinci

Expert System. MATA KULIAH : Model & Simulasi Ekosistem Pesisir & Laut. Syawaludin A. Harahap 1

Expert System. MATA KULIAH : Model & Simulasi Ekosistem Pesisir & Laut. Syawaludin A. Harahap 1 MATA KULIAH : Model & Simulasi Ekosistem Pesisir & Laut KODE MK : M10B.116 SKS : 3 (2-1) DOSEN : Syawaludin Alisyahbana Harahap EXPERT SYSTEM (SISTEM PAKAR/AHLI) UNIVERSITAS PADJADJARAN FAKULTAS PERIKANAN

Lebih terperinci

Pengetahuan 2.Basis data 3.Mesin Inferensi 4.Antarmuka pemakai (user. (code base skill implemetation), menggunakan teknik-teknik tertentu dengan

Pengetahuan 2.Basis data 3.Mesin Inferensi 4.Antarmuka pemakai (user. (code base skill implemetation), menggunakan teknik-teknik tertentu dengan Bab II TINJAUAN PUSTAKA 2.1 Pengertian Sistem Pakar Sistem pakar (expert system) adalah sistem yang berusaha mengapdosi pengetahuan manusia ke komputer, agar komputer dapat menyelesaikan masalah seperti

Lebih terperinci

Logika hanya berhubngan dengan bentukbentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut.

Logika hanya berhubngan dengan bentukbentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut. TABEL KEBENARAN Logika hanya berhubngan dengan bentukbentuk logika dari argumen-argumen, serta penarikan kesimpulan tentang validitas dari argumen tersebut. Logika tidak mempermasalahkan arti sebenarnya

Lebih terperinci

DASAR-DASAR LOGIKA. Pemetaan Dasar. Sujanti, M.Ikom. Modul ke: Fakultas ILMU KOMUNIKASI. Program Studi Hubungan Masyarakat

DASAR-DASAR LOGIKA. Pemetaan Dasar. Sujanti, M.Ikom. Modul ke: Fakultas ILMU KOMUNIKASI. Program Studi Hubungan Masyarakat Modul ke: 05 Ety Fakultas ILMU KOMUNIKASI DASAR-DASAR LOGIKA Pemetaan Dasar Sujanti, M.Ikom. Program Studi Hubungan Masyarakat Dasar-dasar Logika Pemetaan Dasar 1. Argumentasi 2. Menguji Suatu Penalaran

Lebih terperinci

Pertemuan 1. Pendahuluan Proposisi Jenis-Jenis Proposisi

Pertemuan 1. Pendahuluan Proposisi Jenis-Jenis Proposisi Pertemuan 1 Pendahuluan Proposisi Jenis-Jenis Proposisi Sejarah Pekembangan Logika Logika dalam ilmu komputer digunakan sebagai dasar dalam belajar bahasa pemrograman, struktur data, kecerdasan buatan,

Lebih terperinci

REPRESENTASI PENGETAHUAN

REPRESENTASI PENGETAHUAN REPRESENTASI PENGETAHUAN Farah Zakiyah Rahmanti, M.T Overview Definisi Representasi Pengetahuan Entitas Representasi Pengetahuan Kategori dari Representasi Ilustrasi Representasi Pengetahuan Logika Contoh

Lebih terperinci

BAB IV REPRESENTASI PENGETAHUAN

BAB IV REPRESENTASI PENGETAHUAN BAB IV REPRESENTASI PENGETAHUAN Dua bagian dasar sistem kecerdasan buatan (menurut Turban) - Basis pengetahuan : Berisi fakta tentang objek-objek dalam domain yang dipilih dan hubungan diantara domain-domain

Lebih terperinci

MATEMATIKA DISKRIT. Logika

MATEMATIKA DISKRIT. Logika MATEMATIKA DISKRIT Logika SILABUS KULIAH 1. Logika 2. Himpunan 3. Matriks, Relasi dan Fungsi 4. Induksi Matematika 5. Algoritma dan Bilangan Bulat 6. Aljabar Boolean 7. Graf 8. Pohon REFERENSI Rinaldi

Lebih terperinci

BAB 2 TINJAUAN TEORI. Artificial Intelligence. Jika diartikan Artificial memiliki makna buatan,

BAB 2 TINJAUAN TEORI. Artificial Intelligence. Jika diartikan Artificial memiliki makna buatan, BAB 2 TINJAUAN TEORI 2.1 Kecerdasan Buatan Kecerdasan buatan adalah sebuah istilah yang berasal dari bahasa Inggris yaitu Artificial Intelligence. Jika diartikan Artificial memiliki makna buatan, sedangkan

Lebih terperinci

BAB III REPRESENTASI PENGETAHUAN

BAB III REPRESENTASI PENGETAHUAN BAB III REPRESENTASI PENGETAHUAN Basis pengetahuan dan kemampuan untuk melakukan penalaran merupakan bagian terpenting dari sistem yang menggunakan kecerdasan buatan. Meskipun suatu sistem memiliki banyak

Lebih terperinci

Logika Matematika BAGUS PRIAMBODO. Silogisme Silogisme Hipotesis Penambahan Disjungsi Penyederhanaan Konjungsi. Modul ke: Fakultas FASILKOM

Logika Matematika BAGUS PRIAMBODO. Silogisme Silogisme Hipotesis Penambahan Disjungsi Penyederhanaan Konjungsi. Modul ke: Fakultas FASILKOM Modul ke: 7 Fakultas FASILKOM Logika Matematika Silogisme Silogisme Hipotesis Penambahan Disjungsi Penyederhanaan Konjungsi BAGUS PRIAMBODO Program Studi SISTEM INFORMASI http://www.mercubuana.ac.id Kemampuan

Lebih terperinci

Pengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM

Pengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM Pengantar Logika Didin Astriani Prasetyowati, M.Stat UIGM 1 BAB I PENGANTAR LOGIKA Konsep Logika Apakah logika itu? Seringkali Logika didefinisikan sebagai ilmu untuk berfikir dan menalar dengan benar

Lebih terperinci

BAB 2 PENGANTAR LOGIKA PROPOSISIONAL

BAB 2 PENGANTAR LOGIKA PROPOSISIONAL BAB 2 PENGANTAR LOGIKA PROPOSISIONAL 1. Pendahuluan Dilihat dari bentuk struktur kalimatnya, suatu pernyataan akan memiliki bentuk susunan minimal terdiri dari subjek diikuti predikat kemudian dapat diikuti

Lebih terperinci

Pengenalan Logika Informatika. Pertemuan 1 Viska Armalina, ST.,M.Eng

Pengenalan Logika Informatika. Pertemuan 1 Viska Armalina, ST.,M.Eng Pengenalan Logika Informatika Pertemuan 1 Viska Armalina, ST.,M.Eng Pendahuluan Asal kata Logika Logic (Bahasa Inggris) Logos (Yunani) Arti : dalam bahasa Inggris : Word, Speech, what is spoken, thought,

Lebih terperinci

REPRESENTASI PENGETAHUAN. Pertemuan 6 Diema Hernyka Satyareni, M. Kom

REPRESENTASI PENGETAHUAN. Pertemuan 6 Diema Hernyka Satyareni, M. Kom REPRESENTASI PENGETAHUAN Pertemuan 6 Diema Hernyka Satyareni, M. Kom KOMPETENSI DASAR Mahasiswa dapat merepresentasi pengetahuan dalam Sistem Intelegensia MATERI BAHASAN Logika Jaringan Semantik Frame

Lebih terperinci

METODE INFERENSI. Level 2. Level 3. Level 4

METODE INFERENSI. Level 2. Level 3. Level 4 METODE INFERENSI Tree (Pohon) dan Graph - Tree (pohon) adalah suatu hierarki struktur yang terdiri dari Node (simpul/veteks) yang menyimpan informasi atau pengetahuan dan cabang (link/edge) yang menghubungkan

Lebih terperinci

METODE INFERENSI (1)

METODE INFERENSI (1) METODE INFERENSI (1) Tree (Pohon) dan Graph - Tree (pohon) adalah suatu hierarki struktur yang terdiri dari Node (simpul/veteks) yang menyimpan informasi atau pengetahuan dan cabang (link/edge) yang menghubungkan

Lebih terperinci

Silogisme Hipotesis Ekspresi Jika A maka B. Jika B maka C. Diperoleh, jika A maka C

Silogisme Hipotesis Ekspresi Jika A maka B. Jika B maka C. Diperoleh, jika A maka C MSH1B3 Logika Matematika Dosen: Aniq A Rohmawati, M.Si Kalkulus Proposisi [Definisi] Metode yang digunakan untuk meninjau nilai kebenaran suatu proposisi atau kalimat Jika Anda belajar di Tel-U maka Anda

Lebih terperinci

Representasi Pengetahuan : Logika Predikat

Representasi Pengetahuan : Logika Predikat Representasi Pengetahuan : Logika Predikat Pertemuan 8 Wahyu Supriyatin Logika Predikat Logika predikat digunakan untuk merepresentasikan hal-hal yang tidak dapat direpresentasikan dengan menggunakan logika

Lebih terperinci

PENGERTIAN. Proposisi Kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya. Nama lain proposisi: kalimat terbuka.

PENGERTIAN. Proposisi Kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya. Nama lain proposisi: kalimat terbuka. BAB 2 LOGIKA PENGERTIAN Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang

Lebih terperinci

: SRI ESTI TRISNO SAMI

: SRI ESTI TRISNO SAMI By : SRI ESTI TRISNO SAMI 08125218506 / 082334051324 E-mail : sriestits2@gmail.com Bahan Bacaan / Refferensi : 1. F. Soesianto dan Djoni Dwijono, Logika Matematika untuk Ilmu Komputer, Penerbit Andi Yogyakarta.

Lebih terperinci

REPRESENTASI PENGETAHUAN UTHIE

REPRESENTASI PENGETAHUAN UTHIE REPRESENTASI PENGETAHUAN PENDAHULUAN Basis pengetahuan dan kemampuan untuk melakukan penalaran merupakan bagian terpenting dari sistem yang menggunakan kecerdasan buatan. Meskipun suatu sistem memiliki

Lebih terperinci

LEMBAR TUGAS MAHASISWA ( LTM )

LEMBAR TUGAS MAHASISWA ( LTM ) LEMBAR TUGAS MAHASISWA ( LTM ) SISTEM PAKAR Program Studi Teknik Informatika Program Strata Satu (S1) Tahun 2015 NIM NAMA KELAS :. :.. :. SEKOLAH TINGGI MANAJEMEN INFORMATIKA DAN KOMPUTER NUSAMANDIRI Jakarta

Lebih terperinci

Propositional Logic dan Predicate Calculus

Propositional Logic dan Predicate Calculus Chapter 2 Propositional Logic dan Predicate Calculus Tujuan Instruksional Khusus Mahasiswa mampu merepresentasikan knowledge ke dalam bentuk propositional logic dan predicate calculus. Mahasiswa mampu

Lebih terperinci

TABEL KEBENARAN. Liduina Asih Primandari, S.Si.,M.Si. P a g e 8

TABEL KEBENARAN. Liduina Asih Primandari, S.Si.,M.Si. P a g e 8 P a g e 8 TABEL KEBENARAN A. Logika Proposisional dan Predikat Logika proposional adalah logika dasar yang harus dipahami programmer karena logika ini yang menjadi dasar dalam penentuan nilai kebenaran

Lebih terperinci

STMIK Banjarbaru LOGIKA PROPOSISIONAL. 9/24/2012 H. Fitriyadi & F. Soesianto

STMIK Banjarbaru LOGIKA PROPOSISIONAL. 9/24/2012 H. Fitriyadi & F. Soesianto 1 LOGIKA PROPOSISIONAL PENDAHULUAN STMIK Banjarbaru 2 Logika adalah pernyataan-pernyataan, yang berarti suatu kalimat yang memiliki arti tertentu dan memiliki nilai benar atau salah. Dilihat dari bentuk

Lebih terperinci

Kecerdasan Bab 3: 3/18/2015

Kecerdasan Bab 3: 3/18/2015 Kecerdasan Bab 3: Prio Handoko, S. Kom., M.T.I. Program Studi Teknik Informatika Universitas Pembangunan Jaya Jl. Boulevard - Bintaro Jaya Sektor VII Tangerang Selatan Banten 15224 Kompetensi Dasar Mahasiswa

Lebih terperinci

PENARIKAN KESIMPULAN/ INFERENSI

PENARIKAN KESIMPULAN/ INFERENSI PENARIKAN KESIMPULAN/ INFERENSI Proses penarikan kesimpulan dari beberapa proposisi disebut inferensi (inference). Argumen Valid/Invalid Kaidah-kaidah Inferensi Modus Ponens Modus Tollens Silogisme Hipotesis

Lebih terperinci

BAB III DASAR DASAR LOGIKA

BAB III DASAR DASAR LOGIKA BAB III DASAR DASAR LOGIKA 1. Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. Berikut ini adalah beberapa contoh Proposisi : a. 2

Lebih terperinci

Knowledge Representation

Knowledge Representation Kecerdasan Buatan Pertemuan 2 Knowledge Representation IT-EEPIS Basis Pengetahuan Langkah pertama untuk membangun Kecerdasan Buatan adalah bagaimana membangun sebuah knowledge base Selanjutnya kita akan

Lebih terperinci

MODUL 3 OPERATOR LOGIKA

MODUL 3 OPERATOR LOGIKA STMIK STIKOM BALIKPAPAN 1 MODUL 3 OPERATOR LOGIKA 1. TEMA DAN TUJUAN KEGIATAN PEMBELAJARAN 1. Tema : Operator Logika 2. Fokus Pembahasan Materi Pokok : 1. Operator Logika Konjungsi 2. Operator Logika Disjungsi

Lebih terperinci

Artificial Intelligence. uthie 1

Artificial Intelligence. uthie 1 Artificial Intelligence uthie 1 Cabang-cabang AI 1. Logical AI Logika (matematis) yang merepresentasikan sekumpulan fakta dan tujuan ---> RUANG KEADAAN: Graph Tree uthie 2 Cabang-cabang AI 2. Search Pencarian

Lebih terperinci

BAB I PENDAHULUAN. Perkembangan komputer sekarang ini sangat pesat dan salah. satu pemanfaatan komputer adalah dalam bidang kecerdasan buatan.

BAB I PENDAHULUAN. Perkembangan komputer sekarang ini sangat pesat dan salah. satu pemanfaatan komputer adalah dalam bidang kecerdasan buatan. BAB I PENDAHULUAN 1.1 Latar Belakang Perkembangan komputer sekarang ini sangat pesat dan salah satu pemanfaatan komputer adalah dalam bidang kecerdasan buatan. Di dalam bidang kecerdasan buatan, termasuk

Lebih terperinci

EKSKLUSIF OR (XOR) DEFINISI

EKSKLUSIF OR (XOR) DEFINISI Logika Matematik EKSKLUSIF OR (XOR) DEFINISI : Misalkan p dan q adalah proposisi. Proposisi salah satu p atau q ditulis p q adalah proposisi yang bernilai benar jika tepat satu diantara p atau q BENAR,

Lebih terperinci

Materi Kuliah IF2091 Struktur Diskrit. Pengantar Logika. Oleh: Rinaldi Munir. Program Studi Informatika STEI - ITB

Materi Kuliah IF2091 Struktur Diskrit. Pengantar Logika. Oleh: Rinaldi Munir. Program Studi Informatika STEI - ITB Materi Kuliah IF2091 Struktur Diskrit Pengantar Logika Oleh: Rinaldi Munir Program Studi Informatika STEI - ITB 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda pasti

Lebih terperinci

Representasi Pengetahuan (Bagian 3) Logika dan Himpunan. Pertemuan 6

Representasi Pengetahuan (Bagian 3) Logika dan Himpunan. Pertemuan 6 Representasi Pengetahuan (Bagian 3) Logika dan Himpunan Pertemuan 6 Syllogisme Adalah logika formal pertama yang dikembangkan oleh filsuf Yunani, Aristotle pada abad ke-4 SM. Syllogisme mempunyai dua premises

Lebih terperinci

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 2 September 2007 Pertemuan-1-2 1

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 2 September 2007 Pertemuan-1-2 1 LOGIKA Ratna Wardani Pendidikan Teknik Informatika 2 September 2007 Pertemuan-1-2 1 Materi Perkuliahan Logical Connectives Tabel Kebenaran 2 September 2007 Pertemuan-1-2 2 Arti Kalimat Arti kalimat = nilai

Lebih terperinci

PERTEMUAN KE 3 F T T F T F T F

PERTEMUAN KE 3 F T T F T F T F PEREMUAN KE 3 E. DISJUNGSI EKSLUSI (Exclusive OR) Misalkan p dan q adalah proposisi. Exclusive or p dan q, dinyatakan dengan notasi, adalah proposisi yang bernilai benar bila hanya salah satu dari p dan

Lebih terperinci

Dasar-dasar Logika. (Review)

Dasar-dasar Logika. (Review) Dasar-dasar Logika (Review) Intro Logika berhubungan dengan kalimat-kalimat dan hubungan antar kalimat. Tujuan: menentukan apakah suatu kalimat / masalah bernilai benar (TRUE) atau salah (FALSE) Kalimat

Lebih terperinci

SISTEM PRODUKSI (PRODUCTION SYSTEM) -Muhlis Tahir-

SISTEM PRODUKSI (PRODUCTION SYSTEM) -Muhlis Tahir- SISTEM PRODUKSI (PRODUCTION SYSTEM) -Muhlis Tahir- Sistem yang menggunakan aturan-aturan untuk merepresentasikan pengetahuan dinamakan productions system. Production system, ada 3 bagian : Rule base /

Lebih terperinci

KOMPARASI PENGGUNAAN METODE TRUTH TABLE DAN PROOF BY FALSIFICATION DALAM PENENTUAN VALIDITAS ARGUMEN. Abstrak

KOMPARASI PENGGUNAAN METODE TRUTH TABLE DAN PROOF BY FALSIFICATION DALAM PENENTUAN VALIDITAS ARGUMEN. Abstrak Komparasi Penggunaan Metode Truth Table Dan Proof By Falsification Untuk Penentuan Validitas Argumen (Yani Prihati) KOMPARASI PENGGUNAAN METODE TRUTH TABLE DAN PROOF BY FALSIFICATION DALAM PENENTUAN VALIDITAS

Lebih terperinci

Matematika Komputasional. Pengantar Logika. Oleh: M. Ali Fauzi PTIIK - UB

Matematika Komputasional. Pengantar Logika. Oleh: M. Ali Fauzi PTIIK - UB Matematika Komputasional Pengantar Logika Oleh: M. Ali Fauzi PTIIK - UB 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda pasti belajar Bahasa Java. Jika anda tidak suka

Lebih terperinci

PENGENALAN LOGIKA MATEMATIKA

PENGENALAN LOGIKA MATEMATIKA LOGIKA MATEMATIKA By Faradillah dillafarrahakim@gmail.com Sumber : Logika Matematika untuk Ilmu Komputer, F. Soesianto dan Djoni Dwijono, Penerbit Andi ofset PENGENALAN LOGIKA MATEMATIKA Pendahuluan Logika

Lebih terperinci

Proposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono

Proposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono Proposition Logic (Logika Proposisional) Bimo Sunarfri Hantono bimo@te.ugm.ac.id Proposition (pernyataan) Merupakan komponen penyusun logika dasar yang dilambangkan dengan huruf kecil (p, q, r,...) yang

Lebih terperinci

---Sistem Pakar--- By Anjik Sukmaaji

---Sistem Pakar--- By Anjik Sukmaaji Sistem Berbasis Aturan ---Sistem Pakar--- By Anjik Sukmaaji Objectives Review Pertemuan-1 Rules Based Sistem Inferensi Forward Chaining Studi Kasus I : Identifikasi Binatang Inferensi Backward Chaining

Lebih terperinci

DASAR DASAR LOGIKA. Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya.

DASAR DASAR LOGIKA. Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. DASAR DASAR LOGIKA 1. Kalimat Deklaratif Kalimat Deklaratif (Proposisi) adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya. Berikut ini adalah beberapa contoh Proposisi : a. 2 + 2 = 4

Lebih terperinci

BAB I PENDAHULUAN. A. Pengertian Logika. B. Tujuan Penulisan

BAB I PENDAHULUAN. A. Pengertian Logika. B. Tujuan Penulisan BAB I PENDAHULUAN A. Pengertian Logika Logika berasal dari kata Logos yaitu akal, jika didefinisikan Logika adalah sesuatu yang masuk akal dan fakta, atau Logika sebagai istilah berarti suatu metode atau

Lebih terperinci

LOGIKA. /Nurain Suryadinata, M.Pd

LOGIKA. /Nurain Suryadinata, M.Pd Nama Mata Kuliah Kode Mata Kuliah/SKS Program Studi Semester Dosen Pengampu : Matematika Diskrit : MAT-3615/ 3 sks : Pendidikan Matematika : VI (Enam) : Nego Linuhung, M.Pd /Nurain Suryadinata, M.Pd Referensi

Lebih terperinci

PERTEMUAN TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT

PERTEMUAN TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT PERTEMUAN 5 1.1 TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT Tautologi adalah suatu bentuk kalimat yang selalu bernilai benar (True) tidak peduli bagaimanapun nilai kebenaran masing-masing kalimat penyusunnya,

Lebih terperinci

6.1 PRINSIP-PRINSIP DASAR BERPIKIR KRITIS/LOGIS

6.1 PRINSIP-PRINSIP DASAR BERPIKIR KRITIS/LOGIS PENGANTAR SAP 6 Mata Kuliah Critical and Creative Thinking 6.1 PRINSIP-PRINSIP DASAR BERPIKIR KRITIS/LOGIS 6.2 ARGUMENTASI : STRUKTUR DASAR 6.3 PENALARAN INDUKTIF & BENTUK-BENTUKNYA 6.4 PENALARAN DEDUKTIF

Lebih terperinci

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1 2. ALJABAR LOGIKA 2.1 Pernyataan / Proposisi Pernyataan adalah suatu kalimat yang mempunyai nilai kebenaran (benar atau salah), tetapi tidak keduanya. Contoh 1 : P = Tadi malam BBM mulai naik (memiliki

Lebih terperinci