Abstract

The paper presents the basic ideas underlying theories of semantics. It introduces a level of context independent meaning called the logical form, which can be produced directly from the syntactic structure of sentence in natural language. Then the paper presents our improvements of top down chart algorithm for parsing. It also introduces our tracing grammar, which keeps the steps of parse processing. These steps are used to compute the logical form of sentence.