Logika Order-Pertama (Logika Predikat)
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.
Sintaks: simbol atomik dari bahasa logika, dan aturan
konstruksi bahasa yang baku, atau merupakan ekspresi non‐atomik (struktur
simbol) dari sebuah logika. Sintaks akan menspesifikasikan simbol‐simbol dalam
sebuah bahasa, dan bagaimana simbol dikombinasikan untuk membentuk kalimat.
Dari sini terlihat bahwa fakta dalam dunia akan direpresentasikan melalui
kalimat di dalam logika.
Semantik: arti dari simbol atomik dalam logika, dan aturan
untuk mendeterminasikan arti dari ekspresi non‐atomik di dalam logika. Semantik
menspesifikasikan fakta‐fakta dalam dunia yang direferensikan melalui sebuah
kalimat. Dengan demikian, juga memberikan cara tentang bagaimana sebuah kebenaran
didasari dengan artinya di dunia nyata. Sebuah fakta adalah klaim terhadap
dunia, dan bisa bernilai salah atau benar.
Penggunaan FOL • Brothers are siblings "x,y Brother(x,y) Û Sibling(x,y) • One's
mother is one's female parent "m,c
Mother(c) = m Û
(Female(m) Ù
Parent(m,c)) • “Sibling” is symmetric "x,y
Sibling(x,y) Û
Sibling(y,x)
Logika proposisi merupakan ilmu dasar untuk mempelajari
algortima dan logika, yang berperan sangat penting dalam pemrograman.
Inferensi pada logika proposisi dapat dilakukan dengan
menggunakan resolusi. RESOLUSI adalah suatu aturan untuk melakukan
inferensi yg dapat berjalan secara efisien dalam suatu bentuk khusus yg
disebut Conjunctive Normal Form (CNF).
Unifikasi adalah usaha untuk mencoba membuat dua
ekspresi menjadi identik (mempersatukan keduanya) dengan mencari
substitusi-substitusi tertentu untuk mengikuti peubah-peubah dalam ekspresi
mereka tersebut.
Tidak ada komentar:
Posting Komentar