Put My Galakmid Coin into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game

Authors:
Alexander Koller;Ralph Debusmann;Malte Gabsdil;Kristina Striegnitz
Affiliations:
Department of Computational Linguistics, Saarland University, P.O. Box 151150, D-66041 Saarbrücken, Germany. E-mail: koller@coli.uni-sb.de;Programming Systems Lab, Saarland University, Saarbrücken, Germany. E-mail: rade@ps.uni-sb.de;Department of Computational Linguistics, Saarland University, P.O. Box 151150, D-66041 Saarbrücken, Germany. E-mail: gabsdil@coli.uni-sb.de;Department of Computational Linguistics, Saarland University, P.O. Box 151150, D-66041 Saarbrücken, Germany. E-mail: kris@coli.uni-sb.de
Venue:
Journal of Logic, Language and Information
Year:
2004

Citing 7
Cited 2

RACER System Description

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Generating referring expressions involving relations

EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
Never look back: an alternative to centering

COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 2
Natural language and inference in a computer game

COLING '02 Proceedings of the 19th international conference on Computational linguistics - Volume 1
Topological dependency trees: a constraint-based account of linear precedence

ACL '01 Proceedings of the 39th Annual Meeting on Association for Computational Linguistics
Generation as dependency parsing

ACL '02 Proceedings of the 40th Annual Meeting on Association for Computational Linguistics
The complexity of reasoning with cardinality restrictions and nominals in expressive description logics

Journal of Artificial Intelligence Research

Frolog: an accommodating text-adventure game

EACL '09 Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics: Demonstrations Session
A natural language interface for a 2D networked game

HCI'07 Proceedings of the 12th international conference on Human-computer interaction: applications and services

Quantified Score

Hi-index	0.00

Visualization

Abstract

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