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