hrvatski

Prikaz znanja uporabom neizrazitih i vremenski neizrazitih Petrijevih mreža

Problem predstavljanja vremenskog znanja i zaključivanja u vremenski bogatim domenama jedno je od centralnih problema iz područja umjetne inteligencije. Petrijeve mreže jedan su od formalnih modela koji se uspješno koriste za predstavljanje statičkog i dinamičkog (neizrazitog) znanja ili preciznog (intervalnog) vremenskog znanja. Pošto je ljudsko znanje o vremenu često nejasno i neizvjesno, u radu se za prikaz nejasnog i nepreciznog vremenskog znanja koristi matematički formalizam teorije neizrazitih skupova i teorije mogućnosti. Taj se formalizam ugrađuje u novu shemu za predstavljanje znanja KRPFT. Shema KRPFT temelji se na modelu neizrazitih i vremenski neizrazitih Petrijevih mreža uvedenom u ovom radu. U radu se proširuju do sada razvijeni postupci vremenskog zaključivanja. Uvode se neizrazite operacije (min i max) kao nove vremenske operacije koje odgovaraju jezičnom opisu vremenskih odnosa "čim prvi (ili zadnji) započne (ili završi)." Također se uvodi nova definicija vremenskog intervala u obliku jedinstvenog neizrazitog skupa. Takva definicija omogućuje uporabu intervala kao međurezultata u postupku zaključivanja. Ovi se rezultati koriste u razvoju novog modela FTPN i sheme KRPFT. U modelu FTPN značke nose vremenske informacije koje su predstavljene parom distribucija mogućnosti (početka i završetka stanja ili akcije). Operacija neizrazitog zbrajanja rabi se za predočavanje zadržavanja značke u mjestima. Paljenje prijelaza ima za posljedicu izvršavanje neke od neizrazitih operacija ili njihove kombinacije koja je pridijeljena prijelazu. Ta operacija određuje kakve će vremenske informacije donijeti značka u izlazna mjesta. Semantika tih operacija određena je u shemi KRPFT. Model F^2TPN proširenje je modela FTPN. U F^2TPN modelu konceptima se pridružuju faktori izvjesnosti (CF) te je omogućen nastavak postupka zaključivanja i kadaje CF<1. U radu su opisani primitivi sheme KRPFT koji su osnovni građevni blokovi modela i koji omogućuju jednostavno modeliranje. Svakom jezičnom vremenskom izrazu, odnosno vremenskoj relaciji, pridijeljuje se određeni primitiv, a svakom primitivu odgovara neka neizrazita operacija (ili njihova kombinacija) iz FTPN ili F^2TPN modela. Postupak modeliranja sastoji se u razlaganju problema na elementarne vremenske odnose među akcijama, stanjima ili događajima (izraženih jezično) te njihovom zamjenom s odgovarajućim primitivom sheme za predstavljanje znanja KRPFT. Neizrazite Allenove relacije (ugrađene u modul FTLM) osnovni su mehanizam za zaključivanje u shemi KRPFT. Modul FTLM donosi zaključke o mogućim vremenskim relacijama među konceptima (akcijama, stanjima, događajima) koji su pridijeljeni označenim mjestima u modelu. Na taj način omogućeno je provjeravanje konzistentnosti scenarija i vrednovanje vremenskih relacija među konceptima u vremenski bogatim domenama.

prikaz vremenskog znanja; Petrijeve mreže; neizraziti vremenski interval; neizrazite vremenske relacije

nije evidentirano