Center

Pengenalan Logika Orde Pertama First order logic adalah sebuah bahasa formal yang digunakan di ilmu matematika, philosophy, bahasa dan ilmu computer. Disebut juga kalkulus predikat, merupakan logika yang digunakan untuk merepresentasikan masalah yang tidak dapat direpresentasikan dengan menggunakan proposisi. Logika predikat dapat memberikan representasi fakat-fakta sebagai suatu pernyataan yang mapan (well form). Pemanfaatan FOL untuk merepresentasikan fakta adalah salah satu teknik dasar yang sudah sejak lama dipakai untuk dapat mengkodekan bahasa alami ke dalam bentuk formal. Dengan menggunakan FOL, diharapkan fakta (dan juga pertanyaan) dapat direpresentasikan secara tepatke dalam konteksnya masing-masing, sehingga jawaban akhir yang dikembalikan kepada pengguna adalah jawaban yang tingkat kesasihannya (validity, di dalamnya mencakup consistency dan informativeness) sangat tinggi. Di sini hanya akan disediakan beberapa poin penting yang membedakan kalkulus predikat den

Pengetahuan Berbasis Agen      Seperti yang kita tahu, dalam Artificial Intelligence jika terdapat agen yang bekerja pastinya terdapat knowledge base yang mendasari pengetahuan dari tiap agennya. Knowledge base ini selalu menyatakan apa yang diketahui dari agen-agen tersebut. Knowledge base ini merupakan himpunan representasi fakta yang diketahui dari lingkungan di sekitarnya. Tiap fakta yang ada diketahui disebut dengan sentence , yang dalam penyajiannya fakta atau sentence tersebut disajikan dengan bahasa formal. Dalam membangun sebuah agen, ada istilah yang disebut dengan pendekatan deklaratif , istilah ini memiliki arti bahwa dalam membangun agen, knowledge base akan menyampaikan informasi yang relevan dengan agen yang selanjutnya akan disimpan di dalamnya. Dalam prosesnya, agen dapat ‘bertanya’ kepada knowledge base atau pada dirinya sendiri mengenai suatu masalah, yang nantinya jawaban yang dihasilkannya akan didasari oleh knowledge base yang ada pada agen. Pada umumny

Pengertian Heuristik Search Heuristik adalah sebuah teknik yang mengembangkan efisiensi dalam proses pencarian, namum dengan kemungkinan mengorbankan kelengkapan. Heuristic Search sering disebut juga dengan Informed Search. Pencarian dengan algoritma ini menggunakan knowledge base yang spesifik kepada permasalahan yang dihadapi disamping dari definisi masalahnya itu sendiri. Metode ini mampu menemukan solusi secara lebih efisien daripada yang bisa dilakukan pada metode uninformed strategy . Pada pencarian dengan menggunakan metode Uniform Cost Search, kita membandingkan nilai pada path yang ada, dan kemudian akan melakukan ekspansi pertama kali pada path dengan nilai yang terkecil. Nilai path ini biasanya dilambangkan dengan g(n). Lebih lanjut lagi dari metode pencarian tersebut, pada Informed Search Algorithm, kita akan mengenal nilai estimasi (prediksi) dari satu node ke node yang lainnya. Nilai estimasi ini biasanya dilambangkan dengan h(n). Jika n adalah goal node, maka