人工智能中的自动逻辑推理
Automatic Logic Reasoning in Artificial Intelligence
DOI: 10.12677/AIRR.2019.81002, PDF,  被引量   
作者: 邱德钧：兰州大学哲学社会学院，甘肃 兰州
关键词: 归结；合一；推理；Resolution； Unification； Reasoning
摘要: 人类常用的推理方法不能直接在人工智能中应用从而实现机器的自动推理，本文论述了自动推理中的归结和合一算法的规则和详细步骤，达到使读者容易理解和掌握这一方法的目的，使更多人了解这一方法的作用和前景。
Abstract: Human reasoning cannot be applied in artificial intelligence, thus making machines for automatic reasoning. This paper discusses the detailed steps of resolution principle, and makes it easier to master the reasoning methods.
文章引用：邱德钧. 人工智能中的自动逻辑推理[J]. 人工智能与机器人研究, 2019, 8(1): 7-16. https://doi.org/10.12677/AIRR.2019.81002

参考文献

[1] 敖友云. 基于谓词逻辑的归结原理研究[J]. 计算机科学与应用, 2011(1): 51-56.
[2] 陶景侃, 大学逻辑教程[M]. 兰州: 兰州大学出版社, 2001: 274.
[3] (美) Rob. Callan. 人工智能[M]. 北京: 电子工业出版社, 2002: 62.

为你推荐