提升（），全面梳理当前资源占用情况，结合公司数字化建设规划，合理规划平台资源扩容，提升平台存储能力和计算能力。

语义网络系统由两部分组成：由语义网络组成的知识库和用于求解问题的解释程序即推理机。  

框架是用于描述具有固定的静态对象的通用数据结构，但是也可以描述某些简单的动态对象。

产生式规则不能表达具有结构性的知识，但效率较高。

鲁宾逊归结原理中，设C1与C2是子句集S中的两个子句，C12是它们的归结式，若把C12加入S中，得到新子句集S2，则S与S2是等价的。

不确定性推理指推理所使用的知识和推出的结论可以是不确定的。所谓不确定性是真值 为假。 

逆向推理的缺点是若提出的假设目标不符合事实，但是不会降低系统效率。

鲁宾逊归结原理中空子句是不可满足的，若一个子句集包含空子句集，则这个子句集一定是不可满足的。

海伯伦定理可以在计算机上实现其证明过程。 

经典命题逻辑和谓词逻辑的语义解释只有两个：真和假，0和1。             

人工智能是智能计算机系统，即人类智慧在机器上的模拟，或者说是人们使机器具有类似于人的智慧（对语言能理解、能学习、能推理）。