|
在语网络中，事物是通过语义网络这种结构来描述的，事物的匹配则为结构上的匹配，包括结点和弧的匹配。其推理步骤为： 第一、构造问题的目标网络块，然后在事实网络中寻找匹配 第二、推理从一条弧连接的两个结点的匹配开始，再匹配与该两个结点相连接的所有其他结点，直到问题得到解答。 如：下图所示(a)为事实网络，(b)目标网络。图(b)表示这样一个问题：Ｗhat does clyde one?其匹配过程为：用(b)这个目标网络去匹配事实网络(a)，寻找一条Owner弧指向的Llyde的Own结点。当找到这样的结点时，Owner弧指向的结点即为上述问题的答案（Nest1）,否则，答案便是：clyde does't own anything.
|
||||||||
| 语义网络中的继承推理机制 |
在语义网络中所谓继承是把对事物的描述从概念结点或类结点传送到实例结点。这种推理过程类似于人的思维过程。其推理方式有三种：值继承、默认继承和附加过程继承
一、值继承的推理过程是：如图所示：作为问题的给定的结点brick1和Shape，从brick1结点出发，检查是否有以其为出发点的Shape弧.如果有，则Shape指向结点的值即为解；否则依次检查与brick1相连的ISA弧指向的结点，如果有从这些结点出发的Shape弧，则找到解。图中有与brick结点相连的shape弧，它指向结点Rectanguler,即得有出发的Shape弧，则开始查找SKO链指向的结点，看是否有Shape弧从那里出发。如此搜索下去，如果直到最后都找不到Shape弧，则宣布搜索失败。
二、默认继承的推理过程是：某些情况下，在对事物所作的假设不是十分有把握时，最好对假设加上如‘可能’这样的词。这种具有相当程度的真实性但有不能十分肯定的值称为‘默认’值。其方法是在指向该结点的弧的标注下加上DEFAULT标记。如图所示的网络含义是：从整体来说blick的颜色可能是blue，而brick的颜色可能是Red。其过程类似于值继承，只是搜索的是给定弧标注下带有Default标记的弧。
 |
 |
| 语义网络的值继承 | 语义网络的默认继承 |
三、附加过程继承推理过程是：在某些情况下，对事物的描述不能直接从概念结点或类结点继承而得，查可以利用已知的信息来计算。如图所示一个计算重量的程序存放在连接block结点的Weight弧（下加IF-NEEDED标记）指向的结点中。
 |
|
| (a) | (b) |
| 语义网络的附加过程继承 | |
