| Summary: | For the problem of producing pedagogical step-by-step solutions to mathematical problems in education, standard methods and algorithms used in construction of computer algebra systems are often not suitable. A method of using rules to manipulate mathematical expressions in small steps is suggested and implemented. The problem of creating a step-by-step solution by choosing which rule to apply and when to do it is redefined as a graph search problem and variations of the A* algorithm are used to solve it. It is all put together into one prototype solver that was evaluated in a study. The study was a questionnaire distributed among high school students. The results showed that while the solutions were not as good as human-made ones, they were competent. Further improvements of the method are suggested that would probably lead to better solutions. === För problemet att producera pedagogiska steg-för-steg-lösningar till matematiska problem inom utbildning, är vanliga metoder och algoritmer som används i konstruktion av datoralgebrasystem ofta inte lämpliga. En metod som använder regler för att manipulera matematiska uttryck i små steg föreslås och implementeras. Problemet att välja vilka regler som ska appliceras och när de ska göra det för att skapa en steg-för-steg-lösning omdefineras som ett grafsökningsproblem och varianter av algoritmen A* används för att lösa det. Allt sätts ihop till en prototyp av en lösare vilken utvärderas i en studie. Studien var ett frågeformulär som delades ut till gymnasiestudenter. Resultaten visade att även fast lösningar skapade av programmet inte var lika bra som lösningar skapade av människor, så var de anständiga. Fortsatta föbättringar av metoden föreslås, vilka troligtvis skulle leda till bättre lösningar.
|
|---|
