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

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

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

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

В мовiSITPLAN-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;

ВКЛЮЧАЄ Х5.

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

СВ І ДН ПЕРЕНЕСТИ Х1 З Х2 НА Х3:

/ПІДІЙТИ ДО Х2, ВЗЯТИ Х1, ПІДІЙТИ ДО Х3,