Разработка и анализ структуры новой математической модели представления продукционных баз знаний. Обоснование алгоритмов проведения логического вывода и проверки баз на полноту и избыточность. Оценка корректности и эффективности разработанных алгоритмов.