Мова опису задач SITPLAN-2, Детальна інформація

Опис оператор(в та демон(в

Синтаксис

опис оператора: { тип оператора } { (менувальна частина }:

{ список продукц(йних правил }:

]

опис демона: { тип демона } { (менувальна частина }

{ список продукц(йних правил }

]

тип оператора: ОЛ | OL | ОД | OA

тип демона: ДЛ | DL | ДП | DE

список продукц(йних правил:

{ опис основного правила }

[ опис корекц(йного правила ] ...

опис основного правила:

ЯКЩО [ список вираз(в ] [ / список вираз(в / ]

ТО [ список вираз(в ]

опис корекц(йного правила:

(ЯКЩО [ список вираз(в ] [ / список вираз(в / ]

(ТО [ список вираз(в ]

список значень зм(нних:

, ... } ; ...

пара

Семантика

П(д час опису знань про проблемну область вид(ляються зв(язки продукц(йних правил, що називаються операторами ( демонами. Оператор моделю( д(ю або правило лог(чного виводу, виб(р яких в процес( планування р(шень визнача(ться т((ю чи (ншою стратег((ю планування. Демони моделюють под(( або правила лог(чного виводу, виб(р яких визнача(ться т(льки умовою (х застосування ( не залежить в(д стратег(( планування.

Використання демон(в дозволя( моделювати процеси випадкового пошуку. Розл(чають так( типи оператор(в ( демон(в:

оператор типу д(( (ОД або OA);

оператор типу правила лог(чного виводу (ОЛ або OL);

демон типу под(( (ДП або DE);

демон типу правила лог(чного виводу (ДЛ або DL).

Продукц(йн( правила, що входять до оператор(в ( демон(в, розд(ляються на основн( та корекц(йн(.