24
4.
Resolusi
Resolusi
merupakan suatu teknik pembuktian
yang
lebih efisien, sebab
fakta-fakta
yang
akan
dioperasikan
terlebih
dahulu
dibawa
kebentuk
standar
yang
sering
disebut
dengan
nama klausa.
Pembuktian suatu
pernyataan
menggunakan resolusi
ini
dilakukan
dengan
cara
menegasikan pernyataan
tersebut, kemudian dicari
kontradiksinya dari
pernyataan-pernyataan yang sudah ada.
2.5.2
Pohon
Pohon
merupakan
struktur
penggambaran
pohon
secara
hirarkis. Struktur
pohon
terdiri
dari
node-node
yang
menunjukkan obyek,
dan
arc
(busur)
yang
menunjukkan
hubungan antar obyek.
A
B
C
Gambar 2.3 Contoh Struktur Pohon
2.5.3
Jaringan Semantik
Jaringan
semantik
merupakan
gambaran
pengetahuan grafis
yang
menunjukan
hubungan
antar
berbagai obyek.
Jaringan
semantik terdiri
dari
lingkaran-lingkaran yang
menunjukkan
obyek
dan
informasi
tentang
obyek-obyek
tersebut.
Obyek
disini bisa
 |