【章节小结】 知识表示是将知识表示成计算机内部的一种结构，以便于更方便的使用这些知识。事实、规则、控制和元知识是人工智能程序所关心的知识。事实是有关事物的分类、属性、事物间关系的描述，是知识库中的低层知识。规则是以"如果…那么…"形式出现的事物间的因果关系。控制知识是有关问题求解的知识。元知识是有关知识的知识，是知识库中的高层知识。陈述性知识表示和过程性知识表示是两种类型的知识表示，界限并不明显。陈述性知识表示是表示与推理分开处理的，而过程性知识表示就是求解程序了，表示与推理相结合。 逻辑法表示知识，是一种重要的知识表示方法，是将自然语言描述的知识，通过引入谓词、函数加以形式描述，进而采用逻辑推理方法如归结法进行问题求解。产生式表示法，是最常用的，产生式系统表示格式固定，形式简单，将知识分解成一条条来表示，粒度较细，适合处理简单问题，知识库与推理机分离，便于知识的修改维护，这是产生式系统与传统问题的求解方法不同之处，常作为建造专家系统的知识表示方式的第一选择。语义网络表示法是一种对知识的有向图的表示方法。结点表示事物、概念等，弧上标注节点的属性或结点1和结点2之间的关系。isa，part-of ，is是典型的几种关系，isa具有继承性。 框架表示是由若干个结点和关系(泛称槽)构成的网络，是语义网络更一般的结构，表示了某一类情景的结构化的一种数据结构。框架结构没有固定的推理机理，遵循匹配和继承的原则，在推理中可附加某些有利于推理的知识。 【课后习题】 1． 利用一阶谓词逻辑，对下面的问题进行描述 Honil塔问题 2． 说明产生式系统的特点，怎样进行推理，与其他问题求解系统的不同 如何建造产生式系统 3． 语义网络表示的特点是什么？ 语义网络表示下的推理是怎样的？ 将有关汽车的知识以语义网络的形式表示出来 将一个家族的成员关系用语义网络的形式表示出来 4． 用框架表示方法描述下面的知识 将有关汽车的知识以框架的形式表示出来 将一个家族的成员关系用框架形式表示出来 |