DocumentCode
2078453
Title
Logical formalization and reasoning for computerized interactive storytelling
Author
Jantke, Klaus P.
Author_Institution
Children´´s Media Dept., Fraunhofer IDMT, Erfurt, Germany
Volume
2
fYear
2010
fDate
10-12 Dec. 2010
Firstpage
851
Lastpage
857
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Progress in Informatics and Computing (PIC), 2010 IEEE International Conference on
Conference_Location
Shanghai
Print_ISBN
978-1-4244-6788-4
Type
conf
DOI
10.1109/PIC.2010.5687910
Filename
5687910
Link To Document