基于因素逻辑的分类推理法重构

• 作者: 崔铁军 李莎莎 王来贵
• 来源期刊: 计算机应用研究
• 关键词: 因素空间 空间故障树 因素逻辑 分类推理法 重构
• 年，卷（期）: 2016,（12）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 3671-3675
• 页数: 5页
• 分类号: TP181
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2016.12.034

摘要

为使空间故障树理论中系统结构反分析的分类推理法具有严格的数学定义，以适应广泛的系统结构反分析问题，引入因素空间理论的因素逻辑对分类推理法进行重构。重构的目的在于规范原方法定义和步骤为严格的数学形式，赋予其因素逻辑推理能力，从而提升其数学层次，应用于广泛的问题分析。给出了空间故障树中分类推理法的基本过程和描述；使用因素逻辑重构该方法的相关定义，并给出了极小析取范式步骤，即重构分类推理法步骤。使用原方法和重构方法分析了实例，证明两种方法得到的系统结构相同，而后者具有更高的逻辑数学层次和广泛的应用能力。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王来贵	辽宁工程技术大学力学与工程学院	287	2401	23.0	35.0
2	崔铁军	辽宁工程技术大学安全科学与工程学院	120	919	17.0	24.0
4	李莎莎	辽宁工程技术大学安全科学与工程学院	52	176	7.0	11.0