Logical formalization and reasoning for computerized interactive storytelling
Klaus P. Jantke · 2010
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.