GOOGLE SELF-DRIVING CAR PROJECT

INTRO

Pada postingan sebelumnya, saya sudah menjelaskan mengenai Pengenalan Intelegensi Buatan. Berdasarkan web.engr.oregonstate, salah satu pengertian Teknologi adalah sebagai ilmu pengetahuan, yang membuat
proses proses teknologis (semua langkah yang berhubungan dengan keterampilan untuk lebih menyempurnakan) menjadi mungkin. Terdiri atas fakta fakta dan kumpulan prosedur yang dibutuhkan untuk mengarahkan da memanipulasi materi, energi dan informasi dan bagaimana cara untuk menemukan sarana baru untuk informasi yang serupa. 

Di zaman yang serba digital ini perkembangan teknologi tidak dapat dipungkiri lagi, bahkan saat ini sudah ada Teknologi yang dikatakan Teknologi Sistem Cerdas. Mungkin bagi sebagian orang istilah ini masih asing di telinga mereka, maka dari itu saya akan menjabarkan sedikit definisi dari Sistem

REPRESENTASI PENGETAHUAN LOGIKA PREDIKAT

1. FUNGSI FUNGSI LOGIKA PREDIKAT

Seperti yang telah dibahas sebelumnya, bahwa titik berat suatu logika adalah pada pembuktian validitas suatu argument logika proposional dengan berbagai teknik yang relevan. Yaitu menggunakan table kebenaran sebagai dasar pembuktian dan dan juga menggunakan hukum-hukum logika.

Logika proposisional sudah cukup untuk menangani pernyataan-pernyataan yang sederhana dan banyak dijumpai dalam peristiwa sehari-hari. Akan tetapi logika proposisional saja ternyata belum mampu menangani argumen-argumen yang berisi pernyataan-pernyataan yang rumit dan sering dijumpai dalam peristiwa sehari-hari.

Misalkan P(x) merupakan sebuah pernyataan yang mengandung variabel x dan D adalah sebuah himpunan. Kita sebut P sebuah fungsi proposisi (dalam D) jika untuk setiap x di D, P(x) adalah proposisi. Kita sebut D daerah asal pembicaraan (domain of discourse) dari P.

REPRESENTASI PENGETAHUAN LOGIKA PROPOSISI

1. LOGIKA DAN SET

Representasi pengetahuan dengan symbol logika merupakan bagian dari penalaran eksak. Bagian yang paling penting dalam penalaran adalah mengambil kesimpulan dari premis. Logika dikembangkan oleh filusuf Yunani, Aristoteles (abad ke 4 SM) didasarkan pada silogisme, dengan dua premis dan satu konklusi.

Contoh :

• Premis : Semua laki-laki adalah makhluk hidup 
• Premis : Socrates adalah laki-laki 
• Konklusi : Socrates adalah makhluk hidup

Cara lain merepresentasikan pengetahuan adalah dengan Diagram Venn.