Реферат: Мова опису задач SITPLAN-2

ВЕРСТАТ_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нних, при якому усiiї описи приймають значення “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стить квантор загалу “УВЕСЬ ” iiнтерпретується таким чином: “Цiльова ситуацiя вважається досягнутою, якщо всi вольтметри знаходяться у шафi_1”. Інтерпретацiя приклада 5, що мiстить квантор iснування, є така: “В ящику_3 знаходиться хоча б одна деталь_Х1”. Приклад 6 мiстить квантор циклу, у вiдповiдностi з яким п'ять вольтметрiв повиннi бути на столi.

7. Пiдсумки

Таким чином, з опису мови SITPLAN-2 виходить, що розширення можливостей формалiзацiїi формулювань задач у порiвняннi з мовою SITPLAN досягається за рахунок:

1) введення конструкцiй типу фреймiв для опису складних складових об'єктiв i параметрiв стратегiй;

2) введення конструкцiй для подання невизначеностей i часових обмежень в описах продукцiйних правил;

3) введення змiнних, кванторiв загалу та iснування; обмежувачив максимуму, мiнiмуму i циклу, визначених на множинах описових виразiв i дозволяючих формування моделей складних складових об'єктiв;