以“（）”为目标，全量梳理公司内部业务系统，推动完成生产控制大区全量数据上调控云，并全量接入数据中台，满足公司各业务对电网运行生产数据的需求。

单个谓词是谓词公式。 

命题是可以判断真假的语句。

人工智能的研究长期目标是使现有的电子计算机更聪明，更有用，使它不仅能做一般的数值计算及非数值信息的数据处理，而且能运用知识处理问题，能模拟人类的部分智能行为。

（"x）{P(x)àP(x)}消去蕴含符号得：（$x）{ØP(x)ÚP(x)}。   

人工智能的研究途径是主张通过运用计算机科学的方法进行研究，实现人工智能在计算机的模拟。 

在0,1,„,9，这10个数字当中，一次任取两个，则抽到5这个数字的概率是0.1.

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

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

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

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