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