Oleh :
C.431.13.0110
SEMARANG
2014
BAB I
PENDAHULUAN
Kecerdasan buatan (Artificial Intelligence) menyebabkan lahirnya berbagai teknologi yang dapat
dikatakan bersifat cerdas, misalnya permainan (game), sistem pakar (expert system), jaringan
saraf tiruan (artificial neural network) dan robotika. Kecerdasan buatan ini dapat dimanfaatkan
diberbagai bidang kebutuhan manusia, misalnya hiburan. Dengan adanya hiburan, maka
kejenuhan yang timbul akibat kesibukan dan rutinitas yang tinggi dapat dihilangkan. Salah satu
jenis hiburan adalah game. Keberadaan industri game yang terus berkembang pesat serta
semakin maraknya peredaran perangkat keras game seperti Play Station, XBOX dan sebagainya
dapat dijadikan bukti bahwa masyarakat memang tertarik dan menaruh minat pada bidang
kecerdasan buatan yang satu ini. Bahkan dewasa ini aplikasi permainan merupakan salah satu
fitur yang harus terdapat dalam telepon selular.
1.2 Tujuan
Mahasiswa dapat memahami representasi pengetahuan logika yang menyangkup berbagai hal
diantaranya adalah Logika dan Set Jaringan, dll.
PEMBAHASAN
Secara teknik kita akan membahas representasi pengetahuan menjadi tujuh kelompok:
Quantifier Universal
Quantifier Existensial
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 :
Diagram Venn merepresentasikan sebuah himpunan yang merupakan kumpulan objek. Objek
dalam himpunan disebut elemen.
Symbol epsilon menunjukkan bahwa suatu elemen merupakan anggota dari suatu himpunan,
contoh : 1 A . Jika suatu elemen bukan anggota dari suatu himpunan maka symbol yang
digunakan , contoh : 2 A. Jika suatu himpunan sembarang, misal X dan Y didefinisikan
bahwa setiap elemen X merupakan elemen Y, maka X adalah subset dari Y, dituliskan : X Y
atau Y X.
Interseksi (Irisan)
C = A B C = {x U | (x A) (x B)}
Dimana : menyatakan irisan himpunan | dibaca sedemikian hingga operator logika AND
Union (Gabungan)
C = A B C = {x U | (x A) (x B)}
Komplemen
A = {x U | ~(x A) }
Logika Proposisi disebut juga kalkulus proposisi yang merupakan logika simbolik untuk
memanipulasi proposisi. Proposisi merupakan pernytaan yang dapat bernilai benar atau salah.
Operator Fungsi
Konjungsi (AND/DAN)
Disjungsi (OR/ATAU)
~ Negasi (NOT/TIDAK)
-> Implikasi/Kondisional (IF..THEN../JIKA.. MAKA.)
Equivalensi/Bikondisional
Contoh 1 :
Contoh 2 :
Kondisional Berarti
Anda berusia 21 tahun atau sudah tua
p implies q
implies Anda mempunyai hak pilih.
Jika Anda berusia 21 tahun atau sudah tua,
Jika p maka q
maka Anda mempunyai hak pilih.
Anda berusia 21 tahun atau sudah tua,
p hanya jika q
hanya jika Anda mempunyai hak pilih.
p adalah (syarat
cukup untuk q)Anda berusia 21 tahun atau sudah tua adalah syarat cukup Anda mempunyai hak
pilih.q jika pAnda mempunyai hak pilih, jika Anda berusia 21 tahun atau sudah tua.q adalah
(syarat
perlu untuk p)Anda mempunyai hak pilih adalah syarat perlu Anda berusia 21 tahun atau sudah
tua.
p ~p
T F
F T
Logika Predikat Order Pertama 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).
Logika orde pertama adalah sistem resmi yang digunakan dalam matematika , filsafat ,linguistik ,
dan ilmu komputer . Hal ini juga dikenal sebagai orde pertama predikat kalkulus, semakin rendah
kalkulus predikat, teori kuantifikasi, dan logika predikat. Logika orde pertama dibedakan
dari logika proposisional oleh penggunaan variabel terukur .
Sebuah teori tentang beberapa topik biasanya logika orde pertama bersama-sama dengan yang
ditentukan domain wacana dimana variabel diukur berkisar, finitely banyak fungsi yang
memetakan dari domain yang ke dalamnya, finitely banyak predikat didefinisikan pada domain
tersebut, dan satu set rekursif dari aksioma yang diyakini terus untuk hal-hal. Kadang-kadang
teori dipahami dalam arti yang lebih formal, yang hanya satu set kalimat dalam logika orde
pertama.
Kata sifat orde pertama membedakan orde pertama logika darilogika tingkat tinggi di mana
ada predikat yang memiliki predikat atau fungsi sebagai argumen, atau di mana salah satu atau
kedua bilangan predikat atau fungsi bilangan diizinkan. Dalam first teori order, predikat sering
dikaitkan dengan set. Dalam ditafsirkan tingkat tinggi teori, predikat dapat ditafsirkan sebagai set
set.
Ada banyak sistem deduktif untuk orde pertama logika yang sehat(semua laporan dapat
dibuktikan benar dalam semua model) danlengkap (semua pernyataan yang benar dalam semua
model yang dapat dibuktikan). Meskipun konsekuensi logis hubungan hanyasemidecidable ,
banyak kemajuan telah dibuat dalam teorema otomatis dalam logika orde pertama. Logika orde
pertama juga memenuhi beberapa metalogical teorema yang membuatnya setuju untuk analisis
dalam teori bukti , seperti teorema Lwenheim-Skolem dan teorema kekompakan .
Logika orde pertama adalah standar untuk formalisasi matematika menjadi aksioma dan
dipelajari di dasar matematika . Teori matematika, seperti nomor teori dan teori himpunan , telah
diresmikan menjadi orde pertama aksioma skema seperti Peano aritmatika dan Zermelo-Fraenkel
teori himpunan masing-masing (ZF).
Tidak ada teori orde pertama, bagaimanapun, memiliki kekuatan untuk menggambarkan
sepenuhnya dan kategoris struktur dengan domain yang tak terbatas, seperti bilangan
asli atau garis nyata .Sistem aksioma kategoris untuk struktur ini dapat diperoleh dalam logika
kuat seperti logika orde kedua .
himpunan huruf, baik huruf kecil maupun huruf besar dalam abjad.
Garis bawah _
Symbol-simbol dalam logika predikat dimulai dengan sebuah huruf dan diikuti oleh
sembarang rangkaian karakter-karakter yang diijinkan.
Symbol-simbol logika predikat dapat merepresentasikan variable, konstanta, fungsi atau
predikat
Konstanta: objek atau sifat dari semesta pembicaraan. Penulisannya diawali dengan huruf kecil,
seperti : pohon, tinggi. Konstanta true(benar) dan false(salah) adalah symbol kebenaran (truth
symbol).
Variable : digunakan untuk merancang kelas objek atau sifat-sifat secara umum dalam semesta
pembicaraan. Penulisannya diawali dengan huruf besar, seperti : Bill, Kate.
Fungsi : pemetaan (mapping) dari satu atau lebih elemen dalam suatu himpunan yang disebut
domainfungsi ke dalam sebuah elemen unik pada himpunan lain yang disebut rangefungsi.
Penulisannya dimulai dengan huruf kecil. Suatu ekspresi fungsi merupakan symbol fungsi yang
diikuti argument.
Argument adalah elemen-elemen dari fungsi, ditulis diapit tanda kurung dan dipisahkan dengan
tanda koma.
Predikat: menamai hubungan antara nol atau lebih objek dalam semesta pembicaraan.
Penulisannya dimulai dengan huruf kecil, seperti : equals, sama dengan, likes, near.
teman(ayah_dari(david),ayah_dari(andrew))
dimana:
predikat : teman
Dalam logika predikat , quantifieri universal merupakan jenis quantifier , sebuah konstanta
logis yang ditafsirkan sebagai diberi atau untuk semua. Ini mengungkapkan bahwa fungsi
proposisi dapat dipenuhi oleh setiapanggota dari domain wacana. Dalam istilah lain, itu
adalah predikasi dari properti atau hubungan dengan setiap anggota domain.
Ini menegaskanbahwa predikat dalam lingkup dari quantifier universal benar dari setiap nilai
dari variabel predikat .
Hal ini biasanya dilambangkan dengan berbalik A () operator logika simbol, yang bila
digunakan bersama-sama dengan variabel predikat, disebut quantifier universal (x, (x),
atau kadang-kadang dengan (x) saja). Kuantifikasi Universal berbeda
dari kuantifikasi eksistensial (ada ada), yang menegaskan bahwa properti atau relasi hanya
berlaku untuk setidaknya satu anggota dari domain.
Contoh 1 :
(x) (x + x = 2x)
Contoh 2 :
dan dibaca :
setiap kucing adalah bukan binatang
Contoh 3:
Contoh 4 :
Dibaca : untuk semua x, jika x adalah manusia (human), maka x melahirkan (mortal).
Dalam logika predikat , suatu quantifier eksistensial adalah jenis quantifier , sebuah konstanta
logis yang ditafsirkan sebagai ada ada, ada setidaknya satu, atau untuk beberapa. Ini
mengungkapkan bahwa fungsi proposisi dapat dipenuhi oleh setidaknya
satu anggota dari domain wacana . Dalam istilah lain, itu
adalah predikasi dari properti atau hubungan dengan setidaknya satu anggota dari domain.
Ini menegaskan bahwa predikat dalamlingkup dari quantifier eksistensial adalah benar dari
setidaknya satu nilai darivariabel predikat .
Hal ini biasanya dilambangkan dengan E berubah () operator logika simbol, yang bila
digunakan bersama-sama dengan variabel predikat, disebut quantifier eksistensial (x atau
(x)) Kuantifikasi eksistensial.
Contoh 1 :
(x) (x . x = 1)
Dibaca : terdapat x yang bila dikalikan dengan dirinya sendiri hasilnya sama dengan 1.
Contoh 2 :
Contoh 3 :
Himpunan Logika
(AB)AB ~(pq) p~q
(AB)AB ~(pq) p ~q
Contoh :
Diketahui :
E = elephant
R = reptile
G = gray
F = four legged
D = dogs
M = mammals
Pernyataan yang mengandung kata, semua, ada atau kata yang lain tidak bisa diselesaikan.
(( A B) A) B
Fungsi proposisional=fungsi
Kuantor
G(x) = gajah
B(x) = belalai
(x)(G(x)B(x))
Contoh :
(x)(P(x)G(x))
Term=nani , ratna
Fungsi=ibu(nani,ratna) ; M(n,r)
M(n,r)M(r,n)
BAB III
PENUTUP
3.1 Kesimpulan
Kemajuan teknologi adalah sesuatu yang tidak bisa kita hindari dalam kehidupan ini, karena
kemajuan teknologi akan berjalan sesuai dengan kemajuan Ilmu Pengetahuan, Perkembangan
Teknologi memang sangat diperlukan.Kita sangat sadar sekali bahwa kemajuan teknologi saat ini
banayak memberikan manfaat yang begitu besar bagi kehidupan manusia dalam berbagai bidang,
baik dalam bidang pendidikan, ekonomi, sosial, dan lain sebagainya.
Dengan adanya Sistem Kecerdasan Buatan ini diharapkan kemajuan teknologi berkembang pesat
sesuai harapan. Dan dari materi yang sudah dipaparkan diatas merupakan bagian dari materi
Artifical Intelegent yang sangat bermanfaat pada dunia computer saat ini. Salah satu contoh yaitu
penggunaan logika untuk penerapan suatu alat ataupun program yang ingin dibuat agar alat atau
program tersebut menjadi cerdas seperti halnya manusia.
Daftar Pustaka
Giarrantano, J and G.Riley, Expert System : Principle and Programming,4thed, PWS Kent, 2004
Sri Kusumadewi, Artificial Intelligence : Teknik dan Aplikasinya, Graha Ilmu, Yogyakarta, 2003
http://bagusnunu.blogspot.com/2014/09/representasi-pengetahuan.html
CONTOH PERTANYAAN DAN JAWABANNYA
JAWABAN
1. Pengetahuan (knowledge) adalah sesuatu yang hadir dan terwujud dalam jiwa dan pikiran sese
orang karena adanya reaksi, sentuhan, dan hubungan dengan lingkungan dan alam sekitarnya. Pe
ngetahuan adalah fakta atau keadaan yang timbul karena suatu pengalaman.
Contoh: pengetahuan tentang binatang, sifat-sifat dan perilakunya. Pengetahuan tentang penyakit
, gejala-gejala, dan pengobatannya. Pengetahuan tentang tanaman, jenis-jenisnya dan cara hidupn
ya, dan lain-lain.
3. Representasi logika adalah cara untuk menyajikan pengetahuan yang berupa logika yaitu peng
etahuan untuk berpikir dan menalar dengan benar sehingga didapatkan kesimpulan yang absah.
Biasanya teknik representasi logika menggunakan ekspresi-ekspresi dalam logika formal. Ekspre
si-ekspresi inilah yang nantinya digunakan sebagai proses untuk membentuk kesimpulan atau me
narik suatu inferensi berdasarkan fakta yang telah ada.
Contoh: *logika proposisi : A: jadwal kuliah saya hari senin sampai sabtu
B: hari ini hari minggu
C: jadi hari ini saya tidak kuliah
*logika predikat:
penjabaran : - Semua manusia perlu makan
- Sokrates adalah manusia
- Sokrates perlu makan
Sehingga dalam logika predikat sebagai
berikut:
-
-Manusia (Sokrates)
Perlu Makan (Sokrates)
Contoh:
Hasil :
- Api padam
7. Representasi pengetahuan aturan produksi adalah suatu representasi pengetahuan yang mengh
ubungkan premis dengan konklusi yang diakibatkannya. Beberapa keuntungan aturan produksi a
dalah sederhana, mudah difahami, implementasi secara straightforward dan dasar dari berbagai v
arian.
Contoh:
IF lalulintas pagi ini padat
THEN saya naik sepeda motor saja
Aturan dapat ditulis dalam beberapa bentuk :
1. IF premis THEN kesimpulan
Jika pendapatan tinggi MAKA pajak yang harus dibayar juga tinggi
2. Kesimpulan IF premis
Pajak yang harus dibayar tinggi JIKA pendapatan tinggi
3. Inclusion of ELSE
IF pendapatan tinggi OR pengeluaran tinggi, THEN pajak yang harus dibayar tinggi ELSE pajak
yang harus dibayar rendah
4. Aturan yang lebih kompleks
IF rating kredit tinggi AND gaji lebih besar dari $30,000 OR aset lebih dari $75,000 AND sejara
h pembayaran tidak miskin THEN pinjaman diatas $ 10,000 disetujui dan daftar pinjaman masuk
kategori B
erja pemerograman AI dirancang untuk meniru cara kerja manusia berfikir dalam memecahkan s
uatu masalah. Di dalam memecahkan masalah, manusia menggunakan pengetahuan dan penalara
n yang dimilikinya yang berkaitan dengan masalah yang akan dipecahkan. Semakin lengkap pen
getahuan tersebut dan semakin bagus prosespenalarannya, maka solusi yang dihasilkan semakin
mendekati sempurna.