基于概率的产生式规则判定

”就 可 以 表述 的清 楚 ．我 们 人 类 的思 维 需 要 一 个 对 与 错 的
度 。现把 该 规 则 表示 成 条 件 概率 ＰＢＡ ， 通 常 的推 断 中 ： （Ｉ）在 若Ａ成
酬
＝ （ Ｐ ｌ 户 ４） （ ４）
立 ， 成立。此规则不存在不 确定性 Ｐ Ａ ＝ ； 成立 ， 不 则Ｂ （ ）Ｉ若Ａ ＢＩ 则Ｂ 成 立 ，（ Ｉ）０ 显然 ， 种 判 断 过 于机 械 化 ， 符 合 人 们 的 判断 ＰＢＡ－ ， 此 不
Ｐ ４ Ｉ ＝ ． ２，（ Ｉ ＝ ． ６Ｐ Ｉ ＝ ． ２ （ 尽） Ｏ ６３ 墨） ０ ０ ，（ 尽） Ｏ ３ ３ Ｐ ４ ２ Ｐ ４ Ｉ ） Ｏ ３７Ｐ ｌ ） Ｏ ９，（ Ｊ ） Ｏ ６ （ ＝ ． ７，（ ＝ ． ４Ｐ ＝ ． ８ ６ ５ ７
Ｐ ４） １ ： ， ≠
“ 果 … … 就 如
普 通 规 则 对上 述 结 构 的 阐 述 为 ： 果 事 实 Ａ 立 ． 可 推 出 如 成 则 事 实 Ｂ，但 现 实 生 活 中 很 多 事 实 并 不 是 仅 仅 用
… …
ＰＢＩ ＝ ．６ＰＢＩ３ ０９ ， ｔ（１ ０ ３５ ＰＢ ＝ ． ５ （２ Ｏ （２ ） ．８ ＳＰＢ） ． ４ ，（０ ０９ ５ ９ Ａ： ］ ＝０ ６
利 用 条 件 概 率概 率 与 产 生 规则 的关 系 ．提 出 解 决 产 生规 则 推理 的 新方 法 ， 并建 立 了一 套 规 则 判 定 的 新 方法 。经 实 例 验 证 ，
３ 规 则 为 ： Ａ ｔｅ ｉ ． 若 Ｉ ｊ ｈ ｎ Ｂ ｆ
效 果 良好 。 参考文献 ：
程。
Ａｔｆ 品来 自甲机 房 ｝ Ａ ＝产 品 来 自乙 机房 １ ＝产 ’ｆ
２ 主 要 结 果 、 产 生 式 规 则 的正 确 性 ． 则 的基 本 结 构 为Ｐ 规 － １ ：
Ｉ Ａ ｔ ｅ ｆ ｈｎ Ｂ
ห้องสมุดไป่ตู้
Ａ ＝产 品来 自丙 机 房 ｌ Ｂ：取 到次 品ｌＢ＝取 到 正 品ｌ ，｛ Ｉ｛ ，：ｆ ＰＡＢ＝ （ｉ （ｌ，ｉｌ ， （ｊ）ＰＡ） ＢＡ）＝ ， ３ Ｐ ， ２
９ ２
福
建
电
脑
２１ ０ ０年第 ４期
基 于概 率的产 生式规则判定
张利 民 ，李
（１衡 水 学 院 河 北 衡 水 、
静ｚ
０３０ ） ５０ ０
０ ３０ ２ 衡 水 市后 马 中心 校 河 北 衡 水 ５００ 、
【 要】 摘 ：利 用概率理论 处理产 生式规 则的推理 。此方法弥补 了规 则推理过于机械化的缺点 。 而推理 过程 更符合人 从 的 思 维 过 程 ， 理 结 果更 容 易被 人 所 接 受 。利 用 车 间生 产模 型对 该 方 法进 行 验 证 ， 果 良好 。 推 效 【 关键词 】 产生式推理 ；条件概率 ； ： 产生式 系统
条 件
结 论
ｐ １０ ５ｐ ｇ ０ ５ｐ ３０ ５ （ ） ． ，（ ＝ ． ， Ａ） ． ， Ａ＝２ Ａ ２ （ ＝２
ＰＢＩＩ ０ ５ＰＢＩ１ ｏ０ ，（１ Ｏ ２ ＰＢＩ ）０ ５ （ｌ ） ． ，（ Ｉ ｊ ． ＰＢＩ ＝ ． ， （２ ＝ ． Ａ＝０ Ａ＝ ４ Ａ Ｏ Ａ１ ９
． ） ， ：
∑Ｐ４Ｉ ＰＡＩ … （ ） ） （ Ａ （ Ｂ Ｐ Ｉ 尸 Ｂ ：Ａ ｊｔ ＝
通过引入概率 ， 使规则不再 只有 两种结果 ， （Ｉ） Ｉ１ （ ＰＢＡ ＝ ￥ ＰＢ １
ｌ 前 言 、
Ａ＝ 。假设Ｐ Ａ＿ ０ ≤１。 ）ｏ Ｉ）ａ（≤ａ ） 若给定一个入Ｏ ，≤ ≤ｌ若 Ｉ） ， Ａ 产 生 式 系统 是 用来 描 述 若 干 个不 同 的 以一 个 概 念 为 基 础 的 ≥ ， 则规则可以被接受 ； （Ｉ）ｋ 则规则可以不接受 。 若ＰＢＡ ＜ ， 系统。 由于 其 表 达直 观 、 于 推 理 ， 以 进 行模 块 化 推 理 ， 示 灵 ３ 数 值 实例 便 可 表 、 活 。 而 在 实际 应 用 中 比较 广 泛 。 产 生 式 系 统 由 三 部 分 组成 ： 因 知 车 间 用 甲 、 、 三 台 机 床 进 行 生 产 ， 台机 床 的 次 品 率 分 乙 丙 各 识库 、 据库 、 数 推理 机 ｆ 数 据 库用 于存 放 求 解 过程 中各 种 当前 信 别 为 ５ ，％ ，％ ，它 们 各 自产 品 分 别 占 总 产 量 的 ２ ％ ， ％ ， ｌ 】 。 ％ ４ ２ ５ ３ ５ 息 的数 据 结构 。知 识 库是 一 个 规 则 库 ． 于存 放 大 量 规 则 ． 用 模拟 ４％ ， 们 的产 品 是 混 合 的 ， 一个 产 品确 定 由 甲 、 ０ 它 现 乙机 床 生 产 ， 人类 的长 期记 忆 区 。 推理 机 是 一 个 控 制策 略 ． 它将 关 于 问 题 的事 若 给 定 ｋ Ｏ１ 试 说 明 甲 、 － ．。 乙机 床 生 产 的 该 产 品不 经 检 验 是 否认 实与 数 据 库 中规 则 相 匹配 ，推 出 新 的 信 息 ，模 拟 人 类 的 推 理过 定 合格 。
ｊｌ ＝
监
：０１ ０ ０ ７＜：１ ．５ ． １
）
Ｐ ＢＩ （
２若 规 则为 ： Ａ ｈ ｎ Ｂ ． Ｉ ｔｅ ｆ
∑Ｐ４Ｉ ） ｌ （ Ｐ
该 产 品为 合格 。
４ 结束 语 、
该 结 果 符 合 人们 所 能 接 受 的 程 度 ． 因此 。 不 经 检 验 可认 定 如
【】 １ 孔繁胜．知识库 系统管理【 ． Ｍ】浙江： 浙江大学出版社。 ００ ２０ 【 刘惟一， ２ 】 田雯． 据结构【 ． 教 Ｍ】 北京： 科学 出版社。０ １１ ２０ ， ０ 【 ３ 】贾傻平． 统计ｅｌ ． Ｍ］北京： 中国人 民大学 出版社，０３１ ２０ 。０
Ｐ Ｂ Ｉ， （￣Ａ，
思 维 。 此 推断 过 程 与概 率 理 论 结合 ． 此 推 断更 被 人 类 易 于接 若 则 受。 基 于 概 率１ 规则 判 定 ： ３ １ 的 １ 规 则为 ： Ａ Ｉ ｎ Ｂ ． 若 Ｉ ｔｅ ｆ ｌ
∑Ｐ４Ｐ Ｉ） 代 数 ３ （）（ ４ ，人 据：
ｉ１ ＝