Neinformované metody prohledáván´ı stavového prostoru Michal ...

pÚvodní poznámka o umělé inteligenci
Mějme dva extrémní pˇrípady implementace umělé inteligence podle symbolického funkcionalismu:
siln´y – znalosti jsou reprezentovány pomocí systému predikátové logiky a uvaˇzování je reprezentováno
v´ypočetním modelem dedukce
slab´y – znalosti jsou reprezentovány jako mnoˇzina v´yrok˚u a uvaˇzování je reprezentováno
pomocí souboru if-then pravidel
V obojím pˇrípadě je mnoˇzina nov´ych znalostí (aˇt uˇz vytvoˇren´ych nebo hypotetick´ych) veliká a
je potˇreba ji inteligentně vytváˇret a prohledávat. Strategie prohledávání je součástí modelu
uvaˇzování. Prostor nov´ych znalostí se naz´yvá stavov´y prostor. Pˇri ˇreˇsení problém˚u se skládá
stavov´y prostor z meziˇreˇsení či pomocn´ych hypotéz. Některá meziˇreˇsení jsou klasfikovaná jako
cílová ˇreˇsení.
/Stavov´y prostor