ACL RD-TEC 1.0 Summarization of P83-1008
Paper Title:
USING X-CALCULUS TO REPRESENT MEANINGS IN LOGIC GRAMMARS
USING X-CALCULUS TO REPRESENT MEANINGS IN LOGIC GRAMMARS
Primarily assigned technology terms:
- algorithm
- augmented transition network
- encoding
- exhaustive search
- inferencing
- lambda abstraction
- language processing
- logic programming
- matching
- meaning representation
- natural language processing
- parsing
- processing
- programming language
- prolog
- prolog program
- search
- translation system
- unification
- unification procedure
Other assigned terms:
- approach
- case
- conceptual dependency
- data structures
- declarative sentence
- deduction
- definite clause grammars
- dependency structures
- encoding scheme
- english sentence
- english text
- fact
- first-order logic
- first-order model
- formal language
- grammar
- grammar rule
- grammars
- implementation
- input string
- intensional logic
- interpretation
- interpreter
- lambda
- logic
- logic programming language
- logical form
- mapping
- meaning
- meaning representation language
- meaning structure
- meaning-representation language
- meanings
- methodology
- model theory
- montague grammar
- natural language
- nonterminal
- noun phrase
- paragraphs
- phrase
- phrase meaning
- predicate argument
- predicates
- procedure
- process
- prolog implementation
- quantifier
- representation language
- representations
- semantic
- semantic grammar
- semantic interpretation
- semantic representation
- sentence
- sentence meaning
- sentences
- symbol
- symbols
- syntactic rule
- syntactic rules
- syntax
- syntax tree
- term
- terms
- text
- theory
- transition network
- tree
- truth-value
- turing machine
- typed l-calculus
- verb
- verb phrase
- well-formed formula
- word
- words
- world model
