Мова опису задач SITPLAN-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

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

Семантика

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