|
|
Wstęp, i
0.1 O czym jest książka?, i
0.2 Czym jest programowanie w logice z ograniczeniami?, ii
0.3 Programowanie w logice z ograniczeniami a sztuczna inteligencja, v
0.4 Programowanie w logice z ograniczeniami a inżynieria wiedzy, vii
0.5 Programowanie w logice z ograniczeniami a badania operacyjne,viii
0.6 Jak książka powstała?, ix
0.7 Co książka zawiera?, ix
0.8 Jak korzystać z książki?, xiii
0.9 Pewna niedogodność ECLiPSe'a, xvi
0.10 Podziękowania, xviii
1 Na początku był Prolog, 1
1.1 Elementy Prologu, 1
1.2 Konfigurowanie systemu 3-elementowego, 8
1.2.1 Konfigurowanie metodą przeglądu zupełnego, 9
1.2.2 Konfigurowanie metodą poszukiwań w głąb ze standardowymi nawrotami, 9
1.2.3 Konfigurowanie optymalne, 15
1.3 Golfiści, 18
1.4 Trzy kule, 21
1.5 Kto zabił?, 24
1.6 Hetmani - przegląd zupełny, 26
1.7 Hetmani - poszukiwania w głąb ze standardowymi nawrotami, 28
1.8 Egzamin - poszukiwania w głąb ze standardowymi nawrotami, 31
1.9 Błędne koła w Prologu, 36
1.10 Jak zostać swym własnym dziadkiem?, 37
1.11 Labirynt, 39
1.12 Pole minowe, 42
1.13 Chłop-wilk-koza-kapusta, 46
1.14 Misjonarze i kanibale, 49
1.15 Wieże z Hanoi, 54
1.16 Przelewanie, 57
2 CLP z ograniczeniami elementarnymi dla rozwiązań dopuszczalnych,{63
2.1 Ograniczenia elementarne i dziedziny zmiennych, 63
2.2 Czym różnią się języki CLP od Prologu?, 63
2.2.1 Problem n hetmanów w CLP, 64
2.2.2 Poszukiwania i propagacja metodą Forward Checking, 65
2.2.3 Poszukiwania i propagacja metodą Looking Ahead + Forward Checking, 68
2.3 Heurystyki poszukiwań, 69
2.4 Techniki zgodnościowe, 72
2.5 Propagacja ograniczeń z porażką, 73
2.6 Propagacja ograniczeń dająca rozwiązanie, 76
2.7 Kto był z kim? - propagacja, 81
2.8 Studenci i języki - propagacja, 83
2.9 Propagacja z poszukiwaniami: trzy równania w liczbach całkowitych,89
2.10 Golfiści ponownie, 91
2.11 Wartownicy - poszukiwania i propagacja, 93
2.12 Egzamin - poszukiwania i propagacja, 94
2.13 Hetmani - poszukiwania i propagacja, 96
2.14 Konfigurowanie - poszukiwania i propagacja, 97
2.15 Tajni Współpracownicy i Opozycyjni Etosowcy, 99
3.1 Deklaracje modu, 103
3.2 Ograniczenie 'alldifferent(?Lista)', 104
3.3 Ograniczenie 'element(?Indeks,++Lista,?Wartość', 106
3.4 Send More Money, 106
3.5 Kto był z kim?, 107
3.6 Golfiści raz jeszcze, 110
3.7 Trzy kule raz jeszcze, 113
3.8 Hetmani, 116
3.9 Pięć sal, 117
3.10 Dziesięć sal, 120
3.11 Wszystko dla Wszystkich, 126
3.12 Siedem maszyn - siedem operacji, 131
3.13 Trzy maszyny - trzy z pięciu operacji, 134
3.14 Trzy maszyny - pięć operacji, 135
3.15 Obsługa danych, 138
3.15.1 Struktury i tablice, 138
3.15.2 Rekurencje a iteracje, 141
3.16 Iloczyn skalarny, 147
3.17 Hetmani ponownie, 148
3.18 Sudoku, 149
3.19 Hetmani raz jeszcze, 152
4 CLP z ograniczeniami elementarnymi dla rozwiązań optymalnych, 153
4.1 Uwagi ogólne, 153
4.2 Udoskonalony Branch and Bound , 154
4.2.1 Optymalne ustawienie hetmanów - standardowy Branch and Bound, 155
4.2.2 Optymalne ustawienie hetmanów - Branch and Bound + Forward Checking, 156
4.2.3 Optymalne ustawienie hetmanów - Branch and Bound + Looking Ahead + Forward Checking, 157
4.3 Podstawowe predykaty, 158
4.3.1 Predykat 'bb min()', 158
4.3.2 Predykat 'search()', 160
4.4 Konfiguracja optymalna, 162
4.5 Optymalizacja obcią\. zenia siedmiu maszyn, 165
4.6 Plan przewozu węgla 1, 168
4.7 Plan przewozu węgla 2, 171
4.8 Plan przewozu węgla 3, 173
4.9 Kolorowanie map, 176
4.10 Problem plecakowy 1, 177
4.11 Urzeczowione ograniczenia, 180
4.12 Ograniczenia dla zbiorów, 181
4.13 Problem plecakowy 2, 185
4.14 Hurtownie i klienci - 1, 186
4.15 Hurtownie i klienci - 2, 191
4.16 Elementarne harmonogramowanie, 194
4.16.1 Ograniczenia zasobowe - załoga, 195
4.16.2 Blaski i nędza optymalizacji, 199
4.16.3 Ograniczenia kolejnośsciowe - budujemy dom, 202
4.16.4 Ograniczenia dyzjunktywne - ograniczone zasoby, 206
4.17 Optymalizacja a sprzeczność ograniczeń - fotografia, 209
4.18 Powołujemy komisję parlamentarną, 213
4.19 Walczymy o równomierne udeszczowienie, 216
4.20 Jak ciąć optymalnie?, 220
4.21 Send Most Money, 222
5 CLP z ograniczeniami globalnymi dla rozwiązań optymalnych, 225
5.1 Ograniczenie 'cumulative(+CzasyStartu, +CzasyTrwania,+Resursy,++Limit)', 225
5.2 Kumulatywne harmonogramowanie 1, 227
5.3 Kumulatywne harmonogramowanie 2, 228
5.4 Ograniczenie 'disjunctive(+CzasyStartu, +CzasyTrwania)', 230
5.5 Dyzjunktywne harmonogramowanie 1, 231
5.6 Czytamy gazety 1, 232
5.7 Czytamy gazety 2, 238
5.8 Czytamy gazety 3, 242
5.9 Montujemy rowery, 247
5.10 Rozładowujemy i załadowujemy statek, 262
5.11 Przykład bardzo trudny - benchmark MT10, 269
6 CLP dla zmiennych ciągłych, 287
6.1 Przekleństwo i błogosławieństwo procentu składanego, 288
6.1.1 Na emeryturę jako milioner - 1, 289
6.1.2 Na emeryturę jako milioner - 2, 290
6.1.3 Ach te kredyty hipoteczne!, 292
6.2 Hurtownie - dostawcy, 293
6.3 Mieszamy oleje, 297
6.4 Jak zarobić i się nie narobić?, 299