Условие:
Наиболее часто при построении интеллектуальных систем используются предикатная, продукционная и лингвистическая формы реляционной модели знаний. Соотнесите форму и ее характеристику:
лингвистическая форма является наиболее строгой в формальном плане; имеется мощная программная поддержки в виде языков логического программирования
продукционная форма является гибридной; такая форма развита для применения в естественно-языковых системах
предикатная форма используется для соотнесения продукционных и предикатных форм представления знаний
используется для представления знаний в виде импликативных отношений и связок ^ («и») и v («или») между фактами
Решение:
Мы имеем три формы представления знаний и четыре формулировки характеристик. При этом одна из характеристик относится к гибридной природе и служит для соотнесения двух других представлений. Рассмотрим каждую форму по отдельности. 1. Предикатная форма – Эта форма базируется на логическом исчислении высказываний/предикатов. Именно поэтому она обладает максимальной строгостью с точки зрения формализма. При этом для неё существует мощная программная поддержка (например, языки логического программирования, такие как Prolog). Таким образом, соответствующая характеристика: «является наибол...