实现对问题的求解。
推理机
存放与求解有关的 所有产生式规则的 集合,包括了将问 题从初始状态转换 成目标状态所需的 所有变换规则
数据库
知识库
规则库
产生式系统的结构图
推理机
推理机包括以下工作内容 1. 按照一定策略从规则库中选择规则与数据库
的已知事实进行匹配。在匹配中,出现下面 三种情况 ① 匹配成功,则此规则将列入被激活侯选集 (冲突集) ② 匹配失败,即输入条件与已知条件矛盾,则 此条规则被完全放弃,今后不予考虑。 ③ 匹配无结果,即规则前件与输入事实无关, 该规则被放入待测试规则集。
5,控制策略:(略)
M-C问题
4,规则集 IF (m, c, 1) THEN (m-1, c, 0) IF (m, c, 1) THEN (m, c-1, 0) IF (m, c, 1) THEN (m-1, c-1, 0) IF (m, c, 1) THEN (m-2, c, 0) IF (m, c, 1) THEN (m, c-2, 0)
在此项研究中,他们观察并记录了人类在求解 各种问题时的行为(如国际象棋这样的博弈问 题)。
产生式系统所具有的对人类求解问题建 模的能力,使它成为设计和建立专家系 统的理想工具。
60年代开始成为专家系统最基本的结构
形式简单,在一定意义上模仿人类思考过程
产生式容易描述事实,规则以及它们的不确 定度量
IF (m, c, 1) AND 1 ≤i+j≤2 THEN (m-i, c-j, 0)
M-C问题
4,规则集 IF (m, c, 0) THEN (m+1, c, 1) IF (m, c, 0) THEN (m, c+1, 1) IF (m, c, 0) THEN (m+1, c+1, 1) IF (m, c, 0) THEN (m+2, c, 1) IF (m, c, 0) THEN (m, c+2, 1)