Generating Game Map Layouts for Formally Specified Nonlinear Narratives

Having a sophisticated and believable narrative that provides players with meaningful choices is an indicator of an enjoyable experience in many game genres. Authoring anddebugging such narratives is a tedious task. Moreover, designing maps that support complex narratives is not a trivial process. Therefore, it is advantageous to provide authors with tools that prevent ambiguity, provide automatic validation, and facilitate procedural map generation. To this end, Ravi is a formal framework for authoring nonlinear narratives. This tool relies on formal narrative modeling and provides infrastructure for automatic assertion checking. However, the previous version of Ravi did not provide any features for map generation. In this paper, we extend Ravi to generate map layouts for formally paper, we extend Ravi to generate map layouts for formally specified narratives. We present a case study to demonstrate how the new features extend the capabilities of Ravi beyond an authoring tool and turn it into a procedural content generation one.

کلیدواژه ها:

nonlinear narratives ، map generation ، formal specification ، procedural content generation