Методитасистеми штучногоінтелекту -...

1

Методита системиштучного інтелекту

Лекція 3. Розв’язання проблем задопомогою пошуку

2

Зміст

• Агенти, що розв’язують задачі

• Формулювання проблем

• Приклади проблем

• Базові алгоритми пошуку

• Пошук з частковою інформацією

3

Агенти, що розв’язують задачі

• Агенти визначають, що робити, знаходячипослідовності дій, які приводять до бажаних станів

• Цілі дозволяють організувати поведінку, обмежуючивибір проміжних етапів, які намагається виконатиагент

• Першим кроком є формулювання цілі за умовпоточної ситуації та показників продуктивності агента

• Ціль – це множина станів світу, в яких досягається цяціль

• Формулювання задачі представляє процесвизначення того, які дії та стани слід розглядати зурахуванням певної цілі

4


• Процес пошуку – це визначення найкращоїпослідовності дій, серед таких послідовностей, щоведуть від початкового до цільового стану– Будь-який алгоритм пошуку на вхід приймає деяку задачу таповертає розв’язок у формі послідовності дій

• Після пошуку йде стадія виконання дій, що булирекомендовані алгоритмом

• Загальна схема:– Сформулювати проблему

– Знайти розв’язок

– Виконати дії

5


6

Приклад: Україна

• На вихідних у Карпатах• Потрібно завтра бути в Києві• Ціль:

– Знаходитись в Києві

• Проблема:– Стани: різні міста– Дії: подорож між містами

• Пошук рішення:– Послідовність міст, наприклад: Івано-Франківськ, Тернопіль, Дубно, Рівне, Житомир, Київ

7


7


Ужгород

Львов

ЛуцкРовно

Черновцы

Ивано-Франковск

ТернопольХмельницкий

Житомир

Винница

Киев

ЧерниговСумы

Черкассы

Кировоград

Одесса

Николаев

Херсон

Симферополь

Днепропетровск

Запорожье

Донецк

Полтава

Харьков

Луганск

7


8

Формулювання проблем

• Початковий стан– В Івано-Франківську, In(Ів.-Фр.)

• Функція визначення наступника– S(x) = множина пар “дія-стан”– S(Ів.-Фр.) = {[Go(Львів),In(Львів)],

[Go(Тернопіль),In(Тернопіль)], [Go(Чернівці),In(Чернівці)]}

• Початковий стан разом із функцією визначення наступниканеявно задають простір станів задачі – множину всіх станів, якіможна досягнути з початкового стану– Простір станів утворює граф, в якому вузли – окремі стани задачі, дуги – дії, що призводять до переводу задачі з одного стану в інший

– Шляхом в просторі станів є послідовність станів, які з’єднаніпослідовністю дій

9

Формулювання проблем

• Перевірка цілі– Явна перевірка, x=“In(Київ)”

– Неявна перевірка, NoDirt(x)

• Вартість шляху– Сума відстаней, кількість виконаних дій, тощо

– c(x,a,y) – вартість етапу для переходу з x в y за допомогою дії a, c(x,a,y)≥0

• Рішення – це шлях від початкового стану до цільового стану. Якість рішення вимірюється функцією вартості шляху.

• Оптимальне рішення має найменшу вартість

10

Вибір простору станів

• Реальний світ є надскладним → повинновикористовуватись абстрагування длярозв’язання проблеми

• (Абстрактний) Стан = множина реальнихстанів

• (Абстрактна) Дія = комплексна комбінаціяреальних дій

• (Абстрактне) Рішення = множина реальнихшляхів, які є розв’язками у реальному світі

• Будь-яка абстрактна дія повинна бути“легшою” ніж реальна

11

Приклад: граф простору станівдля світу пилососу

• Стани:• Початковий стан:• Дії:• Перевірка цілі:• Вартість шляху:

положення та наявність сміттябудь-який стан

Left, Right, Suck, NoOpчи є чистими всі квадрати

1 за кожну дію (0 за NoOp)

12

Приклад: задача гри в 8 (8-puzzle)

