人工智能中的自动逻辑推理

Automatic Logic Reasoning in Artificial Intelligence

人类常用的推理方法不能直接在人工智能中应用从而实现机器的自动推理,本文论述了自动推理中的归结和合一算法的规则和详细步骤,达到使读者容易理解和掌握这一方法的目的,使更多人了解这一方法的作用和前景。

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.