dekompozícia znalostných funkcíí
fyzický návrh
NÁVRH ZNALOSTNEJ ČASTI SYSTÉMU
KADS
Identifikácia návrhových metód
KADS ponúka/navrhuje "unifikaciu" ako najčastejšie používanú metódu podporujúcu inferenčný mechanizmus "porovnanie" (compare).
Indentifikácia návrhových elementov
Ďalsím krokom v návrhu je identifíkacia častí návrhu potrebných pre
realizáciu metód a podporu znalostí popísaných predtým.
Unifikácia je zabudovaná v Prologu a preto nebude treba sa ňou ďalej zaoberať.
Zovšeobecnenie bude treba realizovať algoritmom založeným na rekurzívnom
prechádzaní hierarchie úlohy. Modus ponens bude realizovaný v Prologu zhodou
vzorov pomocou premapovania pravidiel.
Hierarchia problému, úlohy, bude reprezentovaná troma samostatnými predikátmi v
Prologu pre hardvér, softvér a typ úlohy. Mapujúce pravidlá budú tiež
reprezentované v Prologu množinou faktov, zoskupených do skupín podľa mena
spoločného názvu predikátu.
Porovnanie nového a starého popisu problému
Pre inferenčnú funkciu "Porovnanie nového a starého popisu problému" je porovnanie možné len vtedy ak popisy starého a nového problému sú rovnaké (identical - v zmysle podobnosti štruktúry a nie obsahu, pozn. -at-). Inferenčná funkcia by mala mať návratovú hodnotu "INSUFFICIENT_DATA" ak nový problém je zovšeobecnením starého problému, t.j. ak starý problém odkazuje na určitý mainframe ale popis nového problému ešte neurčuje nejaký konkrétny počítač(mainframe). Je potrebná generalizačná metóda na podporu porovnavania a je to táto metóda ktorá používa hierarchické znalosti ako základ. Tým inferenčná funkcia "Porovnanie nového a starého popisu problému" sa skladá z dvoch podúloh - unifikácia a generalizácia - plus hierachický popis problému, ako znalosť.
Porovnanie nového a FLD popisu problémov
"Porovnanie nového a FLD popisu problémov" uspeje ak FLD popis úlohy je zovšeobecnením nového popisu úlohy. Podobne výsledok "INSUFFICIENT_DATA" je vrátený v prípade, že nový popis úlohy je zovšeobecnením FLD popisu úlohy. Teda inferenčná funkcia "Porovnanie nového a FLD popisu problémov" vyžaduje dve metódy - unifikáciu a zovšeobecnenie - plus hierarchiu úlohy ako podporné znalosti.
Porovnanie nového a sieťového popisu problémov
Inferenčna fcia tohto typu je vložena do množiny heuristík, ktorá premapuje sieťový popis problému na nový popis problému, tj. [mainframe-X, cpu-preťažené] sa mapuje na [mainframe-X, aplikácia-Y, rýchlosť_odozvy pomalá] pre akékoľvek Y. Vo vnútri zvoleného ExSys návrhového rámca, toto je najlepšie dosiahnuteľné pri vhodnom miešaní unifikácie (spojenie pravých a ľavých strán pravidiel s popisom problému) a modus ponens (generovanie potencionálnych popisov problémov pomocou odpaľovania pravidiel). Zovšeobecnenie je opäť potrebné na podporu "INSUFFICIENT_DATA" výsledkov. Táto časť sa skladá z 3 úloh - unifikácia, modus ponens a generalizácia(zovšeobecnenie) - plus hierarchický popis problému a premapovacie pravidlá ako podporná znalosť.