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

ПОРЯД ( ОБ_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) (3)

(4)

Вирази (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;

2) пiдноситься до квадрату ;

3) результат кроку 2 вiднiмається вiд результату кроку 1;

4) змiннiй присвоюється результат операцiї вiднiмання.

Пiд час обробки виразу (4) спочатку виконується операцiя над змiнними i, потiм операцiя над , , i нарештi операцiя над значеннями “iстина” або “хибнiсть”, що отриманi в результатi операцiй (1), (2). Результатом (4) також є значення “iстина” або “хибнiсть”.

4.3. Квантори i обмежувачi

В мовiSITPLAN-2 з метою розширення виразових можливостей запроваджуються додатковi засоби типу кванторiв i обмежувачiв, якi служать для указання мiри, наскiльки значення змiнних повинно бути iстиним, щоб висловлювання вцiлому стало iстиним.

Приклади виразiв з кванторами

УВЕСЬ Х1 Є Х2: ЦВЯХ Х1 З МАТЕРІАЛУ Х2 ТЕРМОСТІЙКИЙ.

Цей вираз означає, що серед цвяхiв є хоча б один з термостiйкого матерiалу. Якщо квантор в виразiє вiдсутнiм, то за умовчанням змiннi вважаються охопленими квантором iснування.

До складу запроваджуваних обмежучив входить обмежувач циклу, позначений службовим словом ЦИКЛ . Вiн використовується пiд час опису ситуацiй i операторiв з великою кiлькiстю об'єктiв, якi знаходяться в одному i тому ж вiдношеннi.