LOGIC & LEARNING METHOD PERTEMUAN 6

Kali ini saya akan merangkum materi pertemuan 6 tentang Logic & Learning Method yang terdiri dari: 1. Logika dalam AI 2. Sejarah Logika 3. Logika Proposisi 4. Learning Method Logika Dalam Ai Logika dalam AI Logika dalam AI digunakan sebagai suatu cara untuk menyampaikan fakta. Penyajian logika secara formal diperlukan karena menjadi suatu cara yang sangat disarankan untuk menurunkan/menjabarkan pengetahuan baru. Dengan logika formal kita dapat menyimpulkan bahwa suatu pernyataan baru adalah benar dengan membuktikan bahwa pernyataan itu diturunkan dari pernyataan-pernyataan lain yang sudah diketahui kebenarannya. Contoh : Jika : Matahari terbit dari Timur (benar) Maka : Tidak mungkin matahari terbit dari Barat (benar) Sejarah Logika Logika dimulai sejak Thales (624 SM - 548 SM), filsuf Yunani pertama yang meninggalkan segala dongeng, takhayul, dan cerita-cerita isapan jempol dan berpaling kepada akal budi untuk memecahkan rahasia alam s...