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

Automatic Logic Reasoning in Artificial Intelligence

作　　者：邱德钧[1] Dejun Qiu(School of Philosophy and Sociology, Lanzhou University, Lanzhou Gansu)

机构地区：[1]兰州大学哲学社会学院,甘肃兰州

出　　处：《人工智能与机器人研究》2019年第1期7-16,共10页Artificial Intelligence and Robotics Research

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

关 键 词：归结 合一 推理 

分 类 号：G6[文化科学—教育学]