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

Семантика

Опис формулювання задач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льша частина цього опису залишається незм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 пошукового графу.

Хай S - множина ситуац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 властивостi, стани i вiдношення мiж об'єктами.

Наведемо приклад опису вихiдної ситуацiї:

СИТ ПРИМІЩЕННЯ_ЦЕХ_125:

ДОВЖИНА 100 М;

ШИРИНА 50 М;

ВИСОТА 5 М;

ВКЛЮЧАЄ ВІДДІЛОК_1, ВІДДІЛОК_2;

ВІДДІЛОК_1:

ДОВЖИНА 20 М;

ШИРИНА 10 М;

ВИСОТА 5 М;

ТИП ТЕХНІЧНИЙ;

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

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

ВЕРСТАТ_5;

ПОРЯД З ВІДДІЛКОМ_2;

ВІДДІЛОК_2:

ДОВЖИНА 30 М;

ШИРИНА 15 М;

ВИСОТА 5 М;

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

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