Semantics and Inferences on Storyboarding ♣
The chapter continues the presentation of the storyboarding method from Chapter 3 emphasising content for further, advanced reading. The main focus of the chapter is on the customisation of the storyboard to preferences, goals and deontic constraints. For this a formalisation of plots on grounds of Kleene algebras with test is used, which is then exploited for customisation using a conditional term rewriting approach. A formal proof of the Church-Rosser property of this rewriting approach is conducted. This is extended to capture the effects of deontic constraints and their compatibility with preferences.
Unable to display preview. Download preview PDF.