专家系统中推理

一、主要两种方式

1、正向链：从事实到结论的推理。如果外面在下雨，你就应带伞。

2、反向链：从假设（要证明的结论）到事实的推理。如果外面有人打伞，且鞋子湿了，那么假设外面下雨。

二、反射：为避免无谓循环，基于规则的专家系统采用反射，规则在同样的事实一次又一次触发，则专家系统不做任何事。

三、推理机重复执行任务的伪码

while 还没终止

    冲突归结 :如果有激活者，选择最高优先级的一个，否则终止

    动作：顺序执行选中的激活者右部的行为，在这个循环中改变工作记忆的激活者有即时的效果。从议程中删去刚刚触发过的激活者。

   匹配：通过检测任何一个规则的左部是否被满足来更新议程。如果满足，激活它们。如果左部不再满足则删除它们。

   终止检测：如果一个终止行为被执行或给出一个中断命令，那么终止。

end-while

接收一条新的用户命令