необходимы изначально заданные факты и правила .
Существенная для верификации информация экспортируется из системы отслеживания задач ( СОЗ ) в предикаты следующим образом .
Р. С. Катериненко , И. А. Бессмертный Применение модели продукционных правил Как было показано выше , для построения логической модели необходимы изначально заданные факты и правила .
Существенная для верификации информация экспортируется из системы отслеживания задач ( СОЗ ) в предикаты следующим образом .