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

В кос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

ДВЕРІ_Х2: З'ЄДНУЄ КОМ_Х1 З КОМ_Х3, СТАН ВІДЧИНЕНА.

/ КОМ_Х1 МІСТИТЬ РОБОТ /РОБОТ ПОРЯД З ДВЕРЯМИ_Х2,

ТО

КОМ_Х3 МІСТИТЬ РОБОТ,

'ЯКЩО

УВЕСЬ Х4: КОМ_Х1 МІСТИТЬ Х4;

Х4 ДВЕРІ_Х2

/ РОБОТ ПОРЯД З Х4. /

Пiсля виконання основного продукцiйного правила опис пiдсумковiї ситуацiї записується вираз “КОМ_Х3 МІСТИТЬ РОБОТ” з конкретизованим значенням змiнної Х3, яке набулося пiд час розпiзнавання застосування цього правила в вiдповiдностi з описом його лiвої частини. З опису вхiдної ситуацiї буде вилучено вираз “КОМ_Х1 МІСТИТЬ РОБОТ”.

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

Операторам, якi мають в описах продукцiй цикли, можуть вiдповiдати послiдовностi дiй, що циклiчно повторюються.

Наведемо приклад iменувальної частини оператора, що задає циклом дiю по перестановцi п'яти об'єктiв з столу Х2 на стiл Х3:

ОД ЦИКЛ 5 СТАРТ ПЕРЕД 12.00 ТРИВ 30 С:

( ПІДІЙТИ ДО С ТОЛУ Х2; ВЗЯТИ Х1;

ПІДІЙТИ ДО С ТОЛУ Х3; ПОСТАВИТИ Х1 НА СТІЛ Х3 ).

Для задання часу початку i тривалостi виконання оператора в описi iменувальної частини використанi обмежувачи старта i тривалостi.

Рiшення по вибору вариантiв механiчної обробки деталей приведени в табл. 2.