LAPORAN KECERDASAN BUATAN

PERTEMUAN KE 4
Disusun Oleh :
Nama : Mohamad Hanaf
Nim : !"4##$4
%u&usan : TEKN'K 'N(ORMAT'KA
LABOROTAR'UM TERPADU
SEKOLAH T'N))' MANA%EMEN 'N(ORMAT'KA DAN KOMPUTER
AKAKOM
*O)*AKARTA
+#
UN'('KAS' DAN LACAKBAL'K
,UN'('CAT'ON AND BACKTRACK'N)-
A. PEMBAHASAN
Tu/uan un0u1 meme2ela/a&i unif1asi dan la3a14ali1 men5e&0i a2a 6an5
dima1sud unif1asi dan 2&oses 0e&/adin6a7 men5e&0i 3a&a 1e&/a la3a1 4ali1 dan
2&insi282&insi2n6a7 dan da2a0 men5endali1an 2&oses la3a1 4ali1 men55una1an
2&edi1a0 9ail7 3u0 ,:- dan no0.
Unifkasi Dan Lacakbalik tebagi menjadi 4 macam :
1. Unifkasi (Unifcation)
Pada ;a10u <isual P&olo5 men3o4a un0u1 men3o3o11an sua0u 2an55ilan
,da&i se4uah su45oal- 1e 1lausa ,2ada se30ion clauses-7 ma1a 2&oses
0e&se4u0 meli4a01an sua0u 2&osedu& 6an5 di1enal den5an unif1asi
,unif3a0ion-7 6an5 mana 4e&usaha un0u1 men3o3o11an an0a&a s0&u10u&
da0a 6an5 ada di 2an55ilan ,su45oal- den5an 1lausa 6an5 di4e&i1an.
Dalam 2&a10i1um 6an5 2e&0ama di/elas1an se4a5ai 4e&i1u0:
DOMAINS
judul,pengarang = symbol
halaman = unsigned
2&o5&am men/elas1an un0u1 mem4e&i 0i2e da0a 6an5 sesuai un0u1 diisi dan
1emudian 2&o5&am di0e&us1an selan/u0n6a.

PREDICAES
bu!u"judul, halaman#
nonde$erm di$ulis%oleh"pengarang, judul#
nonde$erm bu!u%$ebal"judul#
2&o5&am mem4e&i ins0&u1si un0u1 di/alan1an 1edalam 2&o5&am CLAUSES
6an5 mana dalam 2&o5am PRED'CATES di4e&i sim4ol un0u1 men/alan1an
2&o5&am selan/u0n6a.

