Kaiwii的专栏

合取式就是各个语句之间是与的关系，如A∩B∩C（其中，A、B、C分别是一个子句）析取式就是各个语句之间是并的关系，如A∪B∪C 合取范式：全部由析取范式子句合取而成的范式例如：A∩（D∪B∪C）∩（E∪F）

项：可以用来指定某个对象理解：一个变量，其真实值可以实实在在的食物谓词符号：形如数学里面的函数。表示里面的各个变量（这里指的是：对象）之间的关系而原子谓词公式就是项与谓词符号的结合体。举个例子：belong（Kaiwii,scut）就是一个原子谓词公式。分析：belong（X,Y）是一个谓词符号，表示：X是Y里面的一员。Kaiwii是一个项，表示：Kaiwi

人工智能复习参考第1部分  绪 论1-1.      什么是人工智能？试从学科和能力两方面加以说明。人工智能是用计算机来表示和执行人类的智能活动 ，人工智能（学科）：是计算机科学中涉及研究、设计和应用智能机器的一个分支。其近期的主要目标在于研究用机器来模仿和执行人脑的某些智力功能，并开发相关理论和技术。人工智能（能力）：是智能机器所执行的通常与人类智能有关的智能行为，如判断、推