基于语言真值格值一阶逻辑的不确定性推理的语法

讨论基于语言真值格值一阶逻辑的不确定性推理的语法内容,并研究了推理规则的用性和可靠性,证明了推理规则在a≤∧θ∈Lx×L2(θ→θ')(θ≠(ax,b2))水平下的闭性,得到了推理规则在此水平下可靠性的充分必要务件.     

谈轨迹方程的几种求法

求平面上动点的轨迹方程问题,是解析几何要解决的两大问题之一,也是高考考察的重点和学生学习解析几何时的一个难点.由于给出平面上动点的条件往往各异,因此求其相应轨迹方程的方法也不尽相同.本文将结合实例,谈谈在不同条件下求轨迹方程的几种常方法.     

辅助线是几何证明的“点睛”之笔

对于几何证明题,总有一些学生幻想能够一眼看出,即从已知出发只需一步推理直接得出结论。学习中哪有这样的"好事",所以常常碰壁。几何证明要耐心细致,冷静分析,谨防急躁心理。要善于作辅助线,搭建已知与结论之间的"桥梁"。作几何辅助线好比画龙点睛。巧妙的辅助线往往使解题起死回生,从条件到结论,水到渠成。     

一种基于证据推理的多指标多标度大群体决策方法

针对多指标多标度大群体决策问题,提出了一种基于证据推理的决策方法.首先将参与决策人针对各指标给出的方案评价信息转化为关于指标评价标度的概率分布.然后运用证据推理方法将针对不同指标的概率分布形式的群体评价信息进行集结,得到关于综合评价标度分布形式的群体综合评价信息,在此基础上计算每个方案的效用值,并据此对方案进行排序.最后,通过一个实例说明了本文提出方法的可行性和有效性.本文的方法为解决大群体决策问题提供了一种新途径.具有实际应用价值.     

量化plausibility测度在默认推理系统中的推理能力

作者讨论了量化plausibility测度在默认推理逻辑系统 （P系统）中的推理能力, 给出了一般量化plausibility测度与possibility测度具有相同推理能力的条件.     

格值命题逻辑LP(X)中不可分极简式的性质

基于格值命题逻辑LP(X)的α-归结原理及α-归结自动推理方法，能够较好地刻画具有可比较性和不可比较性的不确定性信息。LP(X)中的不可分极简式是一个非常重要的概念，本文对蕴涵运算个数小于3的不可分极简式的性质和判定方法进行了讨论，得到了一些重要结论。     

高等级道路桥（涵）头跳车原因浅析与处置措施

本文通过对高等级道路桥（涵）头跳车原因进行分析，结合某省道工程处置桥涵结构物台背的工程实例，提出有效解决桥（涵）头跳车的施工措施。     

经典命题逻辑中公式的Γ-随机真度与近似推理

利用概率空间的无穷乘积,在经典二值命题逻辑中引入了公式的Γ-随机真度概念以及公式间的Γ-相似度概念.进而导出了全体公式集上的一种伪距离,建立了逻辑度量空间.最后提出了基于Γ-随机真度的三种不同的近似推理模式,并且证明了这三种近似推理模式之间是相互等价的.     

不一致信念的一种自顶向下的处理方法

对假说中的信念按照其可靠程度进行分层,在假说增大时根据信念的可靠程度可以将信念加入到假说的相应层次中,在推理过程中将没有更可靠的相反信息的结论作为分层假说的最终结论,这种自顶向下的对不一致信念的处理方法能够保证基于不一致信念的推理具有良好的理论性质和直观背景.