24.12.2012 Views

Zbirka zadataka iz Ekspertskih sistema

Zbirka zadataka iz Ekspertskih sistema

Zbirka zadataka iz Ekspertskih sistema

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

3.3. Metod sukcesivnih aproksimacija 215<br />

Nivo rekurzije: 2<br />

Tekuće stanje S 2:<br />

rastavljeno(kućište), rastavljen(vrh), u_kućištu(baterije), pregorela(sijalica),<br />

ok(baterije), ispravno(kućište)<br />

Ciljno stanje C 1:<br />

Razlika:<br />

rastavljen(vrh)<br />

-<br />

Pošto razlike nema, kontrola se vraća prvom nivou GPS algoritma.<br />

Nivo rekurzije: 1<br />

Tekuće stanje S2: rastavljeno(kućište), rastavljen(vrh), u_kućištu(baterije), pregorela(sijalica),<br />

ok(baterije), ispravno(kućište)<br />

Ciljno stanje C 0:<br />

Razlika:<br />

ok(sijalica), sastavljeno(kućište), sastavljen(vrh)<br />

ok(sijalica), sastavljeno(kućište), sastavljen(vrh)<br />

5. Prvi nivo GPS algoritma primenjuje <strong>iz</strong>abrani operator zameniti_sijalicu (čiji su preduslovi<br />

sada ispunjeni) te se dobija novo tekuće stanje S 3.<br />

Nivo rekurzije: 1<br />

Tekuće stanje S3: rastavljeno(kućište), rastavljen(vrh), u_kućištu(baterije), ok(sijalica), ok(baterije),<br />

ispravno(kućište)<br />

Ciljno stanje C 0:<br />

Razlika:<br />

ok(sijalica), sastavljeno(kućište), sastavljen(vrh)<br />

sastavljeno(kućište), sastavljen(vrh)<br />

Krajnje ciljno stanje razlikuje se od ovog stanja po predikatima sastavljeno(kućište) i<br />

sastavljen(vrh). Konsultuje se tabela razlika za predikat sastavljeno(kućište) pošto je ovaj<br />

predikat naveden u tabeli pre predikata sastavljen(vrh). Izbor pada na operator<br />

sastaviti_kućište. Preduslov: rastavljeno(kućište), sastavljen(vrh), ispravno(kućište) nije u<br />

potpunosti zadovoljen, pa se od ovog preduslova formira novo ciljno stanje C 3 i kontrola<br />

rekurzivnim pozivom prenosi na drugi nivo GPS algoritma.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!