添加的内容 删除的内容
（修改自此处；原许可：CC BY-SA 3.0［网站升级迁移］） |
（→top：我来啦, replaced: 內 → 内, 為 → 为） |
||
| 第1行： | 第1行： | ||
{{unreferenced|time=2013-05-25T05:02:41+00:00}} |
{{unreferenced|time=2013-05-25T05:02:41+00:00}} |
||
'''自动推理是'''[[计算机科学]]和[[数理逻辑]]的一个交叉领域，致力于了解[[理智]]的方方面面。自动逻辑的研究帮助了利用计算机自动进行完全或几乎完全的推理，其 |
'''自动推理是'''[[计算机科学]]和[[数理逻辑]]的一个交叉领域，致力于了解[[理智]]的方方面面。自动逻辑的研究帮助了利用计算机自动进行完全或几乎完全的推理，其内容一般可分为演繹推理和非演繹推理。自动推理被认为是[[人工智能]]的一个分支，还和[[理论计算机科学]]甚至[[哲学]]相关联。 |
||
自动推理的研究内容包括[[定理机器证明]]、{{Link-en|证明自动检查|Automated_proof_checking}}、[[不确定性推理]]、[[非单调逻辑]]以及[[类比]][[归纳]]和外展推理。 |
自动推理的研究内容包括[[定理机器证明]]、{{Link-en|证明自动检查|Automated_proof_checking}}、[[不确定性推理]]、[[非单调逻辑]]以及[[类比]][[归纳]]和外展推理。 |
||