Мова опису задач SITPLAN-2, Детальна інформація

повним описом ц(льово( ситуац((, тобто ус(х об((кт(в, що указан( в опису вих(дно( ситуац((;

описом фрагменту ц(льово( ситуац((, тобто деякою п(дмножиною об((кт(в , що указан( в опису вих(дно( ситуац((.

Для опису ц(льово( ситуа(( використовуються т( ж сам( типи вираз(в, що ( для опису продукц(йних правил.

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

Вирази, що входять до опису ц(льово( ситуац((, можуть м(стити квантори ( обмежувачи.

Приклади

1. Ц(ЛЬ СТАРТ П(СЛЯ 15.00

Н( Х1 ЗНАХОДИТЬСЯ НА ОБ((КТ(_41.

2. Ц(ЛЬ СТАРТ М(Ж 10 11

/ ОСЦИЛОГРАФ НА СТОЛ( А,

ТРИВ 30 ХВИЛ.,

ТУМБЛЕР ЖИВЛЕННЯ ОСЦИЛОГРАФУ УВ(МКНУТО /.

3. Ц(ЛЬ СТАРТ ПЕРЕД 12.00

А НА В; С НА D.

4. Ц(ЛЬ УВЕСЬ Х1:

ВОЛЬТМЕТР Х1 У ШАФ(_1.

5. Ц(ЛЬ ( Х1:

ДЕТАЛЬ Х1 У ЯЩИКУ_3.

6. Ц(ЛЬ ЦИКЛ 5 Х1:

ВОЛЬТМЕТР_Х1 НА СТОЛ(_2.

Опис першо( ц(льово( ситуац(( включа( обмежувач старту (СТАРТ) под((. (нтерпретац(я його така: “На об((кт(_41 в певний пер(од часу (п(сля 15.00) не повинно бути жодного об((кта”.

У приклад( 2 використу(ться обмежувачи старту ( тривалост(. Перший з них показу( на момент старту под(( (м(ж 10.00 ( 11.00), другий визнача( тривал(сть процесу (30 хвилин). Дв( под(( “осцилограф на стол( А” ( “тумблер живлення осцилографу ув(мкуто” повинн( початися в один ( той самий пром(жок часу, але не водночас. Друга под(я повинна початися п(сля першо( ( тривати 30 хвилин. Приклад 3 (люстру( використання п(д час опису ц(льово( ситуац(( обмежувача старту з обов(язковим одночасним початком (до 12.00) двох р(зних под(й (А на В) ( (С на D). Приклад 4 м(стить квантор загалу “УВЕСЬ” ( (нтерпрету(ться таким чином: “Ц(льова ситуац(я вважа(ться досягнутою, якщо вс( вольтметри знаходяться у шаф(_1”. (нтерпретац(я приклада 5, що м(стить квантор (снування, ( така: “В ящику_3 знаходиться хоча б одна деталь_Х1”. Приклад 6 м(стить квантор циклу, у в(дпов(дност( з яким п(ять вольтметр(в повинн( бути на стол(.

П(дсумки

Таким чином, з опису мови SITPLAN-2 виходить, що розширення можливостей формал(зац(( ( формулювань задач у пор(внянн( з мовою SITPLAN досяга(ться за рахунок:

введення конструкц(й типу фрейм(в для опису складних складових об((кт(в ( параметр(в стратег(й;

введення конструкц(й для подання невизначеностей ( часових обмежень в описах продукц(йних правил;

введення зм(нних, квантор(в загалу та (снування; обмежувачив максимуму, м(н(муму ( циклу, визначених на множинах описових вираз(в ( дозволяючих формування моделей складних складових об((кт(в;

введення конструкц(й для подання об((кт(в, що описуються частково-упорядкованими множинами, як( дозволяють задавати мета-значення (елементи стратег(( планування р(шень);

вид(лення набор(в продукц(йних правил, що в(дпов(дають операторам (д(( ( лог(чного виводу) ( демонам (процес(в ( лог(чного виводу), як( дозволяють моделювати як процеси ц(льоспрямованого, так ( випадкового пошуку р(шення;

введення конструкц(й типу (мператив(в, дозволяючих використовачу, з одного боку, виконувати п(дказки в процес( р(шення задач(, моделювати процес перетворення ситуац(( певно( посл(довност( д(й, с другого - поповняти ( вилучати певн( конструкц(( з бази знань в процес( формулювань задач ( опису проблемних областей;