ACL RD-TEC 1.0 Summarization of C73-1007
Paper Title:
ON LOGICAL FORMULATION OF THE COMPUTATION PROCESS IN SEMANTICAL SYSTEMS
ON LOGICAL FORMULATION OF THE COMPUTATION PROCESS IN SEMANTICAL SYSTEMS
Primarily assigned technology terms:
Other assigned terms:
- adjective
- approach
- axioms
- case
- categorial grammar
- characters
- concept
- context-free grammar
- context-free languages
- context-free rule
- denotation
- dictionary
- evaluation function
- fact
- feature
- first-order theory
- grammar
- grammars
- interpretation
- intransitive verb
- knowledge
- linguistic
- linguistic theory
- logic
- logical form
- logical formula
- logical formulae
- mapping
- meaning
- meanings
- names
- natural languages
- nonterminal
- phrase
- phrase-marker
- predicate logic
- process
- projection
- proper noun
- semantic
- semantic rules
- semantic theory
- sentence
- set-theoretical function
- structural description
- symbol
- symbols
- syntactic rule
- syntactic rules
- syntactic structure
- syntax
- syntax and semantics
- terms
- theory
- transformation
- transformation rule
- transitive verb
- understanding
- verb
- word
- word order
- words
