Инициализация фактов

Дата добавления: 2014-11-28; просмотров: 1063; Нарушение авторских прав

Конструктор deffacts позволяет создавать набор фактов, инициализирующий базу знаний CLIPS, при каждой очистке системы. При выполнении команды reset текущий список фактов CLIPS очищается, а затем в него добавляются все факты, заданные конструкторами deffacts. CLIPS содержит один предопределенный системный конструктор deffacts, который выполняет добавление в систему факта initial-fact.

Работа с фактами

Конструктор deftemplate

Для создания неупорядоченных фактов в CLIPS предусмотрен специальный конструктор deftemplate. Его использование приводит к появлению в текущей базе знаний системы информации о шаблоне факта, с помощью которого в систему в дальнейшем можно будет добавлять факты, соответствующие данному шаблону. Таким образом, конструктор deftemplate аналогичен операторам record и struct таких процедурных языков программирования как Pascal или С.

Пример 2.2.1. Применение конструктора deftemplate

(deftemplate MyObject

(slot name)

(slot location)

(slot weight)

(multislot contents))

Рис. 2.2.1.Использование конструктораdeftemplate

Подобная реакция среды говорит об удачном добавлении определения шаблона в систему.

Переопределение уже существующего шаблона приводит к исключению предыдущего определения. Шаблон не может быть переопределен до тех пор, пока он используется (например, фактом или правилом). Шаблон может иметь любое количество простых или составных слотов. CLIPS отличает простые и составные слоты в шаблоне. Например, будет ошибкой сохранять значение составного слота в простой слот.

<== предыдущая лекция	\|	следующая лекция ==>
Тема 2. факты	\|	Определение 2.2.1. Синтаксис конструктора deftemplate