marveline's blog

 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) 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. - Symbol logic dimulai dengan G.W. Leibniz (1646- 1717), tetapi dilupakan...

 Pencarian - Search 2 Generate-and-Test Teknik Generate-and-Test adalah teknik yang paling mudah dibandingkan teknik search yang lain, namun relatif lebih lama dalam mendapatkan solusi. Algoritma Generate-and-Test : 1. Bentuk solusi yang mungkin. Untuk beberapa masalah, ini berarti membentuk poin terpisah dari area permasalahan. Pada masalah lain, ini berarti membentuk jalur dari stata awal. 2. Lakukan test untuk melihat apakah poin yang ditemui adalah solusi dengan membandingkan poin yang dipilih atau poin terakhir dari jalur yang dipilih dengan kumpulan stata tujuan 3. Jika solusi sudah ditemukan, quit. Jika belum kembali ke langkah 1. Kebaikan dan Keburukan Generate-and-Test Jika penurunan solusi yang mungkin dilakukan secara sistematis, maka procedure diatas akan dapat menemukan solusi suatu saat, jika memang ada. Tapi sayangnya jika ruang permasalahan sangat luas maka saat ditemukannya solusi akan menjadi sangat lama. Cara terbaik menerapkan generate-and-test yang sistema...

 Pencarian / Search Konsep Pencarian Hal penting dalam menentukan keberhasilan sistem cerdas adalah kesuksesan dalam pencarian. Pencarian = suatu proses mencari solusi dari suatu permasalahan melalui sekumpulan kemungkinan ruang keadaan (state space).  Ruang keadaan = merupakan suatu ruang yang berisi semua keadaan yang mungkin. Untuk mengukur perfomansi metode pencarian, terdapat empat kriteria yang dapat digunakan : - Completeness : Apakah metode tersebut menjamin penemuan solusi  jika solusinya memang ada ? - Time complexity : Berapa lama waktu yang diperlukan ? - Space complexity : Berapa banyak memori yang diperlukan? - Optimality : Apakah metode tersebut menjamin menemukan solusi yang terbaik jika terdapat beberapa solusi berbeda?   Pencarian atau pelacakan merupakan salah satu teknik untuk menyelesaikan permasalahan dalam bidang kecerdasan buatan. Teknik dasar pencarian masalah memberikan suatu kunci bagi banyak sejarah penyelesaian yang penting dalam bidang k...

Masalah dan Pemecahan Masalah  Artificial Intelligence Sistem menggunakan Kecerdasan Buatan Pada gambar, input yang diberikan pada sistem yang menggunakan kecerdasan buatan adalah berupa masalah. Sistem harus dilengkapi dengan sekumpulan pengetahuan yang ada pada basis pengetahuan. Sistem harus memiliki motor inferensi agar mampu mengambil kesimpulan berdasarkan fakta atau pengetahuan. Output yang diberikan berupa solusi masalah sebagai hasil dari inferensi. Untuk membuat system untuk menyelesaikan masalah terpisah, kita harus melakukan 4 hal sbb : 1. Mendefinisikan masalah dengan tepat , meliputi definisi yg tepat tentang keadaan awal dan keadaan akhir sebagai solusi yang dapat diterima. 2. Analisa masalah , beberapa fitur penting akan menentukan kelayakan dari beberapa teknik yang mungkin untuk menyelesaikan masalah. 3. Membatasi dan menghadirkan pengetahuan yang diperlukan untuk menyelesaikan masalah 4. Pilih teknik penyelesaian terbaik dan aplikasikan pada masalah. Mendefinis...