ACL RD-TEC 1.0 Summarization of C02-1113
Paper Title:
NATURAL LANGUAGE AND INFERENCE IN A COMPUTER GAME
NATURAL LANGUAGE AND INFERENCE IN A COMPUTER GAME
Authors: Malte Gabsdil and Alexander Koller and Kristina Striegnitz
Primarily assigned technology terms:
- algorithm
- ambiguity resolution
- computational linguistics
- computing
- consistency checking
- content determination
- database
- dependency parser
- dispenser
- incremental algorithm
- incremental construction
- inference engine
- inference system
- knowledge bases
- knowledge representation
- language processing
- language-processing
- modeling
- monitoring
- parser
- parsing
- processing
- programming language
- quantification
- querying
- ranking
- reading
- reasoning
- reasoning system
- reference generation
- reference resolution
- retrieving
- subsumption checking
- tag-based generation
- theorem prover
Other assigned terms:
- ambiguity
- anaphora
- approach
- axioms
- case
- concept
- concepts
- data structure
- definite description
- dependency grammar
- description logic
- description logics
- discourse
- discourse entities
- discourse information
- discourse model
- fact
- first-order logic
- formalisms
- generation
- generation strategy
- generation system
- grammar
- grammars
- graphical representation
- heuristic
- heuristics
- implementation
- indefinite noun
- indefinite noun phrases
- inference component
- inferences
- intra-sentential anaphora
- knowledge
- knowledge base
- language processing task
- linguistic
- linguistics
- logic
- message
- names
- natural language
- noise
- noun phrases
- ordered list
- pp attachment
- predicates
- pronoun
- pronouns
- queries
- query
- relation
- representations
- sentence
- sentences
- subsumption
- syntactic ambiguity
- taxonomy
- term
- terms
- text
- theorem
- user
- utterance
- world model
