4.5.3 语义网络的推理 　　关于语义网络的推理，研究者提出了很多的思路。有人在语义网络中引入逻辑含义，表示出“与”、“或”、“非”等逻辑关系，利用归结推理法进行推理；1977年Hendrix提出了网络的分块技术，将复杂问题分解成许多子问题，每个子问题以一个语义网络表示，降低了推理求解的复杂度；还有人将语义网络中的结点看成有限自动机，通过寻找自动机中的会合点来达到问题求解的目的。但是总体而言，语义网络作为一种主要的知识表示方法，相应的推理方法还不完善。 继承： 　　继承是指把对事物的描述从抽象结点传递到具体结点。通过继承可以得到所需结点的一些属性值，它通常是沿着Is－a，A－Kind－of等继承弧进行的。