排序方式： 共有26条查询结果，搜索用时 15 毫秒
1.
2.
一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础,利用Prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性。本文从Horn逻辑和Prolog的基础理论出发,使用Horn子句、SLD-归结、搜索和回溯等原理讨论了如何在计算机中实现数学函数、定理证明等自动推理的一些应用。 相似文献
3.
4.
5.
6.
7.
8.
王湘云 《新乡师范高等专科学校学报》2007,21(4):47-49
人工智能的产生与发展与逻辑学的发展密不可分。逻辑学为人工智能的研究提供了根本观点与方法,而逻辑方法则是人工智能研究中的主要形式化工具。笔者从逻辑学为人工智能的研究提供理论基础出发,讨论了经典逻辑和非经典逻辑在人工智能中的应用。 相似文献
9.
10.
试述传统高校图书馆期刊工作的变革与服务创新 总被引：1，自引：0，他引：1
变革传统管理模式，调整改进传统服务方法和手段，创新服务内容和形式，使传统图书馆期刊管理与服务向现代化发展，是摆在期刊馆员面前的一项新的研究课题．只要我们找准印刷型期刊、电子期刊与网络期刊的切合点，以读者为中心，就能在传统与现代化衔接与转换过程中，统一思想，提高认识，使传统的管理与服务和现代化的管理与服务真正做到优势互补。 相似文献