Цитаты из книги «Искусственный интеллект и Большие Данные. Без хайпа и наукообразия»

Фреймы могут описывать не только декларативные, но и процедурные знания. Для этого в слот фрейма может быть помещён так называемый демон – процедура, автоматически выполняемая при запросе к слотам фрейма или при обновлении содержащихся в нём данных.

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

Фрейм – это абстрактный образ, обобщенная модель объекта, понятия или явления. В модели предполагается, что каждый объект или явление имеет некий набор характеризующих его характеристик (слотов). Обобщённая модель (фрейм-образец, прототип) служит для формирования конкретных экземпляров фрейма (фреймы-экземпляры), содержащих конкретные значения атрибутов, предусмотренных прототипом. Такое построение модели знаний делает её достаточно универсальной, поскольку даёт возможность описать самые разнообразные объекты и явления.

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

Элементы, формирующие условие, называются фактами. Они описывают такое состояние предметной области, в котором следует выполнить установленное правилом действие. Факты – это утверждения о состоянии объектов или явлений, характерных для предметной области. Правила – утверждения о связях наборов фактов с необходимость выполнения определённых действий. В том числе, связанных с установлением истинности других фактов.

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

Условие (антецедент) – это некоторое утверждение, поиск которого производится в базе знаний. Действие (консеквент) – некоторая процедура, которая выполняется, если условие в базе знаний найдено.

При описании продукционных правил могут использоваться логические связки И, ИЛИ.

В продукционной модели знания представляются в виде условий в форме: Если (условие) ТО (действие)

Считается, что сетевые модели имитируют понимание человеком естественного языка. Изначально они разрабатывались психологией как способ описания долговременной памяти человека и только позже стали применяться в инженерии знаний. Поэтому семантические модели применяются в ИИС, связанных с интерпретацией естественного языка и автоматического машинного перевода, в диалоговых вопросно-ответных системах, в системах искусственного зрения.