A Methodology to Validate Interactive Storytelling Scenarios in Linear Logic
Texte intégral
Documents relatifs
Then we give the example on the educational game that shows the possibility of validating a scenario of a story, by using the proof graph of a Linear Logic sequent.. Lastly,
After modeling the story thanks to the editor of scenario (and validating the generated scenario if necessary), from the received result (four XML files representing
Keywords: Video game, Linear Logic, Interactive Storytelling, scenario validation, game controller, situation-based scenario.. 1
We propose a general modal extension of intuitionistic linear logic where logical truth is indexed by constraints and hybrid connectives combine constraint reasoning with
A similar situation is found in the plurivaluationistic semantics for other vague predicates besides our example of tall: typically, the class of admissible fuzzy models P can
The logic of provability has its origin in an article published by Kurt G¨odel in 1933, where there is a provability of the Intuitionistic Propositional Logic of LEJ Brouwer
counterfactual logics, some external calculi have been proposed in [10] which presents modular labeled calculi for preferential logic PCL and its extensions, this family in- cludes
tion relating two attributes, each row or column represents information about an individual value, and each cell is taken to represent whether there is some object which has as