• Стани:• Початковий стан:• Дії:• Перевірка цілі:• Вартість шляху:

комбінація положень фішокбудь-який стан (для якого існує розв’язок)

Left, Right, Up, Downспівпадає поточний стан з цільовою конфігурацією?

1 за кожний крок

13

Приклад: задача гри в 8 (8-puzzle)

• Пошук оптимального розв’язку - NP-повна задача• 8-puzzle: 9!/2 = 181 440 станів• 15-puzzle: ~1,3x1012 станів• 24-puzzle: ~1025 станів

14

Приклад: 8 ферзів

• Стани:• Початковий стан:• Дії:• Перевірка цілі:

На дошці присутні всі вісім ферзів

Будь-який станПереставити одного ферзя на вільну клітину

Жоден ферзь не є атакованим

Формулювання повних станів

15


• Стани:• Початковий стан:• Дії:• Перевірка цілі:• Кількість послідовностей: 64х63х…х57~3х1014

Будь-яке розташування ферзів на дошці в кількості від 0 до 8Відсутність ферзів на дошці

Встановити ферзя на будь-яку порожню клітинуНа дошці 8 ферзів і жоден не є атакованим

Інкрементне формулювання

16


• Стани:

• Дії:

• Кількість станів: 2057

Будь-яке розташування ферзів на дошці в кількості від 0 до 8Кожний ферзь на окремій вертикалі і не атакує попереднього

Встановити ферзя на будь-яку порожню клітину у першій вільнійсправа вертикалі так, щоб він не атакувався іншими ферзями

Покращення інкрементного формулювання

17

Приклад: роботизоване збирання деталей

• Стани:

• Дії:• Перевірка цілі:• Вартість шляху:

дійсні значення координат кутів маніпуляторудеталі об’єкту, який необхідно зібрати

безперервні рухи частин роботузібраний об’єкт без наявності роботувикористаний час

18

Алгоритми пошуку в дереві

• Ідея: – симулювати дослідження простору станів “із закритимиочима”

– шляхом генерування спадкових (наступних) станів для вжедосліджених станів

20

Приклад пошуку в дереві

19


21


22

Реалізація: стани та вузли• Стан – це представлення фізичної конфігурації світу• Вузол – структура даних, яка відображає частину дерева пошуку• Вузол включає:

– State – стан у просторі станів– Parent-node – батьківський вузол, який використовувався длястворення поточного

– Action – дія, яка була застосована до батьківського вузла– Path-Cost – вартість шляху (від початкового стану до поточноговузла) g(x)

– Depth – кількість етапів шляху від початкового стану

23

Реалізація: стани та вузли• Під час пошуку будується дерево пошуку. Його вузлами – єстани задачі, корінь – початковий стан.

• В кожний момент часу розглядається деякий вузол дерева, щовідповідає поточному стану. Під час розгортання поточногостану-вузла до дерева додаються вузли, які відповідаютьстанам, що згенеровані функцією визначення наступника

• Порядок, в якому розгортаються стани, визначається стратегієюпошуку– Колекція вузлів, які були сформовані, але ще не розгорнуті, називається периферією – множина листових вузлів

24

Реалізація: загальний пошук в дереві

25

Пошукові стратегії

• Стратегії характеризуються наступними параметрами:– Повнота – чи завжди буде знайдено рішення, якщо воно існує?

– Оптимальність – чи завжди знаходиться оптимальне рішення?– Часова складність – за який час алгоритм знаходить розв’язок?

– Просторова складність - який об’єм пам’яті потрібен для виконанняпошуку?

• Часова та просторова складність вимірюються в термінах:– b – максимальний фактор розгалуження у дереві

– d – глибина найбільш поверхневого цільового вузла

– m – максимальна довжина будь-якого шляху у просторі станів

26

Неінформативні стратегії пошуку

• Неінформативні стратегії використовують тількиінформацію з визначання проблеми (тобто нероблять жодних додаткових припущень)– Пошук вшир

– Пошук за критерієм вартості

– Пошук вглиб

– Пошук з обмеженням глибини

