3\. Логический вывод .
К логической модели добавляются продукционные правила для верификации ( 1 ) , ( 2 ) , ( 3 ) и вспомогательные диагностические продукционные правила ( 4 ) для локализации ошибочной информации .
3\. Логический вывод .
К логической модели добавляются продукционные правила для верификации ( 1 ) , ( 2 ) , ( 3 ) и вспомогательные диагностические продукционные правила ( 4 ) для локализации ошибочной информации .