二值命题逻辑公式的语构程度化方法 被引量：17

1

作者 张东晓 李立峰 《电子学报》 EI CAS CSCD 北大核心 2008年第2期325-330,共6页

本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画.给出语构真度的实例,说明原来在语义下的真度是语构真度,并且由语构真度诱导的相似度和伪距离具有语义下相似度和伪距... 本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画.给出语构真度的实例,说明原来在语义下的真度是语构真度,并且由语构真度诱导的相似度和伪距离具有语义下相似度和伪距离的基本性质.给出τ-相容理论的概念,指出τ-相容理论和相容理论的内在关系. 展开更多

关键词 二值命题逻辑 真度理论 语构真度 τ-相容理论

在线阅读 下载PDF 职称材料

二值命题逻辑的无损求解 被引量：4

2

作者 唐益明 刘晓平 《计算机学报》 EI CSCD 北大核心 2013年第5期1097-1114,共18页

针对协同问题求解、协同设计等诸多领域中存在逻辑冲突的共性问题,从二值命题逻辑理论出发,研究面向冲突的无损求解(即初始解空间获取)问题.首先,提出简单合取式的扩充和Wh-析取范式等概念,在此基础上定义初始解空间,并通过提出的有效... 针对协同问题求解、协同设计等诸多领域中存在逻辑冲突的共性问题,从二值命题逻辑理论出发,研究面向冲突的无损求解(即初始解空间获取)问题.首先,提出简单合取式的扩充和Wh-析取范式等概念,在此基础上定义初始解空间,并通过提出的有效扩充概念得到初始解空间的简化表示——最简解空间,探讨了两类解空间的关系及各自的计算方法.其次,构造生成序列来辅助公式的析取化,从泛代数的角度定义了Wh-代数;提出了指数矩阵,并籍此给出了Wh-代数的等价表现形式,通过引入扩展指数矩阵构造出扩展Wh-代数.最后证明了扩展Wh-代数中的展开定理和逻辑简化定理,给出基于有效扩充的直接无损求解算法,并与提出的其他相关算法进行了对比,结果表明该算法较为理想.该研究对于协同问题求解等领域有着重要的推动作用. 展开更多

关键词 协同计算 冲突 二值命题逻辑 无损求解

在线阅读 下载PDF 职称材料

二值命题逻辑中基于信息限制的随机真度 被引量：1

3

作者 亓正坤 丁洁玉 王廷明 《计算机工程与应用》 CSCD 2012年第22期51-53,57,共4页

以随机真度为基础,提出了二值命题逻辑中公式的在有限信息Γ限制下的随机真度概念。以此为基础定义了公式的Γ-限制随机相似度和Γ-限制随机伪距离,得到了在有限信息Γ限制下公式到理论结论集的Γ-限制随机伪距离的Γ-限制随机真度表示... 以随机真度为基础,提出了二值命题逻辑中公式的在有限信息Γ限制下的随机真度概念。以此为基础定义了公式的Γ-限制随机相似度和Γ-限制随机伪距离,得到了在有限信息Γ限制下公式到理论结论集的Γ-限制随机伪距离的Γ-限制随机真度表示式,为二值命题逻辑中基于有限信息限制的近似推理的随机化研究提供数值化工具。 展开更多

关键词 二值命题逻辑 信息 Γ-限制随机真度 Γ-限制随机相似度 Γ-限制随机伪距离

在线阅读 下载PDF 职称材料

二值命题逻辑中基于条件真度的近似推理 被引量：2

4

作者 王廷明 《计算机工程与应用》 CSCD 北大核心 2009年第9期51-52,66,共3页

以公式真度为基础,给出了二值命题逻辑中基于条件真度的逻辑度量的真度表示式,提出了两类在信息Γ下的误差不大于ε结论模式,证明了两类结论模式的等价性,并讨论了基于条件真度和真度的近似推理及其关系问题。

关键词 二值命题逻辑 真度 条件真度 有限理论 伪距离 近似推理

在线阅读 下载PDF 职称材料

二值命题逻辑中基于前提信息的随机真度 被引量：2

5

作者 王廷明 《兰州理工大学学报》 CAS 北大核心 2009年第3期159-162,共4页

由相似度确定的伪距离是多种命题逻辑系统近似推理研究中的一个基本逻辑度量.以D-随机真度为基础,在二值命题逻辑中引入Γ-随机真度以及Γ-随机相似度和Γ-随机伪距离概念,得到Γ-随机伪距离的D-随机真度表示式,将以真度、D-随机真度为... 由相似度确定的伪距离是多种命题逻辑系统近似推理研究中的一个基本逻辑度量.以D-随机真度为基础,在二值命题逻辑中引入Γ-随机真度以及Γ-随机相似度和Γ-随机伪距离概念,得到Γ-随机伪距离的D-随机真度表示式,将以真度、D-随机真度为基础定义的相似度和伪距离进行统一,为研究基于前提信息的随机化近似推理问题提供数值化依据. 展开更多

关键词 二值命题逻辑 D-随机真度 前提信息 Γ-随机相似度 Γ-随机伪距离

在线阅读 下载PDF 职称材料

二值命题逻辑中基于条件真度的近似推理(Ⅱ) 被引量：1

6

作者 王廷明 《计算机工程与应用》 CSCD 北大核心 2010年第29期50-52,共3页

