Put my galakmid coin into the dispenser and kick it: Computational Linguistics and Theorem Proving in a Computer Game

Alexander Koller, Ralph Debusmann, Malte Gabsdil, and Kristina Striegnitz

Journal of Logic, Language, and Information, 13(2):187-206, 2004.

We combine state-of-the-art techniques from computational linguistics and theorem proving to build an engine for playing text adventures, computer games with which the player interacts purely through natural language. The system employs a parser for dependency grammar and a generation system based on TAG, and has a component for resolving referring expressions. Most of these modules make heavy use of inferences offered by a modern theorem prover for description logic. Our game engine solves some problems inherent in classical text adventures, and is an interesting test case for the interaction between natural language processing and inference.

Download: Download

BibTeX Entry
@article{game-jlac,
	Author = {Alexander Koller and Ralph Debusmann and Malte Gabsdil and Kristina Striegnitz},
	Journal = {Journal of Logic, Language, and Information},
	Number = 2,
	Pages = {187--206},
	Title = {Put my galakmid coin into the dispenser and kick it: Computational Linguistics and Theorem Proving in a Computer Game},
	Volume = 13,
	Year = 2004
}

Back: Publications