规则集的化简及相关性质的判定

• 作者: 张亦舜
• 来源期刊: 计算机科学与应用
• 学科: 数学
• 关键词: 专家系统 产生式规则 逻辑代数 质蕴含
• 年，卷（期）: jsjkxyyy_2016,（9）
• 页码范围: 539-544
• 页数: 6页
• 分类号: O1

摘要

任给一个规则集,确定其等价的最简规则集,此理论问题的解决对实际构建专家系统的核心组成部分规则库有重要意义。本文运用逻辑代数的基本理论和方法,将给定规则集对应于一个逻辑函数,化简得到最简逻辑函数,其对应所求的最简规则集,其中每条规则具有独立性。通过查找化简过程保留的所有质蕴含中的特定项,还能直接判断规则集的完备性和矛盾性。这种方法无需利用规则进行推理,可以统一运用于检测规则库的其它多种问题。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张亦舜	浙江工商大学计算机与信息工程学院	3	2	1.0	1.0