Zbirka zadataka iz Ekspertskih sistema

3.2. Metod zadovoljenja ograničenja 197
C4:
Susedni(Vozilo,Cesta)
Unutar(Vozilo,Cesta)
Susedni(Cesta,Vozilo)
NijeUnutar(Cesta,Vozilo)
C5:
NijeUnutar(Vozilo,Kuća)
C6:
NijeUnutar(Trava,Vozilo)
NijeUnutar(Trava,Kuća)
C7:
NijeUnutar(Cesta,y), gde je y region proizvoljne vrste
C8:
Pravilan(Kuća)
Pravilan(Vozilo)
Pravilan(Cesta)
C9:
Nepravilan(Voda)
Nepravilan(Trava)
C10:
Mali(Vozilo)
Prethodnim činjenicama treba dodati sledeća pravila:
P1: if not Nesusedni(x,y) then Susedni(x,y)
P2: if not NijeUnutar(x,y) then Unutar(x,y)
sa značenjem da su predikati Susedni, odnosno Unutar zadovoljeni (za regione x i y
proizvoljne vrste) ako ne podležu nekom od prethodnih ograničenja.
b) Slika 93 opisana je predikatskom formulom
Veliki(R1) and Veliki(R2) and Veliki(R3) and Veliki(R4) and Mali(R5) and
Pravilan(R3) and Pravilan(R5) and Nepravilan(R1) and Nepravilan(R2) and
Susedni(R1,R2) and Susedni(R2,R4) and Unutar(R3,R2) and Unutar(R5,R4)
koja predstavlja upit u bazu znanja iz tačke a) sa ciljem da se dobiju konkretne vrednosti za
promenljive R1 do R5. Baza znanja sadrži opšta ograničenja za interpretaciju proizvoljne
slike, a upit sadrži ograničenja vezana za samu sliku.
Treba primetiti da u gornjoj formuli nismo klasifikovali region R4 ni kao pravilan ni kao
nepravilan zbog njegovog neobičnog oblika.
c) Rešavanje ovakvog tipa problema klasičnim metodima zaključivanja sa direktnim ili
povratnim ulančavanjem nije efikasno jer, zbog složenog upita u koji je ugrađeno mnoštvo
ograničenja, dolazi mnogo puta do vraćanja pri zaključivanju. Za rešavanje ovog problema na
efikasniji način korstićemo algoritam proste relaksacije naveden u dodatku 1 (algoritam 14)