ACL RD-TEC 1.0 Summarization of J93-1008
Paper Title:
THE PROBLEM OF LOGICAL-FORM EQUIVALENCE
THE PROBLEM OF LOGICAL-FORM EQUIVALENCE
Primarily assigned technology terms:
- approximation
- computational linguistics
- computing
- interfaces
- knowledge representation
- language generation
- language generation system
- listing
- logical form representation
- natural language generation
- parsing
- planner
- processing
- reasoning
- search
- searching
- sentence generator
- tactical generation
- terminology
- tree formation
Other assigned terms:
- ambiguity
- approach
- artificial language
- association for computational linguistics
- axioms
- canonical form
- case
- categorial grammar
- combinatory categorial grammar
- composition
- concepts
- convergence
- device
- dialog
- disjunction
- distributivity
- fact
- first-order logic
- functional grammar
- generation
- generation process
- generation system
- grammar
- grammatical knowledge
- intention
- interpretation
- intractability
- knowledge
- knowledge representation language
- language syntax
- linguistic
- linguistics
- linguists
- logic
- logical equivalence
- logical form
- logical form language
- logical forms
- logical representation
- logical-form equivalence problem
- logical-form language
- meaning
- meanings
- measure
- method
- mood
- natural language
- natural language sentences
- natural language syntax
- nominals
- normal form
- opinions
- oracle
- parsing problem
- permutation
- predicates
- presupposition
- priori
- procedure
- process
- proposition
- propositional logic
- quantifier
- query
- relation
- representation language
- representations
- rewrite rules
- search space
- semantic
- semantic information
- semantic networks
- semantic representation
- semantic representation language
- semantic representations
- sentence
- sentence level
- sentences
- sentiment
- spurious ambiguity
- synonymy
- syntactic construction
- syntactic features
- syntactic form
- syntax
- taxonomy
- technology
- term
- terms
- theory
- tree
- utterance
- words