C&A'SES
di$ulis%oleh"indra%ya$ini%buryadi, (Algori$ma pemrograman
dengan C))(#*
di$ulis%oleh"sari%is+an$i, (Sis$em pa!ar(#*

bu!u"(Algori$ma pemrograman dengan C))(, ,-.#*
bu!u"(Sis$em pa!ar(, /00#*
Disinilah 0e&da2a0 9a10a da&i 1asus 2&o5&am 0e&se4u0 6an5 mana 2ada hasil
)OAL 6an5 a1an men5e1se1usi a0au mem4a3a da&i 9a10a89a10a 6an5 ada.
bu!u%$ebal"1udul#23
di$ulis%oleh"%, 1udul#,
bu!u"1udul, ebal#,
ebal 4 5..*
Te&da2a0 2e&0an6aan sia2a 6an5 menulis 4u1u /uduln6a a2a 9un5sin6a
a2a4ila )OAL die1se1usi a1an mem4a3a da&i 2&o5&am ini sia2a 6an5
menulis 4u1u dan 2ada 2&o5&am dia0as mem4a3an6a da&i 2&o5&am
CLAUSES disi0ulah 9un5si 2&o5&am CLAUSES diisi sesuai den5an 0i2e da0a
dia0as ,2ada 2&o5&am PRED'CATES-.
6OA&
bu!u%$ebal"M#*
A2a4ila dalam )OAL di4e&i hu&u9 selain =M> ma1a 2&o5&am 0e&se4u0 /u5a
4isa mem4a3an6a 9un5si da&i 1a&a10e& 6an5 a1an di2an55il men3o3o11an
A&5umen8a&5umen 6an5 di0emu1an 2ada masin58masin5 1lausa
di0ulis?oleh7 ma1a 1a&a10e& 0e&se4u0 a1an men3a&i da&i 6an5 2aln5 a0as
hin55a 1e 2alin5 4a;ah da&i 2&o5&am.
Hasil ou02u0n6a @
%i1a 2ada )OALn6a 1a&a10e&n6a di5an0i den5an hu&u9 lain se4a5ai 4e&i1u0 :
6OA&
bu!u%$ebal"7#*
Hasil ou02u0n6a :
Dan a2a4ila 4u1u 6an5 1edua di5an0i le4ih 4esa& 6an5 di0an6a1an ma1a
hasil &unnin5n6a ada + solu0ion dan 4u1u 6an5 di5an0i =bu!u"(Sis$em
pa!ar(, 8..#*> Ma1a hasil ou02u0n6a se4a5ai 4e&i1u0 :
2. Lacakbalik (Backtracking)
La3a1 ;a10u 2en6elesaian masalah7 se&in51ali7 seseo&an5 ha&us
menulusu&i sua0u /alu& un0u1 menda2a01an 1on1lusi 6an5 lo5is. %i1a
1on1lusi ini 0ida1 mem4e&i1an /a;a4an 6an5 di3a&i7 o&an5 0e&se4u0 ha&us
memilih /alu& 6an5 lain. <isual P&olo5 a1an la3a14ali1 1e 0i0i1 la3a1 4ali1
,4a3180&a31in5 2oin0- 0e&a1hi& dan men3o4a al0e&na0i9 su45oal 6an5 lain.
Con0oh dalam P&a10i1um 1e8+ se4a5ai 4e&i1u0 :
PREDICAES
nonde$erm jenis"symbol, symbol#
nonde$erm adalah"symbol, symbol#
hidup"symbol, symbol#
nonde$erm dapa$%berenang"symbol#
2&o5&am mem4e&i ins0&u1si un0u1 di/alan1an 1edalam 2&o5&am CLAUSES
6an5 mana dalam 2&o5am PRED'CATES di4e&i 0i2e da0a un0u1 mem4a3a
2&o5&am 6an5 a1an diisi 2ada CLAUSES
C&A'SES
jenis"9er$ebra$a, he+an#*
jenis"i!an,he+an#*

adalah":ebra, 9er$ebra$a#*
adalah"anjing, 9er$ebra$a#*
adalah"lele, i!an#*
adalah"$una, i!an#*

hidup":ebra, di%dara$#*
hidup"!odo!, di%dara$#*
hidup"!odo!, di%air#*
hidup"$una, di%air#*
(a10a dia0as mene&an51an 0en0an5 4ina0an5 6an5 hidu2n6a di0anah dan
hidu2n6a di ai& un0u1 di2an55il dalam 2&o5&am )OAL

dapa$%berenang";#23
jenis"<,he+an#,
adalah";,<#,
hidup";, di%air#*
Te&da2a0 se4uah 2e&0an6aan da&i 9a10a 2&o5&am a2a1ah 4ena& 2e&n6a0aan
6an5 di4ua0 0e&se4u0 sama den5an 2&o5&amn6a.

6OA&
dapa$%berenang"Apa#*
Hasil ou02u0n6a :
3. engendalian !roses lacakbalik
Me1anisme la3a1 4ali1 da2a0 men5hasil1an 2en3a&ian 6an5 0ida1 2e&lu7
a1i4a0n6a 2&o5&am 0ida1 efsien. Misaln6a adan6a 4e4e&a2a /a;a4an 6an5
mun3ul 1e0i1a 1i0a han6a mem4u0uh1an solusi 0un55al da&i masalah 6an5
di4e&i1an. Pada 1asus lain7 sua0u 1e4u0uhan un0u1 memasa1sa <iual P&olo5
un0u1 melan/u01an men3a&i /a;a4an 0am4ahan ;alau2un 5oal 0e&se4u0
sudah 0e&2enuhi. Un0u1 1asus81asus 0e&se4u07 1i0a ha0&us men5on0&ol
2&oses la3a14ali1.
<isual P&olo5 men6edia1an + ala0 6an5 meme2e&4oleh1an 1i0a un0u1
men5endali1an me1anisme la3a1 4ali1 6ai0u 2&edi1a0 "all 6an5 di5una1an
un0u1 mema1sa la3a14ali1 dan 2&edi1a0 3u0 ,di0andai den5an :- 6an5
di5una1n un0u1 men3e5ah la3a1 4ali1.
redikat "all
<isual P&olo5 a1an memulai la3a14ali1 /i1a ada 2an55ilan 6an5 5a5al.
Pada si0uasi 0e&0en0u7 ada 1e4u0uhan un0u1 memasa1sa la3a14ali1 dalam
&an51a men3a&i al0e&na0i9 solusi. <isual P&olo5 men6edia1an 2&edi1a0
1husus 9ail un0u1 mema1sa 1e5a5alan sehin55a memi3u 0e&/adin6a la3a1
4ali1. E9e1 da&i 9ail sama den5an e9e1 mem4e&i1an 2e&4andin5an +A$ a0au
su45oal 6an5 0ida1 mun51in ,im2ossi4le- lainn6a. Con0oh 4e&i1u0 ini
men5ilus0&asi1an 2en55unaan 2&edi1a0 0ese4u0 .
P&a10i1um 1e $ adalah se4a5ai 4e&i1u0 :
DOMAINS
nama = symbol

PREDICAES
nonde$erm ayah"nama, nama#
se$iap%orang

C&A'SES
ayah"sunar$o,=i=i#*
ayah"andi,udin#*
ayah"roland,yansen#*
se$iap%orang23
ayah"<,;#,
+ri$e"<, (>n( , ( adalah ayah (,;,(>n(#,
?ail*
se$iap%orang*

6OA&
se$iap%orang*
Ke0i1a 5oal in0e&nal sudah su1ses7 0ida1 ada 6an5 mem4e&i0ahu <isual
P&olo5 un0u1 mela1u1an la3a14ali1. A1i4a0n6a7 2eman55ilan in0e&nal a6ah
han6a a1an men5hasil1an solusi 0un55al. Sehin55a di5una1an 9ail 2ada
2&edia1a0 se0ia2?o&an5 se2e&0i 2ada 3on0oh 2&o5&am dia0as un0u1
mema1sa la3a14ali1 dan den5an demi1ian semua /a;a4an 6an5 mun51in.
Hasil ou02u0n6a :
redikat #ut($)
<isual P&olo5 memili1i 3u0 6an5 di5una1an un0u1 men3e5ah la3a14ali17
di0ulis 4e&u2a se4uah 0anda se&u ,:-. e9e1 da&i 3u0 adalah sede&hana7 6ai0u
0ida1 a1an memun51un1an 0e&/adin6a la3a14ali1 mele;a0i se4uah 3u0.
Ki0a menem2a01an 3u0 dalam 2&o5&am sama 2e&sis se2e&0i
menem2a01an se4uah su45oal 2ada4od6 da&i sua0u &ule. Ke0i1a 2&oses
mele;a0i 3u07 2eman55il 1e 3u0 din6a0a1an s1ses dan su45oal 4e&i1u0n6a
,/i1a ada- di2an55il. Se1ali se4uah 3u0 dile;a0i7 adalah men/adi 0ida1
mun51in un0u1 mela1u1an la3a14ali1 2ada su45oal 6an5 4e&ada 2ada
se4elum 3u0 2ada 1lausa 6an5 sedan5 di2&oses dan adalah men/adi 0ida1
mun51in un0u1 mela1u1an la3a14ali1 1e 2&edi1a0 lain 6an5 mendifnisi1an
2&edi1a0 6an5 se1a&an5 di2&oses ,2&edi1a0 6an5 men5andun5 3u0 -.
P&a10i1um 1e84 :
PREDICAES
beli%mobil"symbol,symbol#
nonde$erm mobil"symbol,symbol,in$eger#
+arna"symbol,symbol#
mende1la&asi1an 2ada 0i2e da0a 6an5 4e&ada 2ada 2&o5&am 6an5 a1an
die1se1usi

C&A'SES
beli%mobil"Model,@arna#23
mobil"Model,+arna,Aarga#,
+arna"@arna,se!si#,B,
Aarga C /-...*

mobil"?errari,hijau,/-...#*
mobil"jaguar,hi$am,/,...#*
mobil"jaguar,merah,/D...#*
mobil"pors=he,merah,/,...#*

+arna"merah,se!si#*
+arna"hi$am,+iba+a#*
+arna"hijau,seju!#*
(a10a dia0as menulis1an un0u1 2eman55ilan 2ada 2&o5&am 0e&a1hi& 6an5
mana 2ada 9a10a 0e&4e4u0 4ena&84ena& 0e&/adi a0au ada 2ada 2&o5&am
6an5 0elah diin2u01an 0e&se4u0.

6OA&
beli%mobil"jaguar, ;#*
Hasil ou02u0n6a :
Kena2a 2ada hasil ou02u0n6a NO Solu0ion 1a&ena 2ada 9a10a dia0as 0ida1
ada se4a4 i0u 2&o5&am 0ida1 men5enal 2adan2&o5&am )OAL 0e&se4u0
4. redikat %ot
P&o5&am 4e&i1u0 mem2e&liha01an 4a5aimana 2en55unaan 2&edi1a0 no0
un0u1 men5iden0if1asi1an seo&an5 mahasis;a 0eladan 6ai0u mahasis;a
6an5 mem2un6ai inde1s P&es0asi Komula0i9 ,'PK- minimal $7" dan 0ida1
sedan5 dalam masa 2e&3o4aan ,sedan5 men/alani masa hu1uman 1a&ena
mela1u1an 0inda1 1e/aha0an-.
Pada 2ela1sanaan P&a10i1um 1e8" :
DOMAINS
nama = symbol
ip! = real
2ada 2&o5&am 0e&se4u0 dide1la&asi1an 0i2e da0a sesuai den5an 0i2e da0a
2&o5&am 6an5 a1an di4ua0.
PREDICAES
nonde$erm mahasis+a%$eladan"nama#
nonde$erm mahasis+a"nama, ip!#
masa%per=obaan"nama#
disini2un sama 2&o5&amn6a dide1la&asi1an 0i2e da0an6a 0a2i 4edan6a
disini un0u1 diin2u01an 2ada P&o5am Clauses dan CLAUSES 0e&se4u0
mem4a3a 2ada 1edua 2&o5&am 6ai0u 2ada DOMA'NS dan 2ada
PRED'CATES.

C&A'SES
mahasis+a%$eladan"nama#23
mahasis+a"Nama, IPE#,
IPE4=5*-,
no$"masa%per=obaan"Nama##*

mahasis+a"(Fina Pandu+ina$a(, 5*-#*
mahasis+a"(Aelmi ;ahya(, /*.#*
mahasis+a"(Syahrul 6una+an(, 5*G#*

masa%per=obaan"(Fina Pandu+ina$a(#*
masa%per=obaan"(Aelmi ;ahya(#*

6OA&
mahasis+a%$eladan"<#*
Hasil ou02u0:
Ada sa0u 3a0a0an 1e0i1a men55una1an no0 6ai0u 2&edi1a0 no0 a1an su1ses
1e0i1a su45oal 0uda1 4isa di4u10i1an 1e4ena&ann6a. Hal ini un0u1
men3e5ah sua0u si0uasi Ba&ia4el 6an5 4elum dii1a0 a1an men55una1an no0.
%i1a su45oal den5an Ba&ia4el 4e4as di2an55il melalui no07 ma1a <isual
P&olo5 a1an men5elua&1an 2esan 1esalahan.
B. KES'MPULAN
A2a2un 6an5 didefnisi1an se4a5ai se4uah o4/e30 4u1an su4/e30 6an5
nilainn6a 4isa 4e&Ba&iasi7 se2e&0i se4uah 1a&a10e&,3ha&-7 an51a ,in0e5e& a0au
&eal- a0au se4uah a0om ,s6m4ol a0au s0&in5-.