制约逻辑在人工智能中的应用  

Application of Entailment Logic in Artificial Intelligence

作　　者：黄国芳[1] 

机构地区：[1]长沙南方职业学院,湖南长沙410208

出　　处：《科技广场》2011年第1期21-23,共3页Science Mosaic

摘　　要：本文从数理逻辑对人工智能发展的局限出发,分析了制约逻辑与人工智能的辩证关系,最后总结了制约逻辑为人工智能的智能模拟提供了理论基础和推理作用。The article analyses the philosophic relation of the entailment logic and the artificial intelligence which is restricted by the mathematical logic, then obtains the result which the entailment logic supplies the theoric base and the deducting function for the intellent simulation of the artificial intelligence.

关 键 词：人工智能 制约逻辑 数理逻辑 

分 类 号：TP305[自动化与计算机技术—计算机系统结构]