V poslednee vremya sdelan bol'shoy shag vpered v oblasti opisaniya znaniy. Razrabotany programmnye sredstva, oblegchayushchie slozhnyy s kognitivnoy tochki zreniya protsess formalizatsii znaniy. No na puti k osushchestvleniyu idei o peredachi znaniy ot cheloveka komp'yuteru i avtomaticheskom izvlechenii znaniy iz dannykh sushchestvuet prepyatstvie - trudoemkost' protsessa logicheskogo vyvoda. V dannoy rabote predstavlen podkhod k resheniyu etoy zadachi - uskorenie logicheskogo vyvoda v produktsionnoy modeli s pomoshch'yu sovremennykh SUBD. Pri etom, ponyatie sovremennykh SUBD ne ogranichivaetsya tol'ko populyarnymi relyatsionnymi bazami dannykh, no rassmatrivayutsya menee rasprostranennye vertikal'nye BD. Privodyatsya rezul'taty eksperimentov. Opisyvayutsya sovremennye modeli predstavleniya znaniy, analiziruyutsya razlichnye programmnye instrumenty logicheskogo vyvod v produktsionnoy modeli. Kniga mozhet byt' polezna vsem, interesuyushchimsya sistemami, osnovannymi na znaniyakh.