在二值命题逻辑中引入了信息Г下理论的相对偏差概念,给出了相对偏差的条件真度表示式;提出了由信息Г下理论的相对偏差确定的公式是理论的III-型误差不大于ε的结论模式,并证明其与I,II-型误差不大于ε的结论模式是等价的,为从不同角... 在二值命题逻辑中引入了信息Г下理论的相对偏差概念,给出了相对偏差的条件真度表示式;提出了由信息Г下理论的相对偏差确定的公式是理论的III-型误差不大于ε的结论模式,并证明其与I,II-型误差不大于ε的结论模式是等价的,为从不同角度研究二值命题逻辑中基于条件真度的近似推理问题提供多样化工具。 展开更多

关键词 二值命题逻辑 条件真度 有限理论 相对偏差

在线阅读 下载PDF 职称材料

二值命题逻辑中限制逻辑等价关系及其应用

7

作者 亓正坤 王廷明 丁洁玉 《东北师大学报（自然科学版）》 CAS CSCD 北大核心 2012年第2期22-25,共4页

给出了(F(S),ρ)中公式的一种逻辑等价分解,利用这种逻辑等价分解讨论公式的真度、伪距离和相似度的计算问题,并且引入了(F(S′),ρ)中公式的限制逻辑等价概念,建立了一种等价关系.作为限制逻辑等价关系的应用,得到了(F(S),ρ)中基于真... 给出了(F(S),ρ)中公式的一种逻辑等价分解,利用这种逻辑等价分解讨论公式的真度、伪距离和相似度的计算问题,并且引入了(F(S′),ρ)中公式的限制逻辑等价概念,建立了一种等价关系.作为限制逻辑等价关系的应用,得到了(F(S),ρ)中基于真度的τ(A→X)=α型逻辑方程的解集,利用限制逻辑等价关系进行的一种相等"直径"的子集划分结果,为二值命题逻辑系统的逻辑推理和程度化的进一步研究提供了方法. 展开更多

关键词 二值命题逻辑 真度 限制逻辑等价 逻辑方程 解集

在线阅读 下载PDF 职称材料

二值命题逻辑中Γ限制蕴涵度量与近似推理

8

作者 王廷明 《计算机工程与应用》 CSCD 北大核心 2010年第35期36-38,共3页

基于某信息限制下若A则B的推理思想,以真度为基础,在二值命题逻辑系统中引入有限信息限制下的公式蕴涵度概念,由此定义了信息限制蕴涵度量,并通过信息限制蕴涵度量的真度表示式,给出一系列与有限理论结论集相关的限制蕴涵度量不等式,对... 基于某信息限制下若A则B的推理思想,以真度为基础,在二值命题逻辑系统中引入有限信息限制下的公式蕴涵度概念,由此定义了信息限制蕴涵度量,并通过信息限制蕴涵度量的真度表示式,给出一系列与有限理论结论集相关的限制蕴涵度量不等式,对二值命题逻辑中基于信息限制蕴涵度量的近似推理问题进行讨论。 展开更多

关键词 二值命题逻辑 真度 信息限制 Γ限制蕴涵度 Γ限制蕴涵度量 近似推理

在线阅读 下载PDF 职称材料

二值命题逻辑系统的T-真度理论(Ⅰ)

9

作者 王廷明 《计算机工程与应用》 CSCD 北大核心 2010年第10期33-35,共3页

在二值命题逻辑系统中引入了公式的T-真度概念,并讨论其逻辑运算性质。以此为基础定义了公式的T-相似度和T-伪距离,得到了公式到有限理论结论集的T-伪距离的T-真度表示式,为研究二值命题逻辑系统基于T-真度的近似推理问题提供数值化工具。

关键词 二值命题逻辑 真度 T-真度 T-相似度 T-伪距离

在线阅读 下载PDF 职称材料

命题逻辑公式集上的正则相似关系 被引量：1

10

作者 宋庆燕 杨兴忠 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2002年第4期23-27,共5页

研究了命题逻辑公式集(F(S))上的正则相似关系.在经典二值命题逻辑中引入了正则相似度概念,利用公式的真度概念给出了一种正则相似度,进而导出了全体公式集上的一种伪距离,并且证明了它与另外两种伪距离是等价的.

关键词 命题逻辑公式集 正则相似关系 正则相似度 伪距离 二值命题逻辑 近似推理

在线阅读 下载PDF 职称材料

系统L中τ(A→X)≥α型逻辑不等式的解问题

11

作者 王廷明 《计算机工程与应用》 CSCD 2012年第16期44-46,50,共4页

二值命题逻辑L中τ(A→X)≥α型基于真度的逻辑不等式在二值命题逻辑系统L的近似推理研究中有着重要应用。通过F(Sn)中公式是逻辑不等式τ(A→X)≥α解的几个充要条件,给出了该逻辑不等式的解集表示及其按真度相等关系和逻辑等价关系的... 二值命题逻辑L中τ(A→X)≥α型基于真度的逻辑不等式在二值命题逻辑系统L的近似推理研究中有着重要应用。通过F(Sn)中公式是逻辑不等式τ(A→X)≥α解的几个充要条件,给出了该逻辑不等式的解集表示及其按真度相等关系和逻辑等价关系的分类定理,得到了等价类的结构表示和等价类个数结论,为基于真度的逻辑不等式问题的进一步研究和应用提供结构性方法。 展开更多

关键词 二值命题逻辑 逻辑不等式 真度 极小项 解集

在线阅读 下载PDF 职称材料

山东农业大学学报 第39卷(2008年)总目次

12

《山东农业大学学报（自然科学版）》 CSCD 北大核心 2008年第4期664-666,共3页

关键词 农业大学学报 山东 甲氨基苯酚 目次 二值命题逻辑 新显色剂

在线阅读 下载PDF 职称材料