identifikácia návrhových elementov
fyzický návrh
NÁVRH ZNALOSTNEJ ČASTI
KADS
V dokumentácii technických ohraničení ES pre technickú podporu sú určené dve možné implementačné prostredia pre ZS - DecisionPower a Egeria. Z nich bol vybratý DecisionPower kvôli jeho univerzálnym vlastnostiam a kvôli skúsenostiam vývojovej skupiny s týmto prostredím.
Keď sa pozeráme na inferenčnú štruktúru ES pre technickú podporu, vidíme, že dôležitú časť riešenia problému zabezpečuje inferenčný typ "porovnaj". Tento je použitý v troch rôznych situáciách a je založený na použití hierarchicky štruktúrovaných množín pojmov.
Porovnaním možností ponúkaných DecisionPowerom (ktorý je založený na Prologu) a požiadaviek inferencií "porovnaj" sa rozhodlo, že sa môže použiť bežný prístup použitím 'pattern matching', unifikácie, prechádzania hierarchií. Vyskúšaním iných inferenčných typov a doménových štruktúr (pri ktorom sa nevyskytol žiaden problém) sa potvrdilo, že táto voľba je správna.