First-Level Bottom-Up Parser

When a human being makes hypothetical inference, he makes recessive hypothetical inference. When a computer makes hypothetical inference, it makes dominant hypothetical inference. Rule-based parsers are divided into inference rule parsers and hypothetical inference parsers. Inference rule parsers are based on recessive hypothetical inference, they are suitable for human. Hypothetical inference parsers are based on dominant hypothetical inference, they are suitable for computer. A manual parser is an inference rule parser. First-level bottom-up parser proposed in this paper is a hypothetical inference parser. A manual parser can be transformed into first-level bottom-up parser by changing the grammar rules from inference rules to axioms, taking hypothetical inference as the sole inference rule. Compared with DCG, another hypothetical inference parser, first-level bottom-up parser is simpler and more powerful in semantic analysis.