Мова опису задач SITPLAN-2
Приклади
СТОЛ; ТОЧКА Х1_Х2_Х3;
ПОРЯД (ОБ_1, СТОЛ);
(ПОВ_1_ОБ_2 НА ПОВ_3_ОБ_4);
ОБ_1, ОБ_2, ОБ_3 НА ПІДЛОЗІ.
Префiкс заперечення (НІ, NOT) в складi описового виразу означає вiдсутнiсть властивостi, стану чи зв'язки, що подається даним описовим виразом.
Приклади
НІ Х1 У ЯЩИКУ_2;
НІ РОБОТ ПОРЯД СТОЛ_Х2.
Процедурнi описовi вирази використовуються в таких випадках:
•Для опису звернення до вбудованої процедури. Наприклад, !ПЕРЕСТАВИТИ МОЖНА (Х1, Х2, Х3). Пiд час виклика цiєї процедури перевiряється можливiсть переставлення об'єкта Х1 з об'єкту Х2 на Х3.
•Для означення iмперативiв (конструкцiй), що забезпечують участь користувача в процесi рiшення задачi, а також пошук, вилучення, ввiд та модифiкацiю певних конструкцiй у базi знань, наприклад, ! ВИКОНАТИ: { OP1 } ... { OPn }. Цей iмператив означає виконання послiдовностi операторiв { OP1 } ... { OPn }: СИТ ! ВИЛУЧИТИ { вир. 1, вир. 2, ... вир }. Пiд час його виконання з опису ситуацiї будуть вилученi вирази, що взятi у дужки.
4.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.
Вирази (1), (2) є декларативними. Вони не задають якоїсь послiдовностi виконання операцiй. До них можуть бути застосованi правила виводу i тотожнiх перетворень. Наприклад, вираз (1) за допомогою правила замiни iмплiкацiї диз'юнкцiєю можна привести до вигляду Вираз (2) можна привести до вигляду
Вирази (3), (4) є процедурними. Вони задають певну послiдовнiсть виконання операцiй. Послiдовнiсть виконання операцiй виразу (3) є такою:
1)виконується операцiя складення i ;