Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
БСТ19ХХ / Вопросы к экзамену ППСУБДиЗ.docx
Скачиваний:
127
Добавлен:
20.04.2022
Размер:
1.08 Mб
Скачать

61. Продукционная модель представления знаний.

Продукционная модель представления знаний — это модель, которая базируется на определённых правилах и даёт возможность выразить знание в форме предложений типа «Если (условие), то (действие)»

Традиционная продукционная модель знаний включает в себя следующие базовые компоненты:

1) набор правил (или продукций), представляющих базу знаний продукционной системы;

2) рабочую память, в которой хранятся исходные факты, а также факты, выведенные из исходных фактов при помощи механизма логического вывода;

3) сам механизм логического вывода, позволяющий из имеющихся фактов, согласно имеющимся правилам вывода, выводить новые факты.

62. Модель исчисления предикатов первого порядка.

Логика первого порядка(исчисление предикатов) — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний.

Язык логики первого порядка строится на основе сигнатуры, состоящей из множества функциональных символов {F} и множества предикатных символов {P}. С каждым функциональным и предикатным символом связана арность, то есть число возможных аргументов. Допускаются как функциональные, так и предикатные символы арности 0.

63. Фреймовая модель представления знаний.

Теория фреймов предложена М. Минским в 1974 г. В основе данной модели представления знаний лежит свойство концептуальных объектов иметь аналогии, которые позволяют строить иерархические структуры отношений типа “абстрактное- конкретное”. Каждый фрейм следует рассматривать как сеть из нескольких вершин и отношений.