Ceptre: A Language for Modeling Generative Interactive Systems

Authors

  • Chris Martens Carnegie Mellon University

DOI:

https://doi.org/10.1609/aiide.v11i1.12784

Abstract

We present a rule specification language called Ceptre,intended to enable rapid prototyping for experimental game mechanics, especially in domains that depend on procedural generation and multi-agent simulation. Ceptre can be viewed as an explication of a new methodology for understanding games based on linear logic, a formal logic concerned with resource usage. We present a correspondence between gameplay and proof search in linear logic, building on prior work on generating narratives. In Ceptre, we introduce the ability to add interactivity selectively into a generative model, enabling inspection of intermediate states for debugging and exploration as well as a means of play. We claim that this methodology can support game designers and researchers in designing, anaylzing, and debugging the core systems of their work in generative, multi-agent gameplay. To support this claim, we provide two case studies implemented in Ceptre, one from interactive narrative and one from a strategy-like domain.

Downloads

Published

2021-06-24

How to Cite

Martens, C. (2021). Ceptre: A Language for Modeling Generative Interactive Systems. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 11(1), 51-57. https://doi.org/10.1609/aiide.v11i1.12784