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

Х8 _ , _ , 5, 6, 8, 9, 0, 6, 8, 9, 5, 6, 8, 9.

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

ДС

СТАРТ В Х1 ТРИВ Х2:

ЯКЩО

БУДИЛЬНИК УСТАНОВЛЕНО НА Х1;

ТО

СТАРТ В Х1 ТРИВ Х2: БУДИЛЬНИК ДЗВОНИТЬ.

Опишемо демон логiчного виводу, що моделює процес утворення вiльних мiсць на поверхнi одного об'єкта пiсля зняття з нього другого.

Установочнi поверхнi об'єктiв i вiльних мiсць апроксимуємо квадратами i класiфiкуємо за розмiрами цих квадратiв так, що при установцi на поверхню А класу i об'єкта з установочною поверхнею класу i-1 (див. мал.2 , мiсце Х4 зайняте, мiсця Х6, Х7, Х8 - вiльнi). Пiсля вилучення об'єкта з поверхнiА на нiй з'являються чотири вiльних мiсця класу i-1, якi за допомогою демона логiчного виводу перетворюються в одне вiльне мiсце класу i (на мал. 2 з вiльних мшсць Х4, Х6, Х7, Х8 утворюється вiльне мiсце Х1).

Опис такого демона виглядає так:

ДЛ ВІЛЬНЕ МІСЦЕ_Х1 КЛАСУ_Х2:

ЯКЩО / ОБ_Х3: ВІЛЬНЕ МІСЦЕ_Х4 КЛАСУ_Х5;

ВІЛЬНЕ МІСЦЕ_Х6 КЛАСУ_Х5;

ВІЛЬНЕ МІСЦЕ_Х7 КЛАСУ_Х5;

ВІЛЬНЕ МІСЦЕ_Х8 КЛАСУ_Х5. /

ТО Х1:=NAMER, X2:=X5+1;

ОБ'ЄКТ_Х3: ВІЛЬНЕ МІСЦЕ_Х1 КЛАСУ_Х2.

6. Опис формулювань задач

Синтаксис

опис ситуацiї: список виразiв.

опис змiн: ! ДОПИСАТИ список виразiв

! ADD

! ВИЛУЧИТИ

! DEL

опис вихiдної ситуацiї: СИТ опис ситуацiй

SIT опис змiн

опис цiльової ситуацiї: Ц І ЛЬ опис ситуацiї

GOAL