Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
Character-Based Interactive Storytelling
IEEE Intelligent Systems
Weak, strong, and strong cyclic planning via symbolic model checking
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
An Intent-Driven Planner for Multi-Agent Story Generation
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
A logic-based tool for interactive generation and dramatization of stories
Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology
Planning in nondeterministic domains under partial observability via symbolic model checking
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Nondeterministic planning for generating interactive plots
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Verification of temporal constraints in continuous time on nondeterministic stories
ICEC'11 Proceedings of the 10th international conference on Entertainment Computing
Hi-index | 0.00 |
This paper presents a new model to control the dramatization of interactive stories, which are dynamically generated and presented in a 3D animation format. This new model gives the possibility of variation in the representation of stories and allows some interference of the user over the story throughout the play, while assuring coherence and a smooth flow of the narrative. Moreover, the model guarantees that the events finish in the expected way and at the right time. The model is based on the representation of events by nondeterministic automata, which gives some autonomy to the actors in their micro-actions. In order to control the dramatization, policies are generated using an automated planning technique based on model checking. To validate the model, a prototype has been implemented to be incorporated into the interactive storytelling system Logtell