Синтаксис LHS правила

Этот раздел описывает синтаксис, используемый в левой части правил. Ле­вая часть правил содержит список условных элементов (conditional elements или CEs), которые должны удовлетворяться, для того чтобы правило было помещено в план решения задачи. Существует восемь типов условных эле­ментов, используемых в левой части правил: CEs-образцы, test CEs, and CEs, or CEs, not CEs, exists CEs, forall CEs и logical CEs. Образцы — наиболее часто используемый условный элемент. Он содержит ограничения, которые слу­жат для определения, удовлетворяет ли какой-нибудь элемент данных (факт или объект) образцу. Условие test используется для оценки выражения, как части процесса сопоставления образов. Условие and применяется для опре­деления группы условий, каждое из которой должно быть удовлетворено. Условие or — для определения одного условия из некоторой группы, кото­рое должно быть удовлетворено. Условие not — для определения условия, которое не должно быть удовлетворено. Условие exists — для проверки наличия, по крайней мере одного, совпадения факта (или объекта) с некото­рым заданным образцом. И наконец, условие logical позволяет выполнить добавление фактов и создание объектов в правой части правила, связанных с фактами и объектами, совпавшими с заданным образцом в левой часта правила (поддержка достоверности фактов в базе знаний).

Синтаксис условного элемента можно формализовать следующим образом:

Определение 6.3. Синтаксис условного элемента

<условный-элемент>::= <pattern-CE> |

<assigned-pattern-CE> |

<not-CE> │

<and-CE> |

<or-CE> |

<logical-CE> |

<test-CE> |

<exists-CE> │

<forall-CE>

В последующих разделах будет подробно рассмотрен синтаксис каждого условного элемента.