Dopredné reťazenie
Dopredné reťazenie spočíva v tom, že inferenčný mechanizmus porovnáva položky z bázy faktov s ľavými stranami pravidiel v báze poznatkov. Najskôr vloží do bázy faktov dôsledky pravidiel, ktorých predpokladové časti sú splnené. Zmena obsahu bázy faktov môže spôsobiť vykonanie akčných častí ďalších pravidiel. Tento proces sa opakuje dovtedy, kým systém neodvodí cieľový prvok, alebo kým sa nedostane do situácie, v ktorej už nie je možné vykonať akčnú časť žiadneho pravidla.
Spätné reťazenie spočíva na opačnej filozofii. Odvodzovací mechanizmus vychádza z dôsledkovej časti pravidiel (pravých strán), ktoré sa snaží odvodiť a porovnáva, či sú ich predpokladové časti podporené faktami v báze faktov. V báze faktov teda nachádzajú ciele (resp. podciele) a nie odvodené fakty. Systém najskôr vytvorí akýsi zoznam pravidiel, splnením ktorých je možné dosiahnuť cieľ. Predpokladová časti týchto pravidiel sa stávajú podcieľmi a celý proces sa rekurzívne zopakuje.
Príklad :
Majme bázu poznatkov, obsahujúcu nasledovné pravidlá :
(1) ak A&B tak E
(2) ak C tak F
(3) ak C&E tak G
(4) ak F&G tak X
Nech sú na začiatku odvodzovacieho procesu známe fakty A, B, C. Inferenčný mechanizmus „vstúpi“ do bázy poznatkov a porovnáva ľavé strany pravidiel s položkami v báze faktov. Vytvorí zoznam pravidiel, ktoré možno použiť – v našom prípade sú to (1) a (2). Tieto dve pravidlá tvoria konfliktnú množinu pravidiel a musí nasledovať riešenie konfliktov. Nech mechanizmus vyberie pravidlo, ktoré k svojmu splneniu potrebuje viac predpokladov (1). Vykoná jeho akčnú časť a pripíše do bázy faktov jeho dôsledok – fakt E. V tomto momente obsahuje báza faktov štyri položky A, B, C, E. Následne sa opäť vyberá konfliktná množina, tá obsahuje tri pravidlá (1), (2) a (3). Ak použijeme metódu výberu pravidla s viacerými predpokladmi, zredukuje sa nám množina na pravidlá (1) a (3). Keďže pravidlo (1) sme už použili, inferenčný mechanizmus spustí pravidlo (3), čím sa do bázy faktov vloží fakt G. V ďalšom kroku sa spustením pravidla (2) do bázy faktov dostane aj fakt F, čo umožní spustiť pravidlo (4) a uzavrieť tak bázu faktov v stave A, B, C, E, F, G, X. Takto sa nám podarilo odvodiť fakt (záver) X, ktorý mohol byť diagnózou, riešením a pod. Opísané odvodzovanie sa nazýva dopredné reťazenie, alebo faktami riadená inferencia.
