ACL RD-TEC 1.0 Summarization of E87-1008
Paper Title:
AUTOMATED REASONING ABOUT NATURAL LANGUAGE CORRECTNESS
AUTOMATED REASONING ABOUT NATURAL LANGUAGE CORRECTNESS
Primarily assigned technology terms:
- algorithm
- assisted language learning
- automated reasoning
- data base
- dialog control
- error diagnosis
- exercise generation
- expert system
- forward chaining
- hardware
- inference engine
- inference mechanism
- knowledge representation
- language learning
- language training
- learner
- learning
- listing
- matching
- modelling
- parser
- pattern matcher
- pattern matching
- reading
- reasoning
- search
- sentence generation
- sentence generator
- set comparison
- smoothing
- training system
- unification
- user modelling
- verbalization
Other assigned terms:
- analogy
- approach
- case
- class information
- concepts
- dependency grammar
- determiner
- device
- dialog
- dictionary
- dictionary entries
- fact
- factual information
- factual knowledge
- feature
- feature set
- feature sets
- foreign language
- foreign language training
- formalisms
- frame
- gender agreement
- generation
- generation process
- grammar
- grammatical coverage
- grammatical knowledge
- heuristic
- heuristic rules
- heuristics
- hypothesis
- implementation
- inference path
- inferences
- inflection
- knowledge
- knowledge base
- linguistic
- message
- natural language
- natural language sentence
- natural language sentences
- noun phrase
- phrase
- preposition
- prepositional phrase
- procedure
- process
- relation
- rule set
- search space
- semantic
- semantic features
- sentence
- sentence structure
- sentences
- slot
- statistics
- style
- teaching
- terms
- training
- training examples
- understanding
- user
- why-question
- word
- word class information
- word form
