摘要谓词逻辑是人工智能科学赖以产生和发展的最重要理论基础,从计算机系统理想化知识表达法的要求来看,谓词逻辑表达法在人工智能科学应用中有着不可替代的优点.但由于受形式逻辑本身表达范围的影响,它在表达知识的水平和能力上又存在一些局限,而这正是我们应进一步探讨以求解决的问题.
更多相关知识
- 浏览0
- 被引13
- 下载1

相似文献
- 中文期刊
- 外文期刊
- 学位论文
- 会议论文
摘要谓词逻辑是人工智能科学赖以产生和发展的最重要理论基础,从计算机系统理想化知识表达法的要求来看,谓词逻辑表达法在人工智能科学应用中有着不可替代的优点.但由于受形式逻辑本身表达范围的影响,它在表达知识的水平和能力上又存在一些局限,而这正是我们应进一步探讨以求解决的问题.
更多相关知识