LOGIC & LEARNING METHOD Logika dalam AI Logika dalam AI digunakan sebagai suatu cara untuk menyampaikan fakta. Penyajian logika secara formal diperlukan karena akan 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) 2. Sejarah Singkat Logika • Ahli logika pertama yang dikenal : Aristotle (384-322 BC), filsuf dan ahli ilmu alam Yunani. Aristotle telah mengembangkan banyak teori yang dikenal dengan syllogistic atau classical logic. Syllogistic pada dasarnya bertransaksi dengan penurunan kebenaran (atau yang bersifat salah) dari argumen seorang filsuf. • Symbolic logic dimulai dengan G.W. Leibniz (1646- 1717), teta
TEKNIK, MODEL & KRITERIA SUKSES, POTENSI MANUSIA DALAM PEMOGRAMAN ARTIFICIAL INTELLIGENCE Teknik Artificial Intelligence Teknik AI dapat dikategorikan secara umum kedalam beberapa kelompok, diantaranya: Search (Pencarian) menyediakan cara penyelesaian masalah untuk kasus dimana bila tidak ada lagi pendekatan langsung yang dapat digunakan maka pindahkan kerangka kerja kpd teknik langsung yang mungkin untuk dilekatkan. Use of Knowledge (Penggunaan Pengetahuan) menyediakan cara penyelesaian masalah yang lebih kompleks dengan mengekploitasi struktur dari objek yang terkait dengan masalah tersebut. Abstraction menyediakan cara untuk memilah/memisahkan keterangan dan variasi yang penting dari sekian banyak yang tidak penting dimana akan mempercepat penyelesaian masalah. Model-Model Artificial Intelligence . Natural Language Processing (NLP) Natural language processing/NLP mempelajari bagaimana bahasa alami itu diolah sedemikian hingga user dapat berkomunikasi dengan komputer.Jenis