Logika Orde Pertama

Nama   : Safira Regia Tama Basmalah

NPM    : 16115327

Kelas   : 3KA10

Dosen  : Essy Malays Sari Sakti

LOGIKA ORDE PERTAMA (First Order Logic)

First Order Logic adalah formal yang digunakan di ilmu matematika, philosophy, bahasa ilmu computer. Bisa juga disebut dengan kalkulus predikat yaitu logika yang digunakan untuk mempresentasikan masalah yang tidak dapat direpresentasikan dengan menggunakan proposisi

UNIFIKASI & LIFTING

Unifikasi adalah usaha untuk membuat dua ekspresi menjadi identik dengan mencari subsitusi tertentu untuk mengikuti pengubah dalam ekspresi tersebut. Unifikasi dapat dikatakan sebagai dasar-dasar atas kebanyakan strategi inferensi dalam kecerdasan buatan. 

Aturan Unifikasi yaitu:

A. 2 atom (Konstanta atau pengubah) adalah identik.

B. 2 daftar identik atau ekspresi dikonversi dalam satu buah daftar.

C. Sebuah konsatanta dan satu pengubah terikat dipersatukan, sehingga pegnubah menjadi terikat kepada konstanta.

D. Sebuah pengubah tak terikat dipersatukan dengan pengubah terikat.

E. Sebuah pengubah terikat dipersatukan dengan sebuah konstanta jika pengikatan pada pengubah terikat dengan konstanta tidak ada konflik

FORWARD & BACKWARD CHAINING

Foward chaining adalah suatu rantai yang dicari atau dilewati dari suatu permasalah untuk memperoleh solusi dan penalaran dari fakta menuju konklusi berasal dari fakta. Sedangkan backwarad chaining adalah suatu relasi yang dilintasi dari suatu hipotesa dengan tujuan yang dapat dipenuhi degna pemenuhan sub tujuannya.

Contohnya :

Kambing -> Herbivora
Herbivota -> Binatang

Referensi

http://web.cecs.pdx.edu/~mperkows/CLASS_479/2017_ZZ_00/02__GOOD_Russel=Norvig=Artificial%20Intelligence%20A%20Modern%20Approach%20(3rd%20Edition).pdf

http://imamcs.lecture.ub.ac.id/tag/logika-order-pertama-first-order-logic/