ACL RD-TEC 1.0 Summarization of P89-1033
Paper Title:
PARSING AS NATURAL DEDUCTION
PARSING AS NATURAL DEDUCTION
Primarily assigned technology terms:
- algorithm
- computational linguistics
- deduction approach
- deduction system
- efficient parsing
- functional composition
- grammar writer
- inference process
- instantiation
- lambek calculus
- language processing
- larnbek calculus
- lexical lookup
- natural deduction
- natural language processing
- parser
- parsers
- parsing
- parsing algorithm
- parsing mechanism
- parsing method
- processing
- reading
- search
- syntax tree construction
- theorem prover
- theorem proving
- tree construction
- type raising
- unification
Other assigned terms:
- ambiguity
- ambiguity problem
- approach
- axioms
- case
- categorial grammar
- categorial grammars
- composition
- context-free grammars
- deduction
- derivation
- derivational equivalence
- derivations
- fact
- feature
- feature description
- formalisms
- grammar
- grammar rules
- grammars
- implementation
- inference rule
- inference rules
- knowledge
- leaf
- lemma
- lemmata
- lexemes
- lexical categories
- lexical level
- lexical rules
- lexicon
- linguistic
- linguistics
- logic
- mapping
- method
- names
- natural language
- normal form
- parsing process
- procedure
- process
- projection
- propositions
- representation language
- root node
- search space
- semantic
- semantic representation
- semantic representation language
- sentence
- spurious ambiguity
- style
- subtrees
- syntactic categories
- syntax
- syntax tree
- term
- terms
- theorem
- tree
- trees
- verb
- word
