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

КОМНАТА К1: ДОВЖИНА 8 М;

ШИРИНА 10 М;

ДВЕР( А З((ДНУЮТЬ К(МНАТУ_К1 З К(МНАТОЮ_К2;

СТ(Л 1 ПОРЯД З СТОЛОМ 2.

2. Складовий вираз, що використову(ться для завдання параметр(в стратег(( планування:

ПАРАМЕТРИ: СТРАТЕГ(Я Х1;

КОЕФ(Ц((НТ ЦР Х3;

Л(М(ТИ ЧАСУ Х3;

ПРЯМЕ РОЗГАЛУЖЕННЯ Х4;

ЗВОРОТН( РОЗГАЛУЖЕННЯ Х3.

В мов( SITPLAN-2 прийнят( так( узгодження в(дносно опис(в упорядкованих ( неупорядкованих списк(в вираз(в:

упорядкован( списки вираз(в, в яких ма(ться на уваз( зв(язка типу &, беруться в кругл( дужки ( );

неупорядкован( списки вираз(в, в яких ма(ться на уваз( зв(язка типу &, беруться в хвиляст( дужки { };

;

, беруться в квадратн( дужки [ ].

Якщо списки вираз(в не взят( в дужки, ма(ться на уваз( зв(язка типу &.

Опис знань про проблемну область

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

Базов( поняття ( в(дношення служать для узгоджування вираз(в вих(дно( ситуац(( ( ц(льово( умови з виразами опису оператор(в.

Список базових понять склада(ться з найменувань клас(в об((кт(в. Для цього можуть бути використан( слова природно( мови:

БПОН СТ(Л, СТ(ЛЕЦЬ, ШАФА, ...

BCON CMT, PLATE, GLASS, ...

Елементи списку базових в(дношень мають структуру описових вираз(в, семантика яких визнача(ться класом задач:

БВ(ДН Х1 НА Х2;

Х1 ПОРЯД З Х2;

ВИСОТА Х1 Х3.

-



v

x