Sběr záznamů postupů řešení logických úloh

Mgr. Ondřej Bouda

Bachelor's thesis

Data collection on human puzzle solving

Abstract:

Cílem práce bylo nasbírat data obsahující záznamy řešení logických úloh lidmi a připravit tato data pro následný výzkum. V jazyce JavaScript byly implementovány přehrávače logických úloh Sokoban a Rušná hodinka. Tyto přehrávače byly začleněny do portálu Proso, prostřednictvím kterého hráči zmíněné logické úlohy řeší. Všechny tahy hráčů jsou v průběhu řešení zaznamenávány do databáze včetně času jejich provedení. Součástí webové aplikace jsou kromě přehrávačů úloh i přehledové tabulky zaznamenaných výsledků a generátory stavových prostorů Sokobanu a Rušné hodinky. Celá aplikace byla úspěšně nasazena a během provozu bylo nasbíráno značné množství záznamů obsahujících postupy hráčů. Data úlohy Sokoban byla již využita pro výzkum a porovnání různých metrik obtížnosti této logické úlohy. Díky záznamům řešení Sokobanu byly dokumentovány značné rozdíly obtížnosti i navzájem velmi podobných zadání úloh. Výsledky úlohy Rušná hodinka mají sloužit k potvrzení správnosti metody odhadu obtížnosti úlohy pouze na základě vlastností jejího stavového prostoru. Nasbíraná data mohou být také podkladem pro vytvoření aplikace asistující člověku při řešení logických úloh či pro generování zadání požadované obtížnosti.

Abstract:

The aim of the thesis was to collect data on human problem solving and prepare these data for subsequent research. In particular, logic puzzles Sokoban and Rush Hour were implemented in JavaScript and deployed on the Proso portal, on which players solve these puzzles. All moves, including time, are recorded and saved in a database. In addition to the playing environment, summary tables of collected data and state space generators for Sokoban and Rush Hour are included in the web application. The application was successfully deployed and a large amount of data containing the approaches of players solving Sokoban and Rush Hour was collected. Data gained from the Sokoban puzzle were already used for research and comparison of various difficulty metrics of this puzzle. Based on the Sokoban data, large differences in difficulty of individual Sokoban problems were observed, even though the problems were very similar. The Rush Hour data should support the approach of problem difficulty estimates based on state space of the problem. The collected data may also help in creating an application which would assist human players in solving logic puzzles, or in generating puzzles of a given difficulty level.

Keywords

Sokoban, Rush Hour, Rušná hodinka, logická úloha, human problem solving, stavový prostor, PHP.

Language used: Czech

Date on which the thesis was submitted / produced: 24. 5. 2010

Thesis defence

• Date of defence: 23. 6. 2010
• Supervisor: doc. Mgr. Radek Pelánek, Ph.D.
• Reader: Mgr. Petr Jarušek, Ph.D.

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Informatics / Parallel and Distributed Systems