Мова опису задач SITPLAN-2
СТІЛ 1 ПОРЯД З СТОЛОМ 2.
2. Складовий вираз, що використовується для завдання параметрiв стратегiї планування:
ПАРАМЕТРИ: СТРАТЕГІЯ Х1;
КОЕФІЦІЄНТ ЦР Х3;
ЛІМІТИ ЧАСУ Х3;
ПРЯМЕ РОЗГАЛУЖЕННЯ Х4;
ЗВОРОТНЄ РОЗГАЛУЖЕННЯ Х3.
В мовi 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 зв'язка типу &.
5.Опис знань про проблемну область
Опис знань про проблемну область мiстить такi компоненти: опис понять, що визначають об'єкти проблемної областi, та вiдношень мiж об'єктами, а також опис операторiв та демонiв, що моделюють дiї, подiї та правила логiчного виводу.
Базовi поняття i вiдношення служать для узгоджування виразiв вихiдної ситуацiї i цiльової умови з виразами опису операторiв.Список базових понять складається з найменувань класiв об'єктiв. Для цього можуть бути використанi слова природної мови:
БПОН СТІЛ, СТІЛЕЦЬ, ШАФА, ...
BCON CMT, PLATE, GLASS, ...
Елементи списку базових вiдношень мають структуру описових виразiв, семантика яких визначається класом задач:
БВІДН Х1 НА Х2;
Х1 ПОРЯД З Х2;
ВИСОТА Х1 Х3.
Описовi вирази, що використуються для опису вихiдних i цiльових ситуацiй, складаються з елементiв списку базових вiдношень шляхом виконання операцiй пiдстановки вiдповiдних значень на мiста змiнних. Значеннями змiнних можуть бути слова, пари, n-ки, числа чи описовi вирази, якi, в свою чергу, полученi з базових вiдношень шляхом виконання операцiй пiдстановки.