BELLA ALYSHA VIRA

Pertemuan 6 Representasi Pengetahuan Nama : Bella Alysha Vira NPM : 11115319 Kelas : 3KA10 Dosen : Essy Malays Sari Sakti 1.1. REKAYASA ONTOLOGI Pengertian ontologi sangat beragam dan berubah sesuai dengan berjalannya waktu, ada beberapa definisi ontologi yang didefinisikan oleh Neches memberikan definisi awal tentang ontologi yaitu “Sebuah ontologi merupakan definisi dari pengertian dasar dan relasi kosakata dari sebuah area sebagaimana aturan dari kombinasi istilah dan relasi untuk mendefinisikan kosakata”. Dalam bidang kecerdasan buatan, ontologi memiliki dua pengertian yang berkaitan. Pertama ontologi merupakan kosakata representasi yang sering dikhususkan untuk domain atau subyek pembahasan tertentu. Kedua, sebagai suatu body of knowledge untuk menjelaskan suatu bahasan tertentu. Literatur yang berisi tentang kecerdasan buatan banyak menjelaskan tentang definisi ontologi, banyak yang bertentangan satu dengan yang lainya. Tetapi dapat diambil k

Pertemuan 5 Logika Orde Pertama (First-Order Logic) Nama : Bella Alysha Vira NPM : 11115319 Kelas : 3KA10 Dosen : Essy Malays Sari Sakti 1.1. PENGENALAN LOGIKA ORDE PERTAMA (FIRST ORDER LOGIC) 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). Kalkulus predikat bisa menganalisakan kalimat-kalimat ke dalam subjek dan argumen dalam berbagai cara yang berbeda-beda, yang pada akhirnya kalkulus predikat bisa digunakan untuk memecahkan problem of multiple generality (masalah dalam berbagai keadaan umum) yang telah membingungkan sebagian besar ahli-ahli logika abad pertengahan. Dengan menggunakan logika predikat ini, untuk p