A game-based animation tool to support the teaching of formal reasoning


Resumo:

 When teaching formal reasoning in Computer Science it is challenging
 to find compelling practical examples to motivate the students. We
 introduce a system to provide students with animations in 3D virtual
 environments of the interactions of agents, in which the interaction
 protocols and the behavior of the agents are specified as logical
 theories. The system has been primarily designed as a teaching aid for
 undergraduate students enrolled in disciplines such as Artificial
 Intelligence and Formal Logics. A simulation of the pathfinding
 problem will be demonstrated during the presentation.