автоматичний аналіз тексту, автоматический анализ текста ; автоматичний контроль, автоматический контроль
Розглядаються можливості автоматизації контролю логічних норм редагування. Вказується, що на сучасному етапі розвитку лінгвістики й логіки такий контроль не може бути автоматичним, а тільки певною мірою автоматизованим. Запропоновано методи такого контролю для безпосередніх (з одного засновка) й силогістичних (з двох засновків) виведень.
It is reviewed the possibilities of automatization of logical editing norms control. It is noted that at the modern stage of linguistics and logic such a control can not be automatic but also automated. It is proposed the methods of such a control for direct (from one … and sylogical (from two ...).
