对谓词逻辑在人工智能科学中应用的分析
谓词逻辑是人工智能科学赖以产生和发展的最重要理论基础,从计算机系统理想化知识表达法的要求来看,谓词逻辑表达法在人工智能科学应用中有着不可替代的优点.但由于受形式逻辑本身表达范围的影响,它在表达知识的水平和能力上又存在一些局限,而这正是我们应进一步探讨以求解决的问题.
作 者： 赵卯生 ZHAO Mao-shen 作者单位： 山西医科大学,山西,太原,030001 刊 名： 山西高等学校社会科学学报 英文刊名： SOCIAL SCIENCES JOURNAL OF COLLEGES OF SHANXI 年，卷(期)： 2001 13(12) 分类号： B81-06 关键词： 谓词逻辑 人工智能 知识表达 形式化的逻辑