Исполняемые утверждения БЗ

Основу исполняемых утверждений БЗ составляют правила и процедуры. Кроме того, есть формулы, функции, действия и т.п. Правила в G2 имеют традиционный вид: условие (антецедент) и заключение (консеквент). Кроме if-правила: условие ("if <логическое выражение>") и заключение ("then <действия>") используются еще 4 типа правил: initially, unconditionally, when и whenever.

Способы применения каждого правила определяются его синтаксисом:

<правило> ::= {\<префикс for>\

{<правило if> | <правило unconditional1у>

\ <правило when> |     <правило whenever>]

\ <правило initially>]

<префикс fоr> ::= for {any | the } <item> ...

<правило if> ::= if <логическое выражение> then <список действий> <правило unconditionally> ::=unconditionally <список действий>

<правило when> ::= when <логическое выражение>

then <список действий>

<правило whenever> ::= whenever <описание события>

|ог <описание события>\

|and when <логическое выражение>\

<правило initially> ::= initially

|if <логическое выражение> then<список действий>

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

1. минимизируется избыточность БЗ;
2. упрощается наполнение БЗ и ее сопровождение;
3.  минимизируются ошибки при отладке БЗ;
4. способствует повторной используемости знаний (так как общие правила запоминаются в библиотеке G2 и могут использоваться в подобных приложениях).

Несмотря на то, что продукционные правила обеспечивают достаточную гибкость для описания реакций системы на изменения окружающего мира, в некоторых случаях, когда необходимо выполнить жесткую последовательность действий (например, запуск или остановку комплекса оборудования), более предпочтительным является процедурный подход. Язык программирования, используемый в G2 для представления процедурных знаний, является достаточно близким родственником Паскаля. Кроме стандартных управляющих конструкций язык расширен элементами, учитывающими работу процедуры в реальном времени: ожидание наступления событий, разрешение другим задачам прерывать выполнение данной процедуры, директивы, задающие последовательное или параллельное выполнение операторов. Еще одна интересная особенность языка- итераторы, позволяющие организовать цикл над множеством экземпляров класса. Перечисленные свойства языка позволяют системе одновременно выполнять множество различных процедур или множество копий одной и той же процедуры для множества различных объектов.