论文研究基于因素逻辑的分类推理法重构.pdf

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