1 类规则推理 — rule-like reasoning