REPRESENTASI PENGETAHUAN (KNOWLEDGE REPRESENTATION)
|
|
|
- Sugiarto Budi Sumadi
- 9 tahun lalu
- Tontonan:
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
ب س م ا ه لل الر ح ن الر ح ي السالم عليكم ورحمة هللا وبركاته PERTEMUAN 08 PENGETAHUAN = data/fakta + mekanisme penalaran Fakta, ide, teori, hubungannya dalam domain tertentu Mekanisme Penalaran KNOWLEDGE
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
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
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
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
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
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.
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
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
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
REPRESENTASI PENGETAHUAN
REPRESENTASI PENGETAHUAN Representasi Pengetahuan (Knowledge Representation) dimaksudkan untuk menangkap sifatsifat penting masalah dan membuat infomasi dapat diakses oleh prosedur pemecahan masalah. Bahasa
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
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
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 : [email protected] Informatics Engineering,
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:
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
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
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.
Sistem Pakar Metode Inferensi 1. Kelas A & B Jonh Fredrik Ulysses, ST
Sistem Pakar Metode Inferensi 1 Kelas A & B Jonh Fredrik Ulysses, ST [email protected] Pengantar Bab ini akan mendiskusikan berbagai macam metode penalaran atau inferensi. Topik ini merupakan topik
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
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
Kecerdasan Buatan. Representasi Pengetahuan & Penalaran... Pertemuan 05. Husni
Kecerdasan Buatan Pertemuan 05 Representasi Pengetahuan & Penalaran... Husni [email protected] http://komputasi.wordpress.com S1 Teknik Informatika, STMIK AMIKOM, 2013 Outline Pendahuluan Logika Proposisi
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
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).
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 -
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
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
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
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
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.
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
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
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,
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
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
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
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
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
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.
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
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
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 [email protected]
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
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
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
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
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
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
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.
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
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
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
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
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,
REPRESENTASI PENGETAHUAN
REPRESENTASI PENGETAHUAN Farah Zakiyah Rahmanti, M.T Overview Definisi Representasi Pengetahuan Entitas Representasi Pengetahuan Kategori dari Representasi Ilustrasi Representasi Pengetahuan Logika Contoh
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
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
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
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
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
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
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
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,
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
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
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
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
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
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
: SRI ESTI TRISNO SAMI
By : SRI ESTI TRISNO SAMI 08125218506 / 082334051324 E-mail : [email protected] Bahan Bacaan / Refferensi : 1. F. Soesianto dan Djoni Dwijono, Logika Matematika untuk Ilmu Komputer, Penerbit Andi Yogyakarta.
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
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
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
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
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
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
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
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
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
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
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
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
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,
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
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
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
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
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
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 /
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
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
PENGENALAN LOGIKA MATEMATIKA
LOGIKA MATEMATIKA By Faradillah [email protected] Sumber : Logika Matematika untuk Ilmu Komputer, F. Soesianto dan Djoni Dwijono, Penerbit Andi ofset PENGENALAN LOGIKA MATEMATIKA Pendahuluan Logika
Proposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono
Proposition Logic (Logika Proposisional) Bimo Sunarfri Hantono [email protected] Proposition (pernyataan) Merupakan komponen penyusun logika dasar yang dilambangkan dengan huruf kecil (p, q, r,...) yang
---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
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
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
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
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,
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
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
