Мова опису задач SITPLAN-2, Детальна інформація

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

ЯКЩО

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

ТО

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

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

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

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

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

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

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

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

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

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

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

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

Синтаксис

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

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

! ADD

! ВИЛУЧИТИ

! DEL

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

SIT опис зм(н

опис ц(льово( ситуац((: Ц(ЛЬ опис ситуац((

GOAL

опис формулювання задач(: { опис вих(дно( ситуац(( } { опис ц(льово( ситуац(( }

Семантика

Опис формулювання задач( склада(ться з опис(в вих(дно( ( ц(льово( ситуац(й.

Опис ситуац(( склада(ться з списку вираз(в, кожен з яких може бути простим чи складовим ( опису( деяку множину властивостей, стан(в ( в(дношень об((кт(в середовища.