Модель, реализующая и объекты, и правила с помощью предикатов первого порядка, являющаяся строго формализованной моделью с универсальным дедуктивным и монотонным методом логического вывода «от цели к данным», – это:

• продукционная модель
• фреймовая модель
• семантическая сеть
• логическая модель
• объектно-ориентированная модель

Другие предметы Университет Логические модели продукционная модель фреймовая модель семантическая сеть логическая модель объектно-ориентированная модель Новый

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

• Продукционная модель - это модель, которая использует правила в виде "если-то" (продукции) для вывода новых фактов. Она не обязательно строго формализована и не всегда использует предикаты первого порядка.
• Фреймовая модель - это структура, которая организует знания в виде объектов и их атрибутов. Фреймы могут включать правила, но не являются строгой формализацией с универсальным методом логического вывода.
• Семантическая сеть - это графовая структура, представляющая знания в виде узлов (объектов) и рёбер (отношений между объектами). Она не основана на предикатах первого порядка и не является строго формализованной моделью.
• Логическая модель - это модель, которая использует предикаты первого порядка для формализации знаний. Она позволяет представлять объекты и правила в строгом виде и поддерживает дедуктивные методы вывода, такие как вывод "от цели к данным". Это именно то, что описано в вопросе.
• Объектно-ориентированная модель - это подход, который фокусируется на представлении данных как объектов, но не обязательно включает строгую формализацию и методы вывода.

Таким образом, правильный ответ на вопрос – это логическая модель, так как она соответствует всем критериям, указанным в вопросе: реализует и объекты, и правила с помощью предикатов первого порядка, является строго формализованной и поддерживает универсальный дедуктивный и монотонный метод логического вывода.