Nasledujúci príklad návrhu správania je založený na inferenčnej funkcii porovnanie (compare), vysvetlenej v predchádzajucej kapitole. Na výber najvhodnejšej realizácie týchto funkcií potrebujeme určiť/vyriešiť nasledujúce tri otázky:
Obrázok ukazuje vzťahy medzi funkciami ES pre technickú podporu, navrhnutými metódami a časťami návrhu.
Funkčný blok a blok návrhu metód je zobrazený nižšie. Aby nevznikali duplikáty nie sú rozpísané plné rámce, ale iba nové sloty. Tiež z rámcov rozpísaných v predchádzajúcom príklade prípadovej štúdie sú tu rozpísané iba 'Porovnanie popisu starého a nového problému', 'Popis úlohy' a prípadová štúdia funkčného návrhu. Rámec samostatnej inferenčnej metódy je rozpísaný na konci.
| POPIS FUNKČNÉHO BLOKU INFERENCIE
Porovnanie nového a starého popisu úlohy |
| realizované : zovšeobecnenie a unifikácia na hierarchii úlohy |
| POPIS FUNKČNÉHO BLOKU INFERENCIE Porovnannie nového a FLD popisu úlohy |
| realizované : zovšeobecnenie a unifikácia na hierarchii úlohy |
| POPIS FUNKČNÉHO BLOKU INFERENCIE Porovnannie nového a sieťového popisu úlohy |
| realizované : zovšeobecnenie a unifikácia na hierarchii úlohy, modus ponens na premapovanie prvkov siete na popis úlohy |
| POPIS ÚLOHOVÉHO MODELU Popis úlohy |
| reprezentácia : popis_úlohy (Rola, Typ_hardvéru, Typ_softvéru, Typ_udalosti), kde Rola = nový, starý, sieť alebo fld_resp. |
| POPIS ÚLOHOVÉHO MODELU hierarchia úlohy |
| reprezentácia : hardvér_typ(trieda, podtrieda), softvér_typ(trieda, podtrieda), problém_typ(trieda, podtrieda). |
| POPIS ÚLOHOVÉHO MODELU mapujúce pravidlá |
| reprezentácia : mapujúce_pravidlo(stav(časť, stav = hodnota), problém(hardvér, softvér, úloha)). |
| POPIS METÓD INFERENCIE zovšeobecnenie a unifikácia |
| realizované : porovnanie nového a starého popisu úlohy porovnanie nového a FLD popisu úlohy porovnanie nového a sieťového popisu úlohy (po častiach) Mechanizmus : zjednotenie s typom úlohy, ktorý je zovšeobecnením daného Úlohové vzťahy : hierarchia úloh |
návrhové elementy a inferenčné funkcie
