二值命题逻辑相关论文
针对协同问题求解、协同设计等诸多领域中存在冲突的共性问题，从二值命题逻辑理论出发，研究面向冲突的无损求解(即初始解空间获取)问......
以公式真度为基础,给出了分别基于真度和条件真度的伪距离的真度表示式，讨论了基于真度、条件真度的伪距离和非对称伪度量的理论Γ......
将基本真度概念进行推广,提出了二值命题逻辑中在有限信息Γ限制下的公式真度概念,并讨论其计算性质.以此为基础定义了公式的Γ-限......
二值命题逻辑中τ(A→X)=α型逻辑方程在有限理论结论集的结构以及近似推理研究中有着重要应用.给出了二值命题逻辑中公式是逻辑方......
研究了命题逻辑公式集（F(S））上的正则相似关系。在经典二值命题逻辑中引入了正则相似度概念，利用公式的真度概念给出了一种正则相似度，......
二值命题逻辑中r（A→x）=α型逻辑方程在有限理论结论集的结构研究中有着重要应用,讨论基于真度的r（A→x）=m／2^n型逻辑方程的解在逻辑运......
理论的相对偏差是确定近似推理误差的逻辑度量之一，由于缺乏与理论特征相关联的真度表示，而导致其计算和应用上的不便．以公式真度为基......
基于某信息限制下若A则B的推理思想,以真度为基础,在二值命题逻辑系统中引入有限信息限制下的公式蕴涵度概念,由此定义了信息限制......
以公式真度为基础,给出了二值命题逻辑中基于条件真度的逻辑度量的真度表示式,提出了两类在信息Γ下的误差不大于ε结论模式,证明......
探讨二值命题逻辑公式及逻辑等价公式统一性问题．利用二值命题逻辑中公式逻辑等价与可证等价的一致性，借助于赋值方法得到了命题在可......
本文从语构理论入手，在经典二值命题逻辑系统中给出公式的语构真度的概念，从两个不同的角度给出语构真度的等价刻画．给出语构真度的实......
针对协同问题求解、协同设计等诸多领域中存在逻辑冲突的共性问题，从二值命题逻辑理论出发，研究面向冲突的无损求解（即初始解空间获取......
王国俊提出了命题真度的概念，它与命题逻辑等价的概念不同，但它们之间具有一定的联系．文中通过在全体公式之集上引入某种等价关系，给出......
探讨原子公式集为有限集Sn时,二值命题逻辑F（Sn）中公式集Γ的所有结论之集D（Γ）的结构.利用F（Sn）中公式在可证等价意义下的一般表示,通过......
在二值命题逻辑系统中引入了公式的T-真度概念，并讨论其逻辑运算性质。以此为基础定义了公式的T-相似度和T-伪距离，得到了公式到有限......
二值命题逻辑系统中理论的结论集是逻辑推理研究的基本对象，对其结构进行分析是逻辑推理研究中需要解决的问题。通过公式是有限理论......
给出了（F（S）,ρ）中公式的一种逻辑等价分解,利用这种逻辑等价分解讨论公式的真度、伪距离和相似度的计算问题,并且引入了（F（S′）,ρ）中公式......
求命题集所有可能的约简是二值命题逻辑的一个重要课题．目前的算法都是逐一求单个约简，汇总起来得到所有可能约简．文中应用形式概念的......
在二值命题逻辑系统中引入公式的真度、条件真度和蕴涵真度概念，为二值命题逻辑系统的程度化研究和近似推理提供了数值化工具。为了......
伪距离是二值命题逻辑系统的近似推理研究中的一个基本逻辑度量,而伪距离不等式是研究近似推理问题的一种基本工具.以公式真度为基......
在二值命题逻辑中引入了公式的Г蕴涵真度，证明了全体有限理论的蕴涵真度值在[0，1]中稠密。在Г蕴涵真度的基础上，定义了公式间的Г蕴......
二值命题逻辑L中τ（A→X）≥α型基于真度的逻辑不等式在二值命题逻辑系统L的近似推理研究中有着重要应用。通过F（Sn）中公式是逻辑不等......
由相似度确定的伪距离是多种命题逻辑系统近似推理研究中的一个基本逻辑度量.以D-随机真度为基础,在二值命题逻辑中引入Γ-随机真......
公式真度是反映其真确度的基本数值特征，由此给出的伪距离是命题逻辑系统程度化研究的基本逻辑度量。以基本真度为基础，给出二值命题......
在二值命题逻辑系统中引入程度化概念和方法是进行近似推理的基础.笔者以公式真度为基础,给出了二值命题逻辑中与有限理论的结论集......
以基本真度为基础，引入二值命题逻辑系统中基于前提信息Г的公式A到B的蕴涵度概念，由此定义了公式A到B的Г-蕴涵距离，并通过Г-蕴涵距......
基于条件概率的思想,在二值经典命题逻辑中引入条件真度的概念。在二值逻辑系统中初步给出了在信息Σ下的近似推理理论。......
以真度为基础，给出二值命题逻辑系统中基于前提信息的相似度和伪距离的概念以及伪距离的真度表示式，对二值命题逻辑中具有前提信息的......
二值命题逻辑系统中理论Г的带误差结论集是近似推理研究的基本对象，对其结构进行分析是近似推理研究中需要解决的问题。通过公式是......
以随机真度为基础，提出了二值命题逻辑中公式的在有限信息Г限制下的随机真度概念。以此为基础定义了公式的Г-限制随机相似度和Г-......
将基本真度概念进行推广，提出了二值命题逻辑中在有限信息Г限制下的公式真度概念，并讨论其计算性质．以此为基础定义了公式的Г-限制......
在原子公式之集为有限集Sn={p1,…,pn}时,二值命题逻辑的全体公式之集用F(Sn)表示.文中在F(Sn)中提出了基本推理链的概念,统计了不......
