Techniky analýzy znalostí, které slouží k odvozování nových poznatků nebo při hledání řešení Strojově zpracovatelné Lze kombinovat různé přístupy
DEDUKCE
Logické usuzování, při kterém musí závěr plynout z předpokladů (modus ponens, modus tollens). Hledáme závěry plynoucí z faktů, které máme k dispozici. Výroky označme A, B Pravidlo: A (předpoklad) => B (závěr) Modus ponens Modus tollens