Put my galakmid Coin into the dispenser and kick it: Computational linguistics and theorem proving in a computer game [Book Review]


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.
Keywords dependency grammar  description logic  generation  parsing  reference resolution  text adventures  theorem provers
Categories (categorize this paper)
DOI 10.1023/B:JLLI.0000024734.80591.30
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,545
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
52 ( #167,259 of 2,280,496 )

Recent downloads (6 months)
3 ( #405,671 of 2,280,496 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature