SPEC :

Dekompozícia vstupného objektu dvoma smermi. Prvý sa zameriava na členitosť objektu, to znamená že sa snaží zo vstupných dát o objekte vydolovať niečo o jeho členitosti. Druhý smer sa zameriava na umiestnenie objektu v priestore. Svoje výstupné ROLY predáva nasledujúcim TASK-om, ktoré riešia zbytok úlohy.

SPEC :

Na základed vydedukovaných znalostí o vstupnom objekte sa vyberie príslušný typ lešenia, ktorý by mal byť pri danom objekte použitý, a odvodia sa ohraničenia na stavbu lešenia ktoré zodpovedajú tomuto typu lešenia.

SPEC :

Na základe umiestnenia objektu sa zistia podrobnosti o teréne, v ktorom sa objekt nachádza, a ten sa upraví tak, aby vyhovoval ohraničeniam odvodeným pre používaný typ lešenia. Zbytok úlohy je realizovaný nasledujúcim TASK-om.

SPEC :

V tomto TASK-u prebieha samotná konštrukcia lešenia, ktorá zahŕňa stavbu základu a stavbu poschodí, z ktorých každé končí konštrukciou rozšíreného základu, ktorý sa v ďalšom cykle použije ako základ pri stavbe poschodia.

SPEC :

Táto metóda vykoná dve dekompozície nutné k získaniu vstupných informácii pre ďalšie SUB-TASKY. Tieto dekompozície majú za úlohu vydolovať z popisu vstupného objektu čo najviac o jeho členitosti a umiestnení.

SPEC :

Táto metóda odvodí z vstupov ktoré popisujú členitosť a umiestnenie objektu návrh typu lešenia, ktoré by sa malo použiť. Tento návrh poroná s typmi lešení v databáze, a vyberie ten typ, ktorý najviac odpovedá návrhu. Tento typ doplní o ďalšie parametre získané z popisu objektu, a tým dostáva špecifické lešenie, z ktorého odvodí ohraničenia stavby.

SPEC :

Táto metóda pripraví terén pre realizáciu nasledujúceho TASKU Konštrukcia lešenia. Tento terén musí spĺňať podmienky dané ohraničeniami na terén nutný k úspešnej konštrukcii daného typu lešenia.

SPEC :

Príprava základu lešenia, ktoré bezprostredne nadväzuje na upravený_terén objektu. Na tomto základe sa začne stavba prvého poschodia lešenie, takže jeho stavba aj význam sa líši od rozšíreného základu, ktorý vznikne pri rozšírení lešenia. V konečnom dôsledku však tieto dva typy základov slúžia k stavbe poschodia, takže neskoršie mapovanie rozšíreného základu na základ_lešenia, ktoré sa realizuje v slučke kde prebieha METÓDA Postav poschodie je namieste.

SPEC :

Na základe, ktorým je prvotne základ_lešenia, neskôr rozšírený_základ sa postaví poschodie, ktoré musí spĺňať príslušné ohraničenia platné pre daný typ lešenia. V slučke, v ktorej beží táto METÓDA sa mapuje rozšírený_základ na základ_lešenia, na ktorom sa podĺa riadenia stavia ďalšie poschodie.

SPEC :

Na základe špecifického lešenia sa odvodí zoznam bežných havárií daného typu lešenia a porovná sa s popisom aktuálnej havárie. Tým sa získa typ danej havárie, ktorý sa doplní o ďalšie parametre. Výstupom je potom úplný popis havárie, ktorý sa posiela nasledujúcemu Tasku Príčina_havárie, kde sa už zistí konkrétna príčina havárie.

SPEC :

V tomto TASK-u sa na základe úplného popisu havárie prostrednístvom jeho metódy vygeneruje zmysluplná hypotézu o príčne havárie, ktorá sa otestuje na reálnych dátach, a v prípade splnenia podmienok pravdivosti sa prehlási za konečnú príčinu havárie lešenia.

SPEC :

Úlohou tejto metódy je realizácia inferencií nutných pre získanie infos o type havárie, s následným využitím transferovej funkcie k získaniu úplného popisu havárie.

SPEC :

Táto metóda na základe úplného popisu havárie navrhne hypotézu o príčine havárie, ktorú si overí na reálnych dátach. Pokúsi sa teda overiť jej pravdivosť. Ak sa jej to nepodarí, navrhne novú hypotézu. Naopak ak sa jej podarí dokázať pravdivosť danej hypotézy, priradí pomocnej ROLE fault_cathegory hodnotu aktuálnej hypotézy.

SPEC :

Toto je pomocná ROLA, ktorá bude po zrealizovaní TASKU Príčina_havárie obsahovať hypotézu, ktorá bola prehlásená za pravdivú vzhĺadom na reálne dáta.