ACL RD-TEC 1.0 Summarization of P82-1001
Paper Title:
TRANSLATING ENGLISH INTO LOGICAL FORM
TRANSLATING ENGLISH INTO LOGICAL FORM
Authors: Stanley J. Rosenschein and Stuart M. Shieber
Primarily assigned technology terms:
- analyzer
- artificial intelligence
- boolean combination
- chart parser
- computing
- data base
- deduction system
- dialogue system
- grammar writer
- kernel
- lexical analysis
- lexical analyzer
- parser
- parsing
- parsing system
- processing
- quantification
- quantifier scoping
- question-answering
- question-answering system
- synthesis
- translation process
- translation system
Other assigned terms:
- analogy
- annotation
- annotation process
- annotation rule
- approach
- augmented phrase
- augmented phrase structure
- axioms
- binary relation
- case
- composition
- compositionality
- compositiouality
- computational linguist
- computational linguists
- context-free grammar
- context-free rule
- data structure
- deduction
- denotation
- discipline
- document
- fact
- feature
- first-order logic
- formal semantics
- formalism
- free word order
- grammar
- grammar formalism
- grammar rules
- grammars
- implementation
- intelligence
- interpretation
- interpretation rules
- invocation
- lexical entry
- lexical items
- linguist
- linguists
- logic
- logical expression
- logical form
- logical forms
- mapping
- meaning
- meanings
- modality
- model theory
- modifier
- morpheme
- natural languages
- noun phrase
- parse
- parse tree
- phrase
- phrase structure
- phrase structure grammar
- predicates
- priori
- process
- quantifier
- relation
- relative clause
- schema
- semantic
- semantic features
- semantic specification
- sentence
- sentence level
- sentences
- syntactic properties
- syntactic structure
- syntax
- syntax and semantics
- target language
- technique
- term
- terms
- theory
- transcript
- translation component
- translation rule
- translation rules
- translations
- tree
- trees
- unbounded dependencies
- verb
- word
- word order
- word sequences
- words
