人工智能及其应用期末复习资料.docVIP

考试：9周二晚7点，5下 单选题15×2分 推理问答题7×10分 人工智能复习资料 第二章 3、谓词 ★（预测大题：谓词的表示） 谓词逻辑法采用谓词合式公式和一阶谓词演算把要解决的问题变为一个有待证明的问题，然后采用消解定理和消解反演来证明一个新语句是从已知的正确语句导出的，从而证明这个新语句也是正确的。 谓词逻辑的组成：谓词符号、变量符号、函数符号和常量符号。 用谓词公式表示知识的一般步骤 ： (1).定义谓词及个体，确定每个谓词及个体的确切含义 (2).根据所要表达的事物或概念，为每个谓词中的变元赋以特定的值。 (3).根据所要表达的知识的语义，用适当的连接符将各个谓词连接起来形成谓词公式。 二元语义网络（预测大题） 语义网络是一种结构化表示方法，它由节点和弧线或链线组成。节点用于表示物体、概念和状态，弧线用于表示节点间的关系。 （1）常用的类属关系有： AKO(A-Kind-of):表示一个事物是另一个事物的一种类型。 AMO(A-Member-of):表示一个事物是另一个事物的成员。 ISA(Is-a):表示一个事物是另一个事物的实例。 （2）常用的包含关系的有： Part_of:表示一个事物是另一个事物的一部分，或说是部分与整体的关系。 （3）常用的属性的关系有： Have：表示一个结点具有另一个结点所描述性。 Can：表示一个结点能做另一个结点