Как выглядит предложение-продукция в продукционной модели знаний? [вверх]
Продукционная МПЗ основана на правилах и позволяет представить знание в виде предложений типа:
«Если (условие), то (действие)»
В общем случае продукционную модель можно представить в следующем виде:
i = <S, L, A→B, Q>, где:
S – описание класса ситуаций;
L – условие, при котором продукция активизируется;
A→B – ядро продукции;
Q – постусловие продукционного правила.
В моделях этого типа используются некоторые элементы логических и сетевых моделей:
из логических моделей заимствована идея правил вывода, которые здесь называются продукциями;
из сетевых моделей - описание знаний в виде семантической сети.
В результате применения правил вывода к фрагментам сетевого описания происходит трансформация семантической сети за счет смены ее фрагментов, наращивания сети и исключения из нее ненужных фрагментов.
Дайте определение понятию «фрейм» в рамках фреймовой мпз. [вверх]
Фрейм (от англ. frame — кадр, каркас, рамка, скелет) – это структура для представления единицы знаний, которую можно описать некоторой совокупностью понятий.
Фрейм имеет определенную внутреннюю структуру, состоящую из совокупности элементов, называемую слотами.
Каждый слот, в свою очередь, представляется определенной структурой данных, процедурой или ссылкой на другой фрейм. Иными словами он состоит из имени некоторого признака, значений этого признака и связи с другими слотами.
При заполнении слотов фрейма соответствующими значениями, он превращается в описание конкретного факта, события или ситуации. Каждый фрейм можно рассматривать как семантическую сеть, состоящую из выделенных вершин и связей.
В отличие от других моделей, во фреймах фиксируется жесткая структура.
В общем случае фрейм определяется следующим образом:
{ИМЯ ФРЕЙМА: (имя 1-го слота: значение 1-го слота);
(имя 2-го слота: значение 2-го слота);
………………………….
(имя N-го слота: значение N-го слота)}.
Важным свойством фреймов является наследование свойств, заимствованное из теории семантических сетей.
Представьте графически с помощью сетевой мпз область знаний «Подразделения сф ОмГту». [вверх]
Дайте определение понятию «предикат». [вверх]
Предикат (лат. praedicatum — заявленное, упомянутое, сказанное) — любое математическое высказывание, в котором есть, по меньшей мере, одна переменная. В логике — понятие, определяющее предмет суждения (субъект) и раскрывающее его содержание.
Дайте определение понятию «факт» с точки зрения логики. [вверх]
Отношения между объектами в Прологе называются фактами. Факт соответствует фразе Хорна, состоящей из одного положительного литерала.
Факт – это простейшая разновидность предложения Пролога. Любой факт имеет соответствующее значение истинности и определяет отношение между термами. Факт является простым предикатом, который записывается в виде функционального терма, состоящего из имени отношения и объектов, заключенных в круглые скобки, например: Мать (мария, анна).
Какие правила и методы используются в логической мпз для получения истинного высказывания. [вверх]
Для того чтобы задать формальную логическую теорию, необходимо определить кортеж: S = < B, F, A, R >, где
B –алфавит (множество символов, используемых для записи),
F – правила синтаксиса (правила записи формул),
A – аксиоматику (выделенное подмножество априори истинных формул ),
R – правила вывода (множество отношений на множестве формул).
Правила вывода должны быть заданы так, чтобы на любых исходных данных обеспечить правильность логических заключений. Алфавит и аксиоматика должны быть заданы так, чтобы гарантированно обеспечить осмысленность (семантику) получаемых заключений и промежуточных следствий.