В данной работе получен опыт применения продукционной модели и разрабатываемого механизма логического вывода на реальной прикладной задаче .
Как правило , все СОЗ представляют исходные данные , необходимые для верификации ,
В данной работе получен опыт применения продукционной модели и разрабатываемого механизма логического вывода на реальной прикладной задаче .
Как правило , все СОЗ представляют исходные данные , необходимые для верификации , некоторым регулярным для всех проектов образом .