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

ВІДДІЛОК_2:

ДОВЖИНА 30 М;

ШИРИНА 15 М;

ВИСОТА 5 М;

ТИП СКЛАДАЛЬНИЙ;

ВКЛЮЧАЄ ВЕРСТАТ_1, ВЕРСТАТ_2,

ВЕРСТАТ_3, ВЕРСТАТ_4,

ВЕРСТАТ_5, ВЕРСТАТ_6;

Опис ц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. ЦІЛЬ СТАРТ ПІСЛЯ 15.00

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

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

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

ТРИВ 30 ХВИЛ.,

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

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

А НА В; С НА D.

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

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