Zbirka zadataka iz Ekspertskih sistema

Izabrani algoritmi 275
3.2. Za promenljive izvesti uparivanje putem zamene; kada se naiđe na promenljivu, zameniti
je, kao i sva njena dešavanja u listi odgovarajućim elementima druge liste. Jedino
ograničenje u pogledu uparivanja je da promenljiva ne može biti zamenjena izrazom koji
sadrži istu promenljivu (da bi se sprečila beskonačna zamena).
4. Dva predikata su unificirana ako se svi elementi poklapaju posle zamene promenljivih.
Algoritam 13: Nasleđivanje uz prisustvo default vrednosti i ifneeded
procedura (Z- nasleđivanje):
Neka je F zadati čvor, a S zadati pregradak.
1. Formirati red koji sadrži čvor F i sve čvorove povezane IS_A vezom sa čvorom F (čvor
F je ‘rep’ strelice). Čvor F treba da se nalazi na početku reda.
2. Dok se red ne isprazni, ili se nađe vrednost, utvrditi da li prvi element reda poseduje
traženi pregradak S.
2a. Ako čvor poseduje pregradak S i u njemu se nalazi vrednost skok na korak 3.
2b. Ako čvor poseduje pregradak S sa if-needed procedurom P: ako se mogu odrediti
ulazni parametri procedure P (ovo može uključiti rekurzivni poziv procedure
nasleđivanja počev od čvora F) izvršiti proceduru P čiji rezultat predstavlja traženu
vrednost; skok na korak 3.
2c. Ako čvor poseduje pregradak S sa podrazumevanom vrednošću skok na korak 3.
2d. U suprotnom, ukloniti prvi element iz reda i na kraj reda dodati njegove sledbenike u
mreži po AKO vezama.
3. Procedura završava rad i vraća ili nađenu vrednost ili indikator da vrednost nije nađena.
Algoritam 14: Zadovoljavanje ograničenja metodom relaksacije
1. Napraviti liste mogućih vrednosti za sve slobodne promenljive (one čije su nam vrednosti
potrebne) u upitu.
2. Obeležiti svaku od promenljivih kao ‘aktivnu’.
3. Ponavljati korake 3.1. do 3.4. sve dok postoji bar jedna aktivna promenljiva.
3.1. Izabrati neku od aktivnih promenljvih A. (Pri izboru se može primeniti neka
heuristika).
3.2. Za svaku od mogućih vrednosti V za A razmatrati svako od ograničenja C u upitu u
kome figuriše promenljiva A
3.2.1. Proveriti da li je ograničenje C zadovoljeno ako A ima vrednost V (pri čemu se
mogu vezati i druge promenljive ako je potrebno).
3.2.2. Ako se C ne može zadovoljiti, izbaciti V iz liste mogućih vrednosti za A i ne
razmatrati ostala ograničenja. U suprotnom, ne raditi ništa.
3.2.3. Pri razmatranju sledećeg ograničenja zanemariti vezane vrednosti promenljivih
dobijene pri prazmatranju prethodnog ograničenja.