Модель продукционных правил относится к классу дедуктивных логических систем ,
введены ограничения :
Модель продукционных правил Модель продукционных правил относится к классу дедуктивных логических систем , в основе которых лежит принцип дедукции - порождение истинных фактов из заданных аксиом и правил .
В модели продукционных правил с целью повышения эффективности логического вывода введены ограничения : \- правила вывода ( продукционные правила ) являются хорновскими выражениями ;