ACL RD-TEC 1.0 Summarization of J82-1003
Paper Title:
FROM ENGLISH TO LOGIC: CONTEXT-FREE COMPUTATION OF "CONVENTIONAL" LOGICAL TRANSLATION
FROM ENGLISH TO LOGIC: CONTEXT-FREE COMPUTATION OF "CONVENTIONAL" LOGICAL TRANSLATION
Primarily assigned technology terms:
- algorithm
- analyzer
- binding
- bracketing
- computational linguistics
- computing
- context-free parsing
- data base
- decomposition
- direct translation
- disambiguation
- disambiguation process
- indexing
- knowledge representation
- lambda abstraction
- lambda conversion
- language comprehension
- language interpretation
- language understanding
- language understanding system
- linking
- mapping function
- meaning representation
- mechanical inference
- morphological analysis
- morphological analyzer
- natural language comprehension
- natural language interpretation
- natural language understanding
- natural language understanding system
- nominalization
- parser
- parsers
- parsing
- postprocessing
- pragmatic processing
- processing
- processor
- question answering
- question answering systems
- reading
- recursive descent algorithm
- referent determination
- rule-based approach
- semantic analysis
- semantic evaluation
- subcategorization
- topicalization
- translator
- verb subcategorization
- verbalization
- vp formation
Other assigned terms:
- adjective
- affix
- affixes
- ai research
- ambiguity
- approach
- argument position
- association for computational linguistics
- case
- composition
- compound expression
- comprehension
- constituent coordination
- constituent structure
- context-free grammar
- declarative sentence
- deduction
- definite description
- derivation
- determiners
- discipline
- discourse
- discourse context
- discourse model
- distribution
- entailment
- fact
- feature
- first-order logic
- formal semantics
- formal theory
- formalisms
- grammar
- grammar rule
- grammar rules
- grammars
- homomorphism
- hypothesis
- index
- inference rules
- inferences
- intensional logic
- interpretation
- knowledge
- knowledge base
- lambda
- language syntax
- lexeme
- lexemes
- lexical category
- lexical items
- lexicon
- linguistic
- linguistic hypothesis
- linguistic phenomenon
- linguistic theory
- linguistics
- linguists
- lisp
- logic
- logical form
- main clause
- main verb
- mapping
- mappings
- meaning
- meaning representation language
- meanings
- measure
- metaphor
- metarules
- modal logic
- montague grammar
- names
- natural language
- natural language input
- natural language sentences
- natural language syntax
- natural languages
- non-linguistic knowledge
- nouns
- paraphrase
- paraphrases
- parse
- parse tree
- passivization
- phrase
- phrase structure
- phrase structure grammar
- phrase structure grammars
- phrase structure rules
- phrase structure trees
- precision
- predicates
- prepositional phrases
- process
- proposition
- quantifier
- quantifier scope
- relation
- relative clause
- relative clauses
- representation language
- representations
- rule schemata
- scope ambiguity
- selectional restrictions
- semantic
- semantic and pragmatic
- semantic categories
- semantic category
- semantic domain
- semantic rules
- semantic theory
- semantic types
- semantic value
- sentence
- sentence level
- sentence structure
- sentences
- sentential form
- signal
- surface form
- surface structure
- symbol
- symbols
- synonymy
- syntactic categories
- syntactic category
- syntactic composition
- syntactic information
- syntactic relation
- syntactic rule
- syntactic rules
- syntactic structure
- syntactic structures
- syntactic tree
- syntax
- syntax and semantics
- tense\/aspect structure
- term
- terms
- theoretical linguistics
- theories
- theory
- transformational grammars
- transformational theory
- translation component
- translations
- tree
- trees
- unbounded dependencies
- understanding
- utterance
- verb
- word
- words
- world knowledge
