Как называется модель представления знаний, которая реализует и объекты, и правила с помощью предикатов первого порядка, является строго формализованной моделью с универсальным дедуктивным и монотонным методом логического вывода "от цели к данным"?

Правильный ответ:

• # Какая функция ERP-системы позволяет контролировать состояние каждого склада в режиме реального времени?
• # Дано число -25 в десятичной системе счисления. Как будет выглядеть обратный код числа в двоичной системе счисления?
• # Как называется схема, реализующая зависимость y=x?
• # Какие операторы связи обеспечивают канальную инфраструктуру сети RBNet?
• # Как в информатике называются документы, в которых отражаются непосредственные результаты познания?