Design Smart Games with requirements, generate them with a Click, and revise them with a GUIs

TERENCE is an FP7 ICT European project that is developing an adaptive learning system for supporting poor comprehenders and their educators. Its learning material are books of stories and games. The games are specialised into smart games, which stimulate inference-making for story comprehension, and relaxing games, which stimulate visual perception and not story comprehension. The paper focuses on smart games. It first describes the TERENCE system architecture, thus delves into the design of smart games starting from the requirements and their automated generation, by highlighting the role of the reasoning module therein. Finally, it outlines the manual revision of the generated smart games, and ends with short conclusions about the planned improvements on the automated generation process.