Реферат: Мова опису задач 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 цього правила.

Порядок перев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

ДВЕРІ_Х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 виконання оператора в описiiменувальної частини використанi обмежувачи старта i тривалостi.

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