Ludocore: A logical game engine for modeling videogames

Download: PDF, BIPED system, Drillbot 6000.

“Ludocore: A logical game engine for modeling videogames” by Adam M. Smith, Mark J. Nelson, and Michael Mateas. In Proceedings of the 2010 IEEE Symposium on Computational Intelligence and Games, 2010, pp. 91-98.

Abstract

Ludocore is a logical “game engine”, linking game rules as reasoned about by game designers to the formal logic used by automated reasoning tools in AI. A key challenge in designing this bridge is engineering a concise, safe, and flexible representation that is compatible with the semantics of the games that logical models created with our engine intend to represent.

Building on the event calculus, a formalism for reasoning about state and events over time, and a set of common structures and idioms used in modeling games, we present a tool that is capable of generating gameplay traces that illustrate the game's dynamic behavior. It supports incremental modeling of player and non-player entities in the game world, modification of game rules without extensive non-local changes, and exploratory temporal and structural queries. In addition, its logical models can support play as real-time, graphical games with minimal user-interface description.

BibTeX entry:

@inproceedings{Ludocore:CIG10,
   author = {Adam M. Smith and Mark J. Nelson and Michael Mateas},
   title = {Ludocore: A logical game engine for modeling videogames},
   booktitle = {Proceedings of the 2010 IEEE Symposium on Computational
	Intelligence and Games},
   pages = {91--98},
   year = {2010}
}

Back to publications.