This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
courses:knowledge_representation_and_artificial_intelligence_systems:lab1 [2019/10/01 15:19] andrey.suchkov [Основные теоретические положения] |
courses:knowledge_representation_and_artificial_intelligence_systems:lab1 [2022/12/10 09:08] (current) |
||
---|---|---|---|
Line 93: | Line 93: | ||
- Запустить систему CLIPS (файл //clipswin.exe//). Активизировать окно просмотра текущего списка фактов (подпункт <<Facts Window>> пункта <<Windows>> главного меню). Выполнить следующую последовательность действий, фиксируя после каждого шага состояние списка фактов: | - Запустить систему CLIPS (файл //clipswin.exe//). Активизировать окно просмотра текущего списка фактов (подпункт <<Facts Window>> пункта <<Windows>> главного меню). Выполнить следующую последовательность действий, фиксируя после каждого шага состояние списка фактов: | ||
* сбросить систему в исходное состояние командой ''(clear)''; | * сбросить систему в исходное состояние командой ''(clear)''; | ||
- | * выполнить начальную установку командой (reset) или комбинацией клавиш ^E; | + | * выполнить начальную установку командой ''(reset)'' или комбинацией клавиш ^E; |
- | * ввести 3 любых упорядоченных факта командой (assert), например: \\ ''CLIPS> (assert (n n) (m m) (p p))''; | + | * ввести 3 любых упорядоченных факта командой ''(assert)'', например: \\ ''(assert (n n) (m m) (p p))''; |
* повторно выполнить сброс командой ''(reset)''; | * повторно выполнить сброс командой ''(reset)''; | ||
* установить 3 ранее вводимых упорядоченных факта в качестве исходных фактов, используя конструкцию ''(deffacts)''; | * установить 3 ранее вводимых упорядоченных факта в качестве исходных фактов, используя конструкцию ''(deffacts)''; |