Загрузка и запуск программы

Для загрузки в базу знаний CLIPS содержимого внешнего файла необходимо в главном окне выбрать пункт меню File / Load (рис.10.7).

Рис. 10.7. Загрузка базы знаний из внешнего файла

В появившемся диалоговом окне необходимо выбрать имя требуемого этот файл и нажать кнопку «Открыть» (рис. 10.8).

Рис. 10.8. Выбор файла для загрузки

Произойдет загрузка содержимого выбранного файла в базу знаний CLIPS. При наличии в списке фактов факта (initial-fact) CLIPS активирует правило без условий с идентификатором f-0. Занести этот факт в список можно, выбрав пункт меню Execution / Reset (рис. 10.9).

Рис. 10.9. Выбор команды Reset

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

Рис. 10.10. Список фактов после сброса

Исходный факт активизирует правило, не содержащее условий, которое затем помещается в список активных правил – Agenda (рис. 10.11). В списке активных правил указывается, что это правило было активировано фактом с идентификатором f-0.

Рис. 10.11. Список активных правил

Итак, программа готова. Чтобы запустить ее на выполнение необходимо выбрать команду Run (рис. 10.12).

Рис. 10.12. Запуск программы

После этой команды CLIPS начнет выполнять все правила, которые находятся в списке активных правил. Выполнение программы завершается, когда в списке правил больше не останется ни одного активного правила, либо по прерыванию от пользователя с помощью комбинации клавиш «Ctrl+С».

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

Рис.10.13. Очистка текущего состояния ИО CLIPS

Дата добавления: 2014-12-29