24.12.2012 Views

Zbirka zadataka iz Ekspertskih sistema

Zbirka zadataka iz Ekspertskih sistema

Zbirka zadataka iz Ekspertskih sistema

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

162 2. Modeli predstavljanja znanja<br />

• Nasleđivanjem od opštijeg čvora DOMAĆIN ZABAVE utvrđuje se da je reč o čvoru<br />

GOST NA ZABAVI. U proceduri P potrebno je odrediti vrednost pregratka VOLI čvora<br />

GOST NA ZABAVI.<br />

• Vrednost pregratka VOLI čvora GOST NA ZABAVI nasleđuje se od čvora ČOVEK koji<br />

predstavlja opštiju klasu. Radi se o podrazumevanoj vrednosti BOMBONE. Prema tome,<br />

procedura P vraća vrednost BOMBONE kao vrednost pregratka SLUŽI za čvor TOMA.<br />

Zadatak 73: Problem nemačkih ovčara<br />

Na slici 81 data je jedna semantička mreža.<br />

AKO<br />

nemaèki<br />

ovèar<br />

IS_PART_OF<br />

živo stvorenje<br />

životinja biljka<br />

domaæa životinja stoka<br />

AKO<br />

pas maèka<br />

AKO<br />

pudlica<br />

AKO<br />

konj<br />

AKO<br />

AKO<br />

AKO AKO<br />

glava<br />

AKO<br />

IS_PART_OF IS_PART_OF<br />

AKO AKO<br />

pas<br />

drvo žbun<br />

hrast<br />

telo dodaci<br />

uši nos oèi njuška noge šape<br />

AKO<br />

IS_PART_OF IS_PART_OF<br />

IS_PART_OF<br />

IS_PART_OF<br />

IS_PART_OF<br />

IS_PART_OF<br />

IS_PART_OF<br />

Slika 81<br />

Pretpostavimo da raspolažemo sistemom za predikatsku logiku u kojem su predstavljene<br />

informacije na slici. Koje bi dodatno znanje trebalo uključiti da obezbedimo nasleđivanje<br />

naniže u hijerarhiji?<br />

Na primer, kako bi se moglo odgovoriti na pitanje da li nemački ovčari imaju njuške?<br />

Rešenje<br />

Relacija IS_PART_OF je tranzitivna: Ako je x deo od y, a y je deo od z, onda je i x deo od z.<br />

Na primer, uši su deo glave, a glava je deo psa; prema tome, uši su deo psa. Izrazimo ovo<br />

pravilo predikatskom formulom:<br />

1. ∀x∀y∀z [ IS_PART_OF (x,y) ∧ IS_PART_OF(y,z) ⇒ IS_PART_OF(x,z)]<br />

rep

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

Saved successfully!

Ooh no, something went wrong!