Vitajte na [www.pocitac.win] Pripojiť k domovskej stránke Obľúbené stránky

Domáce Hardware Siete Programovanie Softvér Otázka Systémy

Ako sa stavia Pravidlá Engine

Pravidlá motor je softvér , ktorý bude spracovávať žiadosť podľa databázy pravidiel . V pravidlách systému motora , používateľ vyberie súbor pravidiel , a potom predloží " žiadosť " , ktorý je spracovaný v súlade s pravidlami . Výsledky tohto postupu sú potom hlásené systémom . Táto informácia je užitočná pre spracovanie modelu v rôznych aplikáciách . Prológ

najlepší spôsob , ako pochopiť , ako pravidlá motory práce je naučiť programovací jazyk Prolog . Jazyk Prológ sa skladá z pravidiel motora a sadu konvencií o tom , ako napísať pravidlá . Naučiť sa, ako Prolog pracuje naučí vás, ako pravidlá motor pracuje - a všetky problémy , ktoré prichádzajú s pravidlami motormi ako backtracking a ako reprezentovať faktov a pravidiel . Potom, čo boli písané pravidlá , Prológ je vzhľadom na vyhlásenie , že sa snaží nájsť v databáze faktov . Ak to nie je fakt , ale je uzavretie pravidlo , že predchodcovia tohto pravidla sa stanú novými príkazy pre vyhľadávanie . Rekurzia a ustupovanie pokračovať , kým pravidlá sú buď spokojní alebo nemôže byť splnená , a potom systém Prológ vyslovuje pôvodné tvrdenie pravdivé , nepravdivé alebo undecidable .
Program Architektúra

Ak projekt výbor dovolí , mali by ste napísať svoj ​​pravidlá motor v Prolog . Ak nie, bude to asi vyzerať veľmi podobne ako Prológ - všetky pravidlá motory robiť . V prvej časti projektu , písať fakty . Táto časť je ako databáza . Ďalší napísať pravidlá - pravidlá by mali byť zoskupené podľa záveru . Je - li " a B znamená X , " a " C a D znamená X " , ako je dobre , potom tieto dve pravidlá o X a mali by byť zoskupené . X je definovaný alebo je popísané v A a B , ako aj C a D. motora pravidlá sa najprv pozrieť do databázy , či žiadosť zodpovedá položke v databáze . Ak áno , systém odpovie : " Áno . " Inak motor pravidiel sa pozerá na závery všetkých pravidiel - ak nie je zhoda , systém odpovie " Nie . " Ak príkaz zodpovedá X , budú považované za dve cesty : a B , a C a D. Ak sa sleduje a B nikam nevedie , systém " ustúpi " , a domnieva sa , C a D. Pomocou Prológ je to ľahké , pretože motor pravidiel je postavený do jazyka .
Testovanie systému

fungovanie pravidlo motor sa pozerá na vyhlásenie , že sa snaží " uzemniť sa " vyhlásenie . V logike , to znamená nájsť odkaz ( pomocou pravidiel ) z príkazu k skutočnosťou. Ak príkaz ( alebo jeho negácia ) je skutočnosťou , ste hotoví . Ak nie, potom skontrolujte , či vyhlásenie je záver pravidlá . Ak nie, potom tvrdenie nemôže byť rozhodnuté . Ak vyhlásenie nemá odpovedať uzavretie pravidlá , nahradiť vyhlásenie o gól s predchodcami tohto pravidla . To robí odkaz tým , že ide dozadu cez pravidlo . Ak toto hľadanie zlyhá , môže byť nutné ustúpiť a vziať do úvahy iné pravidlo , ktorého záver uzavreté vyhlásenie . Mali by ste vyskúšať systém tým , že mu postupne zložitejšie príkazy . Najprv skúste vyhlásenie , že zodpovedá skutočnosť v databáze . Potom použite príkaz , ktorý vyžaduje len jedno pravidlo . Potom použite príkaz , ktorý vyžaduje ústupok , atď

Najnovšie články

Copyright © počítačové znalosti Všetky práva vyhradené