Модель, реализующая и объекты, и правила с помощью предикатов первого порядка, являющаяся строго формализованной моделью с универсальным дедуктивным и монотонным методом логического вывода «от цели к данным», – это:
Другие предметы Университет Логические модели продукционная модель фреймовая модель семантическая сеть логическая модель объектно-ориентированная модель Новый
В данном вопросе рассматриваются различные модели, которые могут использоваться в интеллектуальных информационных системах. Чтобы правильно ответить на вопрос, важно понять, что каждая из перечисленных моделей имеет свои характеристики и области применения.
Таким образом, правильный ответ на вопрос – это логическая модель, так как она соответствует всем критериям, указанным в вопросе: реализует и объекты, и правила с помощью предикатов первого порядка, является строго формализованной и поддерживает универсальный дедуктивный и монотонный метод логического вывода.