Синтаксис метаправил
Предложен синтаксис метаправил, в котором выделены следующие секции.
1) Секция моделей «Models», которая используется для перечисления идентификаторов моделей, используемых в метаправилах. Секция имеет вид
Models:
<модель>[;<модель>] .
2) Секция состояний «States», которая используется для перечисления идентификаторов состояний, используемых в метаправилах. Секция имеет вид:
States:
<состояние>[;<состояние>] .
3) Секция правил «Rules», которая используется для задания метаправил. Секция имеет вид
Rules:
<метаправило>[;< метаправило >].
<метаправило> := [<модель>:] [<состояние>] IF <условие> THEN <модель> | <# модель >|stop
<условие>:= <ППФ>| <команда ЛПР> |<возмущение>|<Д1>|1гие <комаида ЛПР>:= С=<идентификатор> <возмущение>:= У=<идентификатор>
Примечания:
- 1. Определение ППФ аналогично ее определению в логике предикатов l-ro порядка. Ее использование в метаправиле дает возможность записывать в качестве условия метаправила следствия, выведенные в некоторой прикладной логической модели, и факты, описывающие изменения в проблемной среде.
- 2. Для задания предикатов, применяемых для представления отношений «больше», «меньше», «больше или равно», «меньше или равно», «равно» и «неравно» используется запись: терм Р терм, где Ре{>,<, >=,<=,==,!=}, определение терма аналогично определению в логике предикатов 1-го порядка.
- 3. At задает возможность срабатывания метаправила в некоторой прикладной логической модели, если в ней не может быть получен ответ на запрос за время At.
- 4. Ключевое слово «true» в условии метаправила используется только в метаправиле для инициализации процесса поиска решений в логикосемиотической модели представления знаний. Такое метаправило срабатывает только один раз, когда запрос получен.
- 5. Ключевое слово «stop» используется в метаправиле для завершения процесса поиска решений в логико-семиотической модели представления знаний. Если в условии этого метаправила стоит ключевое слово «true», то прикладная логическая модель, идентификатор которой указан в метаправиле, является заключительной, т.е. после вывода в ней следствий процесс поиска решений в логико-семиотической модели завершается. Предложено использование такого метаправила, поскольку в нем можно указать условие для завершения процесса поиска решений, например следствие, после вывода которого процесс останавливается.
