ACL RD-TEC 1.0 Summarization of P86-1037
Paper Title:
SOME USES OF HIGHER-ORDER LOGIC IN COMPUTATIONAL LINGUISTICS
SOME USES OF HIGHER-ORDER LOGIC IN COMPUTATIONAL LINGUISTICS
Authors: Dale A. Miller and Gopalan Nadathur
Primarily assigned technology terms:
- binding
- computational linguistics
- decomposition
- encoding
- exhaustive search
- functional programming
- functional programming language
- higher-order unification
- illustration
- knowledge representation
- language understanding
- language understanding system
- listing
- logic programming
- natural language understanding
- natural language understanding system
- parser
- parsing
- processing
- programming language
- prolog
- quantification
- reading
- reasoning
- search
- searching
- semantic processing
- theorem prover
- theorem proving
- unification
Other assigned terms:
- abbreviation
- approach
- axioms
- binary relation
- case
- compositional semantics
- computational framework
- definite clause grammar
- definite description
- device
- existential quantification
- fact
- first-order logic
- formalisms
- grammar
- grammar rules
- grammars
- implementation
- inferences
- intensional logic
- intention
- interpreter
- invocation
- knowledge
- lambda
- linguistic
- linguistics
- lisp
- logic
- logic programming language
- logical form
- logical forms
- logical structure
- mapping
- maps
- mathematics
- meaning
- meanings
- mechanisms
- montague grammars
- natural language
- noun phrase
- parse
- parsing process
- phrase
- polymorphism
- predicate argument
- predicates
- procedure
- process
- pronoun
- proposition
- propositions
- quantifier
- query
- relation
- semantic
- sentence
- sentences
- symbol
- symbols
- syntactic features
- syntactic structure
- syntax
- term
- terms
- theorem
- theory
- tokens
- understanding
- universal quantification
- verb
- verb phrase
- words
