ACL RD-TEC 1.0 Summarization of C69-2901
Paper Title:
TOWARDS A COMPUTATIONAL FORMALIZATION OF NATURAL LANGUAGE SEMANTICS
TOWARDS A COMPUTATIONAL FORMALIZATION OF NATURAL LANGUAGE SEMANTICS
Primarily assigned technology terms:
- artificial intelligence
- boolean combination
- categorization
- computational linguistics
- computer-assisted instruction
- computing
- data base
- data management
- decoding
- disambiguation
- discourse structure recognition
- encoding
- error correction
- first-order predicate calculus
- functional composition
- heuristic search
- identification
- information processing
- information retrieval
- information retrieval systems
- information storage
- information storage and retrieval
- language processing
- logical analysis
- machine translation
- mechanical translation
- modeling
- parsing
- pattern-recognition
- problem solving
- processing
- programming language
- programming system
- quantification
- question answering
- recognition
- retrieval systems
- retrieving
- search
- searching
- semantic analysis
- semantic information processing
- semantic translation
- structure recognition
- syntactic categorization
- syntactic error correction
- theorem proving
- translation systems
- translator
- unification
- validation
Other assigned terms:
- ambiguity
- analogy
- approach
- axioms
- canonical form
- case
- case structure
- co-occurrence
- cognitive
- composition
- computer program
- concepts
- decidability
- determiners
- dictionary
- discourse
- discourse context
- discourse structure
- entailment
- evaluations
- events
- expository text
- fact
- formal logic
- formal structure
- formal theory
- formalization
- game playing
- generation
- grammar
- grammars
- grammatical agreement
- heuristic
- human thinking
- hypotheses
- implementation
- intelligence
- intensional isomorphism
- interpretation
- interpretation rules
- intonation
- knowledge
- language discourse
- language subset
- lexical item
- lexicology
- lexicon
- linguistic
- linguistic expression
- linguistic theory
- linguistics
- linguists
- logic
- mathematics
- meaning
- meanings
- mechanisms
- message
- metalanguage
- metaphorical use
- method
- modality
- morphemes
- morphological structure
- names
- natural language
- natural language discourse
- natural languages
- natural-language
- natural-language discourse
- nouns
- perplexity
- phrase
- phrase structure
- phrase-structure grammar
- predicate calculus
- prepositions
- presupposition
- presuppositions
- probability
- procedure
- process
- program operation
- proper names
- quantifier
- relation
- relative frequency
- robot
- semantic
- semantic ambiguity
- semantic description
- semantic information
- semantic interpretation
- semantic structures
- semantic theory
- sentence
- sentences
- signal
- source language
- spoken language
- stress
- sublanguage
- substitutability
- surface structure
- surface syntactic structure
- symbols
- syntactic constructions
- syntactic description
- syntactic error
- syntactic grammar
- syntactic rule
- syntactic structure
- syntactic structures
- syntax
- system development
- target language
- term
- terms
- text
- textbook
- theorem
- theory
- translations
- truth-value
- understanding
- user
- utterance
- word
- words
