Title :
Logical formalization and reasoning for computerized interactive storytelling
Author :
Jantke, Klaus P.
Author_Institution :
Children´´s Media Dept., Fraunhofer IDMT, Erfurt, Germany
Abstract :
Digital games and technology enhanced learning overlap in the field of game-based learning. In this field, interactive digital storytelling is deemed important due to the known impact of stories on human emotion and memory. Storytelling appears somehow artistic. There is investigated the role of computational logics for digital storytelling arriving at the insight that classical first order predicate calculus yields useful results.
Keywords :
computer aided instruction; computer games; inference mechanisms; interactive systems; computerized interactive digital storytelling; digital games; game based learning; human emotion; human memory; logical formalization; logical reasoning; technology enhanced learning; digital storytelling; logical reasoning; patterns;
Conference_Titel :
Progress in Informatics and Computing (PIC), 2010 IEEE International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4244-6788-4
DOI :
10.1109/PIC.2010.5687910
