Дедуктивные базы данных

В последнее время сделан большой шаг вперед в области описания знаний. Разработаны программные средства, облегчающие сложный с когнитивной точки зрения процесс формализации знаний. Но на пути к осуществлению идеи о передачи знаний от человека компьютеру и автоматическом извлечении знаний из данных существует препятствие – трудоемкость процесса логического вывода. В данной работе представлен подход к решению этой задачи - ускорение логического вывода в продукционной модели с помощью современных СУБД. При этом, понятие современных СУБД не ограничивается только популярными реляционными базами данных, но рассматриваются менее распространенные вертикальные БД. Приводятся результаты экспериментов. Описываются современные модели представления знаний, анализируются различные программные инструменты логического вывод в продукционной модели. Книга может быть полезна всем, интересующимся системами, основанными на знаниях.