Реферат: Мова опису задач SITPLAN-2

5.1. Опис операторiв та демонiв

Синтаксис

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

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

[ ДЕ список значень змiнних ]

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

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

[ ДЕ список значень змiнних ]

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

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

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

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

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

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

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

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

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

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

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

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

{ змiнна первинний рядок , ... } ; ...

пара

Семантика

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

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

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

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

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

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