Verification of temporal constraints in continuous time on nondeterministic stories

Authors:
Eric T. Araujo;Angelo E. M. Ciarlini
Affiliations:
Department of Applied Informatics, UNIRIO, Urca, Rio de Janeiro, Brazil;Department of Applied Informatics, UNIRIO, Urca, Rio de Janeiro, Brazil
Venue:
ICEC'11 Proceedings of the 10th international conference on Entertainment Computing
Year:
2011

Citing 5
Cited 0

Symbolic Model Checking

Symbolic Model Checking
HYTECH: A Model Checker for Hybrid Systems

CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
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
A nondeterministic model for controlling the dramatization of interactive stories

SRMC '08 Proceedings of the 2nd ACM international workshop on Story representation, mechanism and context
Nondeterministic planning for generating interactive plots

IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a language based on temporal logics to specify constraints on nondeterministic stories, generated by interactive storytelling systems, taking into account that time is continuous and branched. These constraints are checked, in real time, during story generation. Constraints to be checked are described by temporal formulas over the properties of the story. To make possible the verification in real time, it is assumed that these properties are piecewise-linear functions. A prototype, using Constraint Logic Programming for the verification of properties, is operational.