Resolusi Logika Predikat

Resolusi pada logika predikat pada dasarnya sama dengan resolusi pada logika proposisi, hanya saja ditambah dengan unufikasi. Pada logika predikat, prosedur untuk membuktikan pernyataan P dengan beberapa pernyataan F yang telah diketahui, dengan menggunakan resolusi, dapat...

Read More

Logika Predikat

Logika predikat adalah suatu logika yang lebih canggih yang seluruhnya menggunakan konsep dan kaidah proposional yang sama. Disebut juga sebagai kalkulus predikat, yang memberi tambahan kemampuan untuk merepresentasikan pengetahuan dengan sangat cermat dan rinci. Kalkulus...

Read More

Resolusi Logika Proposisi

Resolusi merupakan suatu teknik pembuktian yang lebih efisien, sebab fakta-fakta yang akan dioperasikan terlebih dahulu dibawa ke bentuk standar yang sering disebut dengan nama klausa. Pembuktian suatu pernyataan menggunakan resolusi ini dilakukan dengan cara menegasikan...

Read More

Logika Proposisi

Kata merupakan rangkaian huruf yang mengandung arti, sedangkan kalimat adalah kumpulan kata yang disusun menurut aturan tata bahasa dan mengandung arti. Di dalam matematika tidak semua pernyataan yang bernilai benar atau salah saja yang digunakan dalam penalaran. Pernyataan...

Read More

Logika

Logika merupakan suatu pengkajian ilmiah tentang serangkaian penalaran, sistem kaidah, dan prosedur yang membantu proses penalaran. Logika merupakan bentuk representasi pengetahuan yang paling tua, yang menjadi dasar dari teknik representasi high level. Dalam melakukan penalaran,...

Read More

Jaringan Semantik

Jaringan Semantik, merupakan teknik representasi kecerdasan buatan klasik yang dibunakan untuk informasi proporsional. Jaringan semantik kadang disebut juga dengan “proportional net”. Jaringan semantik pertama kali dikembangan untuk kecerdasan buatan sebagai cara untuk menunjukkan...

Read More

Kaidah Produksi

Metode representasi dengan menggunakan kaidah produksi sangat umum digunakan sebagai basis pengetahuan dalam sistem pakar jika keuntungan melebihi kerugiannya . Dalam langkah kaidah produksi akan dituliskan beberapa perintah dalam bentuk jika-maka (IF-THEN). Kaidah ini terdiri...

Read More

Pengetahuan

Pengetahuan merupakan salah satu kata, dimana seseorang mengetahui artinya, tetapi sulit untuk mendefinisikannya. Pengetahuan mempunyai banyak arti, dengan kata lain, kata seperti data, fakta dan informasi sering digunakan secara sinonim dengan pengetahuan    ...

Read More

SISTEM PAKAR

Sistem Pakar merupakan salah satu area dari sistem kecerdasan buatan. Sistem ini banyak dikembangkan dalam bidang ilmu komputer, yang mana dirancang untuk membantu pengguna yang bukan merupakan seorang pakar untuk menyelesaikan suatu permasalahan dengan memanfaatkan pengetahuan...

Read More