多状态系统故障树质蕴含集的求取算法

本章首先给出多状态系统状态空间的立方体表示方法，然后建立相应的运算规则。在这些规则的基础上，提出多状态系统故障树质蕴含集的求取算法。通过实例分析，说明了这种方法的可行性。

基于列表法的全部质蕴含项的程序实现

针对全部质蕴含项进行研究并给出简单易行的计算机编程方案,结果表明,这种计算机软件编程实现方法与手动化逻辑函数简的结果完全一致,可以达到降低系统成本、减小复杂度、提高可靠性的目的.

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

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

确定最小函数依赖集的新方法

根据函数依赖集的逻辑蕴含与对应逻辑函数的蕴含项之间的等价性,将求给定函数依赖集的所有等价最小函数依赖集归结为对应逻辑函数的化简,且关系数据理论中的一系列问题都能利用此方法统一简洁地处理,如确定所有候选码、任意属性集闭包及依赖基等。

由卡诺图获取逻辑函数最简POS表达式的两种方法(英文)

讨论了卡诺图在以POS形式化简逻辑函数过程中的应用 。

推理规则链的确定性构建

推理是人工智能领域研究的重点。推理过程一般是非确定的,会产生许多冗余的推理分支。本文针对专家系统中常用的产生式规则,提出了一种确定性构造推理链的方法。方法运用逻辑代数理论,首先确立了规则集与逻辑函数的对应关系,证明推理规则链中的所有规则对应构成逻辑函数质蕴含集中的一个特定最小子集,给出了确定该子集的基本算法。子集中质蕴含对应的规则按逻辑顺序排列即构成了一条合理的推理规则链。

实现非单调关联故障树PIS的联合技术

采用"非正规"二元决策图(BDD)技术获取最小形割集(MCS)可能存在掩盖非单调底事件作用的弊端"。以"继承"关键技术为基础,提出了用统一编码的"正规"BDD技术来获取非单调关联故障树的MCS。结合Q-M算法,研究了联合获取非单调关联故障树的质蕴涵集(PIS)的完整过程。实际例证表明,所述方法不但能够准确地析出非单调关联故障树的MCS,而且能够自动地获取其PIS。

论逻辑函数的化简

本文全面论述了逻辑式的化简(1)在公式法中的一些独特方法与技巧;(2)用卡诺图化简逻辑式,分组多、计算繁,如何减少组数便于计算,文中进行了详细论述。