1 2
Frame
Banyak pengetahuan yang digunakan dalam Frame (Minsky, 1975) dipandang sebagai struktur
proses penalaran kita sehari hari yang sudah data static yang digunakan untuk merepsentasi-
pasti dan sudah dikenal dengan baik. Hal ini kan situasi-situasi yang telah dipahami dan
didasarkan kepada berbagai penampilan situasi stereotype.
dan objek-objek khusus, dan proses yang tak Frame digunakan untuk merepresentasikan
bervariasi. pengetahuan stereotype atau pengetahuan yang
Pengetahuan semacam itu kita sebut didasarkan kepada karakteristik yang sudah
pengetahuan stereotype. dikenal yang merupakan pengalaman masa lalu.
Skema adalah satu metoda pengorganisasian, Frame berupa kumpulan slot-slot (representasi
presentasi dan penggunaan pengetahuan entitas sebagai struktru objek) yang merupakan
stereotype agar komputer bisa menalar atribut untuk mendeskripsikan pengetahuan
berupa kejadian, lokasi, situasi ataupun elemen-
elemen lain. Frame digunakan untuk representasi
pengetahuan deklaratif.
3 4
Contoh 1 Contoh 2
Frame Pohon
Spesialisasi dari : Tumbuhan
Jumlah batang : integer (default 1)
Jenis kulit : halus
Model daun : jenis pohon jarum, berganti
daun
Bentuk daun : sederhana, berlekuk,
campuran
Frame Pohon Perdu
Spesialisasi dari : Pohon
Jumlah batang :3
Jenis kulit : halus
Model daun : berganti daun
Bentuk daun : sederhana, berlekuk
5 6
Contoh 3
Frame Name Object 1 Object 1 IS A
Setiap frame individual dapat dipandang Class Object 2
Object 2
sebagai struktur data yang mirip record,
berisi informasi yang relevan dengan Properties
entitas-entitas stereotype. Slot-slot dalam Property 1 Value 1
frame dapat berisi : Property 2 Value 2
Informasi identifikasi frame Property 3 Value 3
Hubungan frame dengan frame lain
Penggambaran persyaratan yang dibutuhkan
frame Frame Name Bird
Informasi procedural untuk menggunakan
struktur yang digambarkan Properties
Informasi default frame Color Unknown
Informasi terbaru. No Wings 2
Flies True
7 8
13 14
Diagram Venn
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.
Diagram Venn merepresentasikan sebuah
himpunan yang merupakan kumpulan objek. Jika suatu himpunan sembarang, misal X
dan Y didefinisikan bahwa setiap elemen
Objek dalam himpunan disebut elemen. X merupakan elemen Y, maka X adalah
A ={1,3,5,7}
subset dari Y, dituliskan : X Y atau Y
B = {.,-4,-2,0,2,4,..}
X.
C = {pesawat, balon}
15 16
C=AB
C = {x U | (x A) (x B)} C=AB
Dimana : menyatakan irisan himpunan C = {x U | (x A) (x B)}
| dibaca sedemikian hingga Dimana :
menyatakan gabungan himpunan
operator logika AND
operator logika OR
17 18
Operasi-operasi Dasar Logika Proposisi
Komplemen Disebut juga kalkulus proposisi yang merupakan
logika simbolik untuk memanipulasi proposisi.
Proposisi merupakan pernytaan yang dapat
bernilai benar atau salah.
Operator logika yang digunakan :
Operator Fungsi
A = {x U | ~(x A) }
Konjungsi (AND/DAN)
Dimana : Disjungsi (OR/ATAU)
menyatakan komplemen himpunan
~ Negasi (NOT/TIDAK)
~ operator logika NOT Implikasi/Kondisional (IFTHEN./ JIKA MAKA .)
Equivalensi/Bikondisional (IF AND ONLY IF / JIKA DAN HANYA JIKA)
p q (pq) (qp)
19 20
21 22
25 26
Variable Predikat
digunakan untuk merancang kelas objek atau sifat- menamai hubungan antara nol atau lebih objek dalam
sifat secara umum dalam semesta pembicaraan. semesta pembicaraan. Penulisannya dimulai dengan
Penulisannya diawali dengan huruf besar, seperti : huruf kecil, seperti : equals, samadengan, likes, near.
Bill, Kate.
Contoh kalimat dasar :
Fungsi
teman(george,allen)
pemetaan (mapping) dari satu atau lebih elemen
dalam suatu himpunan yang disebut domain fungsi ke teman(ayah_dari(david),ayah_dari(andrew))
dalam sebuah elemen unik pada himpunan lain yang dimana :
disebut range fungsi. Penulisannya dimulai dengan
huruf kecil. Suatu ekspresi fungsi merupakan symbol argument : ayah_dari(david) adalah george
fungsi yang diikuti argument. argument : ayah_dari(andrew) adalah allen
Argument predikat : teman
adalah elemen-elemen dari fungsi, ditulis diapit tanda Operator logika konektif : ,, ~, , .
kurung dan dipisahkan dengan tanda koma.
Contoh : f(X,Y) Logika kalkulus orde pertama mencakup
ayah(david) symbol universal quantifier dan
plus(2,3) existensial quantifier .
27 28
Contoh 2 :
p = seluruh kucing adalah binatang
Universal Quantifier (
x) (p) (Jika x adalah seekor kucing x adalah
binatang)
Menunjukkan semua kalimat adalah
benar untuk semua nilai variabelnya. Kebalikan kalimatnya
Direpresentasikan dengan symbol (
x) (p) (Jika x adalah seekor kucing ~x adalah
diikuti satu atau lebih argument untuk binatang)
suatu domain variable. dan dibaca :
Symbol diinterpretasikan untuk setiap - setiap kucing adalah bukan binantang
atau untuk semua. - semua kucing adalah bukan binantang
Contoh 1 : Contoh 3:
(
x) (x + x = 2x) (
x) (Jika x adalah segitiga x adalah polygon)
untuk setiap x (dimana x adalah suatu Dibaca : untuk semua x, jika x adalah segitiga, maka x
bilangan), kalimat x + x = 2x adalah benar.
adalah polygon
dapat pula ditulis : (
x) (segitiga(x) polygon(x))
(
x) (T(x) P(x))
29 30
Existensial Quantifier