翟翠红
- 作品数:6 被引量:8H指数:2
- 供职机构:西南交通大学数学学院更多>>
- 发文基金:国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域:理学自动化与计算机技术更多>>
- 决策表中基于对象的μ-约简方法研究
- 研究不协调决策表中基于对象的μ-约简问题。给出了μ-约简的一些性质及等价定义,得到了μ-约简的判定定理和相应的可辨识矩阵及辨识公式,从而提供了不协调目标信息系统知识约简的新方法。并通过实例将决策表中基于对象的约简与整体约...
- 翟翠红秦克云
- 关键词:辨识矩阵
- 不协调决策表中基于对象的近似约简被引量:2
- 2014年
- 对不协调决策表中基于对象的近似约简问题展开研究。首先,给出近似约简的判定定理;其次,通过区分矩阵与区分函数给出约简的计算方法;最后,通过实例验证,决策表中基于对象的近似约简与整体约简相比,不仅可以获得更简洁的知识,并且在实际生活中具有较好的应用价值。
- 翟翠红秦克云
- 关键词:决策表近似约简区分矩阵区分函数
- 命题逻辑公式中的冗余子句及冗余文字
- 翟翠红秦克云
- 关键词:可满足性
- 文献传递
- 命题逻辑公式中的冗余子句及冗余文字被引量:4
- 2013年
- 主要研究命题逻辑公式中的冗余子句和冗余文字。针对子句集中必需的、有用的、无用的子句,分别给出了一些等价描述方法,进而讨论子句集的无冗余等价子集。另外,得到了子句集中冗余文字的判别方法,借助可满足性给出了冗余子句的一种等价条件。上述结果为命题逻辑公式的化简奠定了一些理论基础。
- 翟翠红秦克云
- 关键词:可满足性
- 不协调决策表中基于对象的可能性约简
- 研究不协调决策表中基于对象的可能性约简问题。首先,给出可能性约简的等价定义和判定定理,及相应的辨识矩阵及辨识公式。从而提供了不协调目标信息系统知识约简的新方法。并通过实例将决策表中基于对象的约简与整体约简进行对比,验证前...
- 翟翠红秦克云
- 关键词:辨识矩阵
- 决策表中基于对象的μ-约简方法研究被引量:2
- 2014年
- 研究了不协调决策表中基于对象的μ-约简问题,给出了μ-约简的一些性质及等价定义,得到了μ-约简的判定定理和相应的可辨识矩阵及辨识公式,从而提供了不协调目标信息系统知识约简的新方法。并通过实例将决策表中基于对象的约简与整体约简进行了对比,结果表明前者可以得到更简洁的知识。该方法也适用于协调目标信息系统。
- 翟翠红秦克云
- 关键词:辨识矩阵