Mesterséges intelligencia 3
Megoldáskereső algoritmusok Probléma modellezése reprezentáció Problémamegoldó algoritmus megoldás
Megoldáskereső algoritmusok komponensei Adatbázis: az állapottér-gráf tárolt része Műveletek: az adatbázis módosításának eszközei operátorokból származtatott műveletek technikai műveletek Vezérlő: a keresés irányítása adatbázis részének kiválasztása művelet kiválasztása és végrehajtása terminálási feltételek vizsgálata
Megoldáskereső algoritmusok osztályozása Visszavonható-e műveletvégzés? Nem módosítható keresők Módosítható keresők Műveletvégzés hatása nem vonható vissza. Egyszerű adatbázis. Műveletvégzés hatása visszavonható. Összetettebb adatbázis. visszalépéses kereső keresőfával kereső
Megoldáskereső algoritmusok osztályozása 2 Mi alapján választ a vezérlő? Szisztematikus keresők Heurisztikus keresők Véletlenszerűen. Valamilyen általános szisztéma alapján (pl. fentről le, balról jobbra). A tárgyköri ismeretek helyet kapnak a döntésnél. Valamilyen becslés felhasználásával.
Nem módosítható keresők Adatbázis: egyetlen állapotból áll (aktuális állapot) Műveletek: operátorok
Nem módosítható keresők Vezérlő: Inicializálás: aktuális állapot ← kezdőállapot Tesztelés: aktuális állapot célállapot-e? Az aktuális állapotra (a) Van-e alkalmazható operátor? Ha nincs ⇒ nem találtunk megoldást Ha van operátor választása (o) o(a) legyen az aktuális állapot Vissza a 2-re
Nem módosítható keresők a tesztelése i inicializálás n a-ra van-e alkalmazható operátor? o(a) ↓ a i n
Nem módosítható keresők Mi alapján választ a vezérlő operátort az aktuális állapothoz? Próba-hiba módszer Hegymászó módszer Véletlenszerűen választ. Azt az operátort, mely a legközelebb visz a (valamelyik) célállapothoz. Szükséges: heurisztika
Hegymászó módszer Heurisztika: az állapot hány élnyire van a legközelebbi célállapothoz? Az aktuális állapotra alkalmazható összes operátort alkalmazzuk. A legkisebb heurisztikája új állapot lesz az aktuális állapot.
Hegymászó módszer
Nem módosítható keresők tulajdonságai Teljesség: Ha van megoldás, azt nem mindig találja meg. Ha nincs megoldás, akkor azt véges állapottér gráf esetén felismeri. Optimalitás: nem garantált az optimális megoldás előállítása.