Стратегiї планування рiшень, Детальна інформація

= (3)

> 0;

=1.

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

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

Б(бл(отека стратег(й (ВС

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

Визначення 9. Стратег(я (б(бл(отека стратег(й) назива(ться повною, якщо вона забезпечу( р(шення будь-яко( коректно сформульовано( задачи.

Окрем( стратег(( з б(бл(отеки стратег(й системи можуть не задов(льняти умов( повноти, але ц(й вимоз( повинна задов(льняти вся б(бл(отека вц(лому. Для цього вона повинна мати стратег(ю, що забеспечу( переб(р вс(х шлях(в графа ситуац(й. Для формального опису стратег(й з метою (х пор(вняння та класиф(кац(( використуються операторн( схеми за типом операторних схем Ляпунова [4]:

,

- позначення PF-оператора;

- лог(чна умова;

- оператор к(нця р(шення.

Стр(лка позначу( операц(ю передачи керування. На к(нц( стр(лки ставиться цифра. Вона показу( номер оператора, на який переда(ться керування. Так( ж сам( цифри ставляться над в(дпов(дними операторами. PF-оператори, що використуються для опису стратег(й, приведено в табл. 1. Ц( оператори реал(зують стратег(чн( прийоми ор((нтац(( не дек(лька п(дц(лей, на конкретизован( п(дц(л(, на п(дц(л( та ситуац((.

Стратег(чн( прийоми та операторн( схеми для шести тип(в стратег(й приведено в табл. 2. Операторн( схеми конкретних стратег(й утворюються п(сля зам(ни оператор(в-клас(в в схемах конкретними операторами.

Для характеристики р(зних тип(в стратег(й, приведених в табл. 2, визначим критер(( ефективн(ст( стратег(й.

Оц(нка ефективн(ст( стратег(й по в(дношенню до конкретно( задач( може виконуватись за обсягом пошукових граф(в ( часу р(шення.

Для оц(нки ефективн(ст( стратег(й по в(дношенню до класу задач визначим так( критер((:

Ц(ленаправленн(сть р(шення (ЦР):

, (4)

- сумарний обсяг вир(шуючих ГС ( ГП;

- сумарний обсяг ГС ( ГП, побудованих в процес( пошуку шляху р(шення.

Подовження шляху р(шення (ПШР):

, (5)

- довжина одержаного шляху р(шення;

- м(н(мальна довжина шляху р(шення.

Швидк(сть р(шення (ШР):

, (6)

- час р(шення.

Розглянемо характерн( особливост( кожного типу стратег(й, приведених в табл. 2.