Recombinable game mechanics for automated design support

摘要: Systems that provide automated game-design support— whether fully game generators, or tools to assist human designers—must be able maintain a representation of design and add remove mechanics support incrementally modifying the game. The system should then reason about designer. For example, it might point out set makes unwinnable; there's only one complex possible way beat game; some room is impossible get to. In addition, same actually playable as Existing representations encode fairly narrow range games, most commonly symmetric board games; these are also difficult extend revise. We propose an architecture based on event calculus, logical designed for reasoning time in elaboration-tolerant way, meaning designs can changed by adding removing sets axioms rather than brittle hard-coded representations. resulting declarative specification formal logic, so critiqued making queries answered through inference. Since specifies game's simulation rules, may executed inference well; if symbols specifying input graphical appropriately mapped devices display, interactive, describe how organize library using this event-calculus framework, simple tile-based game, showing easily modified, debugged, played.