| 对谓词逻辑在人工智能科学中应用的分析 |
| |
| 引用本文： | 赵卯生.对谓词逻辑在人工智能科学中应用的分析[J].山西高等学校社会科学学报,2001,13(12):67-69. |
| |
| 作者姓名： | 赵卯生 |
| |
| 作者单位： | 山西医科大学,山西,太原,030001 |
| |
| 摘 要： | 谓词逻辑是人工智能科学赖以产生和发展的最重要理论基础,从计算机系统理想化知识表达法的要求来看,谓词逻辑表达法在人工智能科学应用中有着不可替代的优点.但由于受形式逻辑本身表达范围的影响,它在表达知识的水平和能力上又存在一些局限,而这正是我们应进一步探讨以求解决的问题.
|
| 关 键 词： | 谓词逻辑 人工智能 知识表达 形式化的逻辑 |
| 文章编号： | 1008-6285(2001)12-0067-03 |
| 修稿时间： | 2001年5月20日 |
On predicate Logic' s Application in AI |
| |
| ZHAO Mao-shen.On predicate Logic'''' s Application in AI[J].Social Sciences Journal of Colleges of Shanxi,2001,13(12):67-69. |
| |
| Authors: | ZHAO Mao-shen |
| |
| Institution: | ZHAO Mao-shen |
| |
| Abstract: | Predicate Logic is one of the most important theoretical bases of AI.From the point of the requirements of idealized knowledge representation in computer,Predicate Logic has many advantages.However,because Predicate Logic is a formalized logic,there is a limit on knowledge representation with it.It's the problem we are supposed to debate in the thesis. |
| |
| Keywords: | predicate logic AI knowledge representation formalized logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
