Мова опису задач SITPLAN-2

{ зм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).

Продукц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рки елементарних умов л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 вирази.

В косi дужки беруться вирази лiвої частини продукцiйного правила, якi будуть вилученi з опису вхiдної ситуацiї пiсля його виконання.

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

Наведемо приклад запису продукцiйних правил оператора типу дiї, вiдповiдного перемiщенню робота з кiмнати Х1 у смiжну з нею кiмнату Х3.

ОД ДОСТ 0,5 СТАРТ ПІСЛЯ 5: ПЕРЕЙТИ З КІМ_Х1 У КІМ_Х3

ЯКЩО

ПРИМІЩЕННЯ: МІСТИТЬ ДВЕРІ_Х2, КОМ_Х1, КОМ_Х3