- Prelegent(ci)
- Paweł Betliński
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 17 lutego 2012 14:15
- Pokój
-
p. 5820
- Seminarium
- Research Seminar of the Logic Group: Approximate reasoning in data mining
Tematem referatu będzie Sokoban - ciekawa jednoosobowa gra logiczna, łącząca w sobie prostotę i elegancję reguł z potencjalnie dużym i urozmaiconym intelektualnym wyzwaniem. Gra stanowi interesujący materiał badawczy dla sztucznej inteligencji, wziąwszy pod uwagę, że człowiek (w miarę doświadczony gracz) potrafi niezwykle wręcz efektywnie w porównaniu do najlepszych obecnie automatycznych solverów rozwiązywać masę Sokobanowych problemów. Ponad dekadę temu badania pokazały jak bardzo odporny jest Sokoban na klasyczne metody przeszukiwania przestrzeni w celu znalezienia rozwiązania nie korzystające bądź korzystające w znikomym stopniu z wiedzy dziedzinowej. Przewagą człowieka jest to, że myśli abstrakcyjnie, potrafi z łatwością dekomponować pełen problem na szereg charakterystycznych dla tej gry niezależnych podproblemów, a dalej rozkładać poszczególne podproblemy na jeszcze mniejsze podzadania, i tak dalej, w efekcie całą trudność przeszukiwania przestrzeni możliwych stanów zrzucając na rozwiązywanie tych najniżej poziomowych celów.