Реферат: Мова опису задач SITPLAN-2
1. Вступ
В останнi роки у нас в країнi та за кордоном з'явився новий клас програмних систем, спроможних вирiшувати задачи не за заданими алгоритмами, а за їх формулюваннями, якi складаються з описiв вихiдних та цiльових ситуацiй. Такого роду системи названi в [1] i нтелектуальними вир i шуючими системами (І ВС ). Важливою особливiстю цих систем є те, що разом з обробкою даних в них виконується обробка знань про проблемну область (ПО ). Для работи в слабоформалiзованих ПО створюються І ВС , вiдомi пiд назвою експертн i системи (MYSIN, PROSPECTOR, R1 [2] та iн.). Поряд з експертними системами в слабоструктурованих ПО використується ще один рiзновид І ВС - розрахунково-логiчнi системи (ПРИЗ, МАВР, СПОРА [2] та iн.).
Для опису формулювань задач i знань про ПО в І ВС використуються не мови програмування, а мови опису задач, в яких декларативний компонент значно бiльш розвинений, нiж процедурний (останнього може взагалi не бути).
У даному посiбнику розглядається мова опису задач SITPLAN-2 , яка є подальшим розвитком мови SITPLAN , орiєнтованої на задачi перетворювання ситуацiй в змiшанiй, декларативно-процедурнiй формi подання [3].
Мова SITPLAN має ряд переваг порiвняно з iншими мовами опису задач. Це докладно аналiзуєтся в [4]. Однiєю з найбiльш важливих переваг мови SITPLAN , що зберiгається в SITPLAN-2 , єїї неприв'язанiсть до конкретних стратегiй планування рiшень. На вiдмiну вiд мови SITPLAN запропонована мова мiстить ряд засобiв, якi розширюють можливостi формалiзацiї та формулювань задач планування дiй в проблемних областях, що включають складнi багатокомпонентнi об'єкти, а також задач в умовах невизначеностi та часових обмежень.
Для опису знань про проблемну область у мовiSITPLAN-2 використуються такi конструкцiї:
· базовi поняття та вiдношення;
· складовi поняття та вiдношення, що подаються конструкцiями типу фреймiв;
· в'язки продукцiйних правил, що називаються операторами i демонами.
Для опису вихiдних даних i цiлей використовуються простi декларативнi та процедурнi вирази, а також складовi вирази, що дозволяють описувати конструкцiї з кванторами, обмежувачами i типу фреймiв.
Мова SITPLAN-2 є вхiдною мовою системи керування базою знань (СКБЗ ), архiтектура якої приведена на мал. 1 .
Формулювання задачи 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. В зв'язку з цим реалiзацiя СКБЗ здiйснюється на мовiС І в операцiйних системах UNIX , MS-DOS , WINDOWS та iн.
1. Формалiзм синтаксичного опису
Синтаксичнi структури мови беруться у хвилястi дужки { } .
Застосування квадратних дужок [ ] означає, що замкнена в них конструкцiя або набiр альтернатив може бути вiдсутньою. Альтернативнi визначення записуються окремими рядками або роздiляються вертикальними рисочками i беруться в дужки ( { } чи [ ] ).
Три крапки пiсля символу або конструкцiї означають його (або її) повторення не менш одного разу.
Символ “: ” використовується замiсть “дорiвнює по визначенню”, “_ ” означає “пропуск”. У текстах на мов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й.
2. Елементарнi конструкцi мови
Синтаксис
слово: { лiтера } ...
службове слово: { велика видiлена лiтера } ...
iдентифiкатор: слово лiтера
цифра
змiнна: Х { цифра } ...
Семантика
Числа, слова, змiннi та iншiiдентиф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в.
--> ЧИТАТЬ ПОЛНОСТЬЮ <--