23
1.
Representasi Fakta Sederhana
Merepresentasi fakta sederhana dapat dilakukan melalui 3 cara :
a.
Kita
bisa
menggunakan beberapa urutan
aturan-aturan
yang
ada
untuk
memutuskan bahwa
jawaban
mana
yang
lebih
mendekati,
kemudian kita
coba untuk
membuktikan
jawaban tersebut. Apabila
gagal, kita coba untuk membuktikan aturan yang lainnya.
b.
Kita
coba
buktikan
kedua
jawaban secara
simultan
dan
berhenti
apabila salah satu jawaban telah sukses dibuktikan.
c.
Kita
coba
buktikan
salah
satu
jawaban
(terbukti
atau
tidak
terbukti).
Informasi
yang diberikan (terbukti
maupun tidak
terbukti) bisa
kita
gunakan untuk
menguatkan
jawaban
yang
lainnya.
2.
Representasi Hubungan Instance Dan Isa
Predikat
Instance adalah
predikat
dengan
argumen
pertama
berupa
obyek
dan
argumen
kedua
berupa
klas
dimana
obyek
terdapat.
Predikat
Isa
adalah
predikat
yang
menunjukkan
hubungan antar
sub-
klas.
3.
Computable Function
Jika
fakta
yang akan
disajikan
jumlahnya
sangat
banyak,
maka kita
tidak
mungkin
mengekspresikannya secara
individu.
Untuk
itu
diperlukan computable
function.
Computable
function
biasanya
juga
digunakan
sebagai
computable
predicates ,
sehingga
kita
dapat
mengevaluasi predikat.
 |