地市级数据服务与研发团队，负责本单位的数据资源管理、数据治理、数据共享服务及培训、宣贯等工作，为本单位（）提供数据和技术支撑。

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

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

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

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

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

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

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

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

每日业务指标报表生成可使用实时在线数据分析服务。

实时在线数据分析服务，主要指对数据更新频率要求为日级以下数据进行流式加工处理的功能需求。