Deduktiwnye bazy dannyh

V poslednee wremq sdelan bol'shoj shag wpered w oblasti opisaniq znanij. Razrabotany programmnye sredstwa, oblegchaüschie slozhnyj s kognitiwnoj tochki zreniq process formalizacii znanij. No na puti k osuschestwleniü idei o peredachi znanij ot cheloweka komp'üteru i awtomaticheskom izwlechenii znanij iz dannyh suschestwuet prepqtstwie ¿ trudoemkost' processa logicheskogo wywoda. V dannoj rabote predstawlen podhod k resheniü ätoj zadachi - uskorenie logicheskogo wywoda w produkcionnoj modeli s pomosch'ü sowremennyh SUBD. Pri ätom, ponqtie sowremennyh SUBD ne ogranichiwaetsq tol'ko populqrnymi relqcionnymi bazami dannyh, no rassmatriwaütsq menee rasprostranennye wertikal'nye BD. Priwodqtsq rezul'taty äxperimentow. Opisywaütsq sowremennye modeli predstawleniq znanij, analiziruütsq razlichnye programmnye instrumenty logicheskogo wywod w produkcionnoj modeli. Kniga mozhet byt' polezna wsem, interesuüschimsq sistemami, osnowannymi na znaniqh.