专业类数据集市支撑服务示范中高效支撑发展专业“（）”指能源电力经济、电力全景规划、项目智能评审、工程智慧设计平台。

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

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

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

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

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

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

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

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

明细层中，公司维度模型数据主要依据九大业务主题分别整合，以此支撑自建统计分析类应用。

轻度汇总层主要面向业务视角，存放具有共性需求的宽表和单指标表。