人工智能第5章

- 5.1 非单调推理 - 5.1.1 单调推理与非单调推理 单调推理是指为真的语句的数目随时间而严格增加。新语句的加入、新定理的证明都不会使已有语句或定理变得无效。如