推广规则后一阶逻辑公式的准真度

计量逻辑理论是逻辑概念程度化研究方向的一个重要分支。但目前计量谓词逻辑的相关研究中,都不曾涉及推广规则。一阶逻辑公式的准真度理论是计量谓词逻辑的一个重要的研究成果,讨论经过推广规则后,一阶逻辑公式准真度的变化情况,证明经过推广规则后,一阶逻辑公式在基于准真度的一阶逻辑公式集的分类中类别不变。

D-S规则推广及其在飞机目标识别中的应用研究

在多传感器特征信息融合算法中,D-S理论得到了广泛应用,但该理论在处理多特征冲突问题时识别效果不十分理想。针对这种情况,本文推广了D-S规则,得出了一种处理冲突信息的新方法。在分析推广规则受融合顺序影响的基础上,提出了最佳融合顺序,较好地利用了冲突信息,并通过仿真比较了D-S规则和推广规则应用于飞机目标识别的效果。结果表明:本文提出的D-S理论推广规则能有效解决多特征冲突的飞机目标识别难题。

一个约束逻辑的消解原理

为变量受约束理论约束的子句引入一种消解原理的约束逻辑方法。约束可看成量词限制，滤去那些约束理论的任何解释都可指定给带有这样的限定量词公式的变量值。本文提出了一种约束子句的消解原理，其中测试是否满足约束理论的约束取代了一致化。研究表明，如果约束子句集不满足约束理论当且仅当对约束理论的每一模型，能推出一约束空子句，而该空子句的约束在模型中是可满足的。

推广的Dempster合成规则在航迹关联中的应用

目前已有的航迹关联方法虽然能很好地解决二传感器二目标或者二传感器多目标航迹融合问题,但处理多传感器多目标航迹关联问题时效果较差.因航迹关联问题实际上是判决融合问题,作者提出用Dempster合成规则的思想来解决之,但必须要对合成规则有新的推广.推广后的方法不仅能解决二传感器航迹关联问题,而且还能解决多传感器航迹关联问题.当传感器证据相互冲突或不够准确的时候,经典的Dempster合成规则无法应用,而推广的Dempster合成规则可解决该问题.最后作者给出了一个四传感器二航迹关联的例子,来解释和说明推广的Dempster合成规则在航迹关联中的应用.计算机仿真结果说明推广的Dempster合成规则比经典的Dempster合成规则更适用.