– Пошук вглиб з ітеративним заглибленням

27

Пошук вшир

• Периферія – FIFO черга

28

Пошук вшир


29

Пошук вшир


30

Пошук вшир


31

Пошук вшир

• Властивості– Повний?– Час?– Простір?– Оптимальний?

Так, якщо b скінченне

1 + b + b2 + … + bd + b(bd-1) = O(bd+1)O(bd+1) (зберігає всі вузли у пам’яті)

Так, якщо вартість етапу додатна

32

Пошук вшир

• b = 10• швидкість формування вузлів – 10 000 вузлів/секунда

• об’єм пам’яті – 1Кб/вузол

33

Пошук за критерієм вартості

• Периферія – черга, впорядкована за вартістюшляхів– Еквівалентний пошуку вшир, якщо вартості етапіврівні

• Властивості– Повний? Так, якщо вартість ≥ε– Час? O(b[C /ε]), де C – вартість оптимальногорішення

– Простір? O(b[C /ε])– Оптимальний? Так – вузли розкриваються іззбільшенням g(n)

34

Пошук вглиб

• Периферія – LIFO черга

35



36



37



38



39



40



41



42



43



44



45



46


• Властивості– Повний?

– Час?

– Простір?– Оптимальний?

Ні: потрапляє до нескінченних просторів,просторів із циклами

O(bm), дуже погано при m>>dЯкщо рішення розташовані щільно, то працюєнабагато швидше пошуку вшир

O(bm) – лінійний простір!Ні

47

Пошук з обмеженням глибини

• = пошук вглиб з обмеженням глибини lтобто вузли на глибині l не мають нащадків

• Властивості– Повний? Ні, якщо l <d

– Час? O(bl )– Простір? O(bl )– Оптимальний? Ні, якщо l >d

48

Пошук вглиб з ітеративнимзаглибленням

49

Пошук вглиб з ітеративнимзаглибленням, l =0

50


51


52


53

Пошук вглиб з ітеративнимзаглибленням

• Властивості– Повний?– Час?– Простір?– Оптимальний?

• Порівняння для b=10 та d=5, рішення знаходиться удальньому правому листкуN(IDS) = 50 + 400 + 3000 + 20000 + 100000 = 123 450N(BFS) = 10 + 100 + 1000 + 10000 + 100000 + 999990 = 1 111 100

Так

(d+1)b0 + db1 + (d-1)b2 + … + bd = O(bd)O(bd)

Так, якщо вартість етапу = 1

54

Порівняння алгоритмів

55

Повторювальні стани

• Неможливість алгоритму визначати повторювальністани може перетворити лінійну задачу уекспоненціальну

• Алгоритми, які забувають свою історію, приречені нате, щоб її повторювати!!

56

Пошук в графі• Якщо алгоритм запам’ятовує всі стани, які вінвідвідав, то він може розглядатись як такий, щобезпосередньо досліджує граф простору станів

57

Пошук з частковою інформацією

• Простір детермінований, спостерігається повністю– Агент повністю знає, в який стан він перейде

• Проблема відсутності сенсорів → проблема сумісності– Агент може не знати де він

• Недетерміновані та/або спостерігаються частково →проблема непередбачуваних ситуацій– Сприйняття кожного разу надає нову інформацію пропоточний стан

• Стан та дії невідомі → проблема дослідження

58

Приклад: світ пилососу

• Детермінована проблемапочаток у №5Рішення: [Right, Suck]

• Проблема сумісностіпочаток у {1,2,3,4,5,6,7,8};Right переводить у {2,4,6,8}

59


60


• Детермінована проблемапочаток у №5Рішення: [Right, Suck]

• Проблема сумісностіпочаток у {1,2,3,4,5,6,7,8};Right переводить у {2,4,6,8}Рішення: [Right,Suck,Left,Suck]

• НепередбачуваністьЗакон Мерфі: дія Suck може забруднити чистий килимпочаток у №5Рішення: [Right, if dirt then Suck]

61

Література

Методитасистеми штучногоінтелекту -...

Documents