Riešenie hlavolamov:
Parsovanie:
Riadenie robotov (agentov):
- Markovovský rozhodovací proces (MDP)
- V každom stave je množina možných akcií.
- Ako vybrať takú postupnosť akcií aby sme dosiahli želaný konečný stav?
Rozvrhovanie:
- Ako priradiť študentov do rozvrhových jednotiek tak, aby bola dodržanbá kapacita miestnosti a aby každý mal správne navrhnutý rozvrh?
- Ako priradiť stavebné stroje na stavby tak, aby sa dodržali postupy a termíny?
Príklad na problém rozvrhovania:
Máme A strojov, B stavieb a C dní.
Je daná množina obmedzení:
Pre každú stavbu je potrebná množina strojov A(n)
Niektoré stroje vyžadujú použitie iných strojov.
- napr. pred bagrom je potrebné použiť buldozér.
Naplánujte využitie strojov na ďalší mesiac.
Constraint programming
Programátorská technika na riešenie kombinátorických úloh s obmedzeniami
Finálne riešenie:
Čiastkové riešenie:
i = 1
BACKTRACK(pre stĺpec i)
Ak i == 9 skonči lebo finálne riešenie sme našli.
for n=1 do 8
Umiestni i-tú kráľovnú do n-tého riadka a i-tého stĺpca.
Ak nie je kráľovná ohrozená,
BACKTRACK(i+1)
ak čiastkové riešenie existuje, ukonči.
Inak zdvihni kráľovnú
pokračuj ďalším n
ukonči, čiastkové riešenie neexistuje.