Мова опису задач SITPLAN-2

ПРЯМЕ РОЗГАЛУЖЕННЯ Х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дстановки.

Опис складеного поняття являє собою складовий вираз, iменувальна частина якого є найменуванням поняття, а слiдуючий за нею список простих виразiв - визначенням цього поняття в термiнах його компонентiв, тобто понять i вiдношень бiльш низького рiвня, аж до базових, наприклад:

СПОН МЕБЛІ: { СТІЛ, СТІЛЕЦЬ, ... ШАФА };

МОЛ-Х1: ТИП Х2;

КІЛЬКІСТЬ АТОМІВ Х3;

КІЛЬКІСТЬ КІЛЕЦЬ Х4;