Мова опису задач 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 обмежувачи.

Приклади

1. ЦІЛЬ СТАРТ ПІСЛЯ 15.00

НІ Х1 ЗНАХОДИТЬСЯ НА ОБ'ЄКТІ_41.

2. ЦІЛЬ СТАРТ МІЖ 10 11

/ ОСЦИЛОГРАФ НА СТОЛІ А,

ТРИВ 30 ХВИЛ.,

ТУМБЛЕР ЖИВЛЕННЯ ОСЦИЛОГРАФУ УВІМКНУТО /.

3. ЦІЛЬ СТАРТ ПЕРЕД 12.00

А НА В; С НА D.

4. ЦІЛЬ УВЕСЬ Х1:

ВОЛЬТМЕТР Х1 У ШАФІ_1.

5. ЦІЛЬ Є Х1:

ДЕТАЛЬ Х1 У ЯЩИКУ_3.

6. ЦІЛЬ ЦИКЛ 5 Х1:

ВОЛЬТМЕТР_Х1 НА СТОЛІ_2.

Опис першої цiльової ситуацiї включає обмежувач старту (СТАРТ) подiї. Інтерпретацiя його така: “На об'єктi_41 в певний перiод часу (пiсля 15.00) не повинно бути жодного об'єкта”.

У прикладi 2 використується обмежувачи старту i тривалостi. Перший з них показує на момент старту подiї (мiж 10.00 i 11.00), другий визначає тривалiсть процесу (30 хвилин). Двi подiї “осцилограф на столi А” i “тумблер живлення осцилографу увiмкуто” повиннi початися в один i той самий промiжок часу, але не водночас. Друга подiя повинна початися пiсля першої i тривати 30 хвилин. Приклад 3 iлюструє використання пiд час опису цiльової ситуацiї обмежувача старту з обов'язковим одночасним початком (до 12.00) двох рiзних подiй (А на В) i (С на D). Приклад 4 мiстить квантор загалу “УВЕСЬ” i iнтерпретується таким чином: “Цiльова ситуацiя вважається досягнутою, якщо всi вольтметри знаходяться у шафi_1”. Інтерпретацiя приклада 5, що мiстить квантор iснування, є така: “В ящику_3 знаходиться хоча б одна деталь_Х1”. Приклад 6 мiстить квантор циклу, у вiдповiдностi з яким п'ять вольтметрiв повиннi бути на столi.

7.Пiдсумки