期刊文献+
共找到168篇文章
< 1 2 9 >
每页显示 20 50 100
一类二值谓词逻辑中公式的准真度理论 被引量:23
1
作者 王国俊 秦晓燕 周湘南 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第1期1-6,共6页
在二值谓词逻辑中引入了一阶语言的一类特殊解释,该类解释中的解释域取为非空有限集.在此基础上基于有限均匀分布概率测度空间的可数无穷乘积引入了逻辑公式的相对真度与准真度概念,证明了关于准真度而言MP规则与HS规则成立,并基于准真... 在二值谓词逻辑中引入了一阶语言的一类特殊解释,该类解释中的解释域取为非空有限集.在此基础上基于有限均匀分布概率测度空间的可数无穷乘积引入了逻辑公式的相对真度与准真度概念,证明了关于准真度而言MP规则与HS规则成立,并基于准真度对全体谓词公式之集进行了分类.准真度理论虽然并不与逻辑有效公式以及矛盾式概念完全吻合,但可证明存在一类公式,对该类公式而言,逻辑有效性等价于准真度为1,矛盾性等价于准真度为0.所以准真度为1或0分别是逻辑有效公式或矛盾式概念的一种推广. 展开更多
关键词 真度 等价 谓词逻辑 公式 无穷乘积 有限集 概率测度 证明 概念 理论
在线阅读 下载PDF
标准序列逻辑系统S_3中命题的真度值之集在[0,1]上的分布 被引量:9
2
作者 李骏 兰倩 夏亚峰 《甘肃工业大学学报》 CAS 北大核心 2003年第4期132-136,共5页
利用势为3的均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的真度概念,给出了真度推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑的近似推理理论奠定了基础.
关键词 标准序列逻辑系统 均匀概率空间 真度 稠密性 近似推理 逻辑演算
在线阅读 下载PDF
Gdel n值命题逻辑中命题的α-真度理论 被引量:25
3
作者 李骏 王国俊 《软件学报》 EI CSCD 北大核心 2007年第1期33-39,共7页
为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G?del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,... 为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G?del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,并利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.提出的程度化推理方法为近似推理的算法实现奠定了基础,并对知识推理的程度化有所启示. 展开更多
关键词 α-真度 真度 α-相似度 伪距离
在线阅读 下载PDF
命题逻辑中的程度化方法 被引量:67
4
作者 王国俊 宋建社 《电子学报》 EI CAS CSCD 北大核心 2006年第2期252-257,共6页
在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最... 在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最后,提出了有限逻辑理论的相容度理论. 展开更多
关键词 命题逻辑 诱导函数 真度 近似推理 相容度
在线阅读 下载PDF
n值Lkasiewicz命题逻辑中命题的α-真度理论 被引量:12
5
作者 李骏 王国俊 《计算机工程与应用》 CSCD 北大核心 2006年第31期16-18,232,共4页
基于均匀概率空间的无穷乘积,在n值Lukasiewicz逻辑系统中引入命题的α-真度理论,给出了一般真度推理规则;利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能。
关键词 α-真度 真度 相似度 伪距离
在线阅读 下载PDF
一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用 被引量:22
6
作者 张兴芳 孟广武 《计算机科学》 CSCD 北大核心 2005年第10期1-5,共5页
通过引进公式变元集赋值的新概念给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的有限解释真度及可数解释真度的定义,并讨论了它们的一系列性质及其在近似推理中的应用,从而为一阶谓词逻辑的近似推理理论提供了一种带度量的框架。
关键词 一阶模糊谓词逻辑 公式变元集的赋值 有限解释真度 可数解释真度 一阶谓词逻辑 模糊谓词逻辑 逻辑公式 真度 应用 可数 有限 近似推理 模糊语言
在线阅读 下载PDF
(3n+1)值逻辑系统R_0L中公式的真度性质 被引量:8
7
作者 吴洪博 周建仁 张琼 《电子学报》 EI CAS CSCD 北大核心 2011年第10期2230-2234,2229,共6页
基于计量逻辑学的思想,在(3n+1)值模糊命题逻辑系统R0L中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了(3n+1)值逻辑系统R0L中的真度MP规则及真度HS规则;利用真度定义了公式间的相似度与伪距离,从而为在(3n... 基于计量逻辑学的思想,在(3n+1)值模糊命题逻辑系统R0L中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了(3n+1)值逻辑系统R0L中的真度MP规则及真度HS规则;利用真度定义了公式间的相似度与伪距离,从而为在(3n+1)值逻辑系统R0L中建立近似推理理论提供了一种可能的框架. 展开更多
关键词 计量逻辑学 R0L系统 真度 相似度 伪距离
在线阅读 下载PDF
n值标准序列逻辑系统中的近似推理理论 被引量:6
8
作者 李骏 夏亚峰 兰倩 《兰州理工大学学报》 CAS 北大核心 2006年第2期135-138,共4页
在n值标准序列逻辑系统中引入公式的真度概念,利用真度定义了公式间的相似度和伪距离并证明了真度推理规则,同时给出一种推理误差的定义,这就为进一步在n值标准序列逻辑系统中展开近似推理奠定了基础.
关键词 真度 相似度 伪距离 误差
在线阅读 下载PDF
二值命题逻辑公式的语构程度化方法 被引量:17
9
作者 张东晓 李立峰 《电子学报》 EI CAS CSCD 北大核心 2008年第2期325-330,共6页
本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画.给出语构真度的实例,说明原来在语义下的真度是语构真度,并且由语构真度诱导的相似度和伪距离具有语义下相似度和伪距... 本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画.给出语构真度的实例,说明原来在语义下的真度是语构真度,并且由语构真度诱导的相似度和伪距离具有语义下相似度和伪距离的基本性质.给出τ-相容理论的概念,指出τ-相容理论和相容理论的内在关系. 展开更多
关键词 二值命题逻辑 真度理论 语构真度 τ-相容理论
在线阅读 下载PDF
标准序列逻辑系统S_3中的相似度及伪距离 被引量:2
10
作者 李骏 兰倩 +1 位作者 黎锁平 王柏岩 《兰州理工大学学报》 CAS 北大核心 2004年第5期139-142,共4页
在三值标准序列逻辑系统中引入了公式的真度概念,并利用真度定义了公式间的相似度,进而导出全体公式集上的一种伪距离,证明了伪距离空间中没有孤立点,从而可以考虑用一列公式去逼近某个公式,这就为进一步在三值标准序列逻辑系统中展开... 在三值标准序列逻辑系统中引入了公式的真度概念,并利用真度定义了公式间的相似度,进而导出全体公式集上的一种伪距离,证明了伪距离空间中没有孤立点,从而可以考虑用一列公式去逼近某个公式,这就为进一步在三值标准序列逻辑系统中展开近似推理奠定了基础. 展开更多
关键词 标准序列 伪距离 真度 逻辑系统 公式 逼近 孤立点 相似度 近似推理
在线阅读 下载PDF
命题逻辑系统中理论的真度概念及其应用 被引量:11
11
作者 王国俊 高香妮 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第5期1-6,共6页
首次在命题逻辑系统中引入理论的真度概念,将公式的真度推广为公式集的真度,从而简化了发散度的概念;进一步得出:当理论Γ相容时,理论的真度与相容度之间的关系为η(Γ)=(1+τ(Γ))/2;在命题逻辑系统C2中,将理论Γ1和Γ2分为六类,分别... 首次在命题逻辑系统中引入理论的真度概念,将公式的真度推广为公式集的真度,从而简化了发散度的概念;进一步得出:当理论Γ相容时,理论的真度与相容度之间的关系为η(Γ)=(1+τ(Γ))/2;在命题逻辑系统C2中,将理论Γ1和Γ2分为六类,分别讨论了各类中理论Γ1、Γ2与Γ1∪Γ2的真度之间的关系. 展开更多
关键词 理论的真度 相容度 发散度 有限 可数
在线阅读 下载PDF
半P-集合(X~■,X)与信息的内-真度环特征 被引量:8
12
作者 李豫颖 史开泉 《计算机科学》 CSCD 北大核心 2011年第4期239-243,248,共6页
P-集合(packet sets)是由内P-集合X■(internal packet set X■)与外P-集合XF(outer packet set XF)构成的集合对;或者(X■,XF)是P-集合。P-集合具有动态特性(内P-集合具有内-动态特性,外P-集合具有外-动态特性)。P-集合在动态信息系统... P-集合(packet sets)是由内P-集合X■(internal packet set X■)与外P-集合XF(outer packet set XF)构成的集合对;或者(X■,XF)是P-集合。P-集合具有动态特性(内P-集合具有内-动态特性,外P-集合具有外-动态特性)。P-集合在动态信息系统的多个领域中获得了应用。在一类信息系统中,这类信息系统只具有内-动态特性,不具有外-动态特性。为了研究这类只有内-动态特性的信息系统,改进并简化P-集合,提出了半P-集合(half packet sets)。半P-集合是由内P-集合X■与有限普通集合X构成的集合对,或者(X■,X)是半P-集合,半P-集合具有内-动态特性。以及半P-集合与有限普通集合的关系,以及半P-集合与P-集合的关系。利用半P-集合给出信息内-真度与信息内-真度环的概念、信息内-真度环定理以及内-信息恢复-还原的内-真度准则与内-信息恢复-还原的特征系数准则。利用这些结果,给出内-真度环在内-信息恢复-还原中的应用。半P-集合是研究一类动态信息系统的一个新的数学方法与数学模型;半P-集合在一类信息系统应用中前景看好。 展开更多
关键词 半P-集合 信息内-真度 信息内-真度环 内-真度环定理 信息发现 应用
在线阅读 下载PDF
经典命题逻辑的概率语义及其应用 被引量:10
13
作者 张家录 陈雪刚 赵晓东 《计算机学报》 EI CSCD 北大核心 2014年第8期1775-1785,共11页
文中将经典命题逻辑的赋值域由二值({0,1})推广到概率空间,引进了命题公式的概率赋值并建立命题逻辑的概率语义,证明了一个命题公式为重言式当且仅当其在每个概率赋值下的值都等于1.引入了命题公式的概率真度、不确定度、Λ-概率真度、... 文中将经典命题逻辑的赋值域由二值({0,1})推广到概率空间,引进了命题公式的概率赋值并建立命题逻辑的概率语义,证明了一个命题公式为重言式当且仅当其在每个概率赋值下的值都等于1.引入了命题公式的概率真度、不确定度、Λ-概率真度、Λ-不确定度等概念,并说明了Λ-概率真度是已有的二值命题逻辑各种真度概念的推广,通过讨论Λ-概率真度的性质,表明Λ-概率真度在全体公式集F(S)上满足Kolmogorov公理.证明在形式推演的一个有效推理中,结论的Λ-不确定度不超过各前提的Λ-不确定度与其必要度的乘积之和.利用公式的Λ-不确定度引进公式间的Λ-相似度和Λ-伪距离,证明了在一定条件下所建立的Λ-伪距离空间没有孤立点且通常的逻辑运算关于Λ-伪距离是连续的.在Λ-伪距离空间中,提出了F(S)上的两种不同近似推理模式,并通过实际应用例子说明所提出的近似推理模式是有效的. 展开更多
关键词 概率语义 ∧-概率真度 ∧-不确定度 ∧-伪距离 概率逻辑 近似推理
在线阅读 下载PDF
粗糙逻辑中公式的Borel型概率粗糙真度 被引量:14
14
作者 折延宏 贺晓丽 《软件学报》 EI CSCD 北大核心 2014年第5期970-983,共14页
以一种特殊的粗糙逻辑为研究对象,视全体赋值之集为通常乘积拓扑空间,通过利用赋值集上的Borel概率测度,提出了能融合粗糙逻辑与计量逻辑为一体的公式的Borel型概率粗糙真度理论,给出了公式概率粗糙真度的公理化定义,建立起了相应的概... 以一种特殊的粗糙逻辑为研究对象,视全体赋值之集为通常乘积拓扑空间,通过利用赋值集上的Borel概率测度,提出了能融合粗糙逻辑与计量逻辑为一体的公式的Borel型概率粗糙真度理论,给出了公式概率粗糙真度的公理化定义,建立起了相应的概率真度表示定理.公式的概率粗糙真度理论可被看作粗糙逻辑中已有工作的计量化,也可看作计量逻辑学中真度理论的粗糙化.基于这一核心概念,进一步给出了粗糙逻辑中已有概念的程度化表示形式,如公式的粗糙度、精确度、公式之间的粗糙相似度等,并建立起了基于粗糙相似度的3种近似推理模式.该结果实现了粗糙逻辑与计量逻辑的和谐统一,为进一步基于粗糙真值的程度化推理搭建了一个可能的框架. 展开更多
关键词 粗糙逻辑 概率粗糙真度 粗糙相似度 近似推理
在线阅读 下载PDF
计量逻辑学(Ⅰ) 被引量:200
15
作者 王国俊 《工程数学学报》 CSCD 北大核心 2006年第2期191-215,共25页
在多值命题逻辑系统中提出了公式的真度概念。基于此,提出了公式间的相似度与伪度量,研究了所得的逻辑度量空间的基本性质,提出并研究了逻辑理论的发散度与相容度概念,给出了三种近似推理的模式,初步建立了计量逻辑学理论。
关键词 真度 相似度 伪度量 发散度 相容度 计量逻辑
在线阅读 下载PDF
逻辑系统G_n中理论的真度概念及其应用 被引量:2
16
作者 高香妮 折延宏 王国俊 《计算机工程与应用》 CSCD 北大核心 2010年第24期30-33,共4页
首次在命题逻辑系统中引入理论的真度概念,使得真度的概念由公式的真度推广为公式集的真度,从而简化了发散度的概念;在逻辑系统Gn中讨论了理论Γ1、Γ2和Γ1∪Γ2的真度、相容度和发散度之间的关系。
关键词 逻辑系统Gn 理论的真度 真度 相容度 发散度
在线阅读 下载PDF
n值Lukasiewicz命题逻辑系统中公式的绝对真度理论 被引量:8
17
作者 李骏 李建生 周艳 《兰州理工大学学报》 CAS 北大核心 2008年第1期134-138,共5页
在n值Lukasiewicz命题逻辑系统中,回避均匀概率空间中的无穷乘积测度,借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念,并利用绝对真度定义公式间的绝对相似度和伪距离.讨论绝对相似度和伪距离性质.证明┑,→,∧,∨运算在伪距离... 在n值Lukasiewicz命题逻辑系统中,回避均匀概率空间中的无穷乘积测度,借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念,并利用绝对真度定义公式间的绝对相似度和伪距离.讨论绝对相似度和伪距离性质.证明┑,→,∧,∨运算在伪距离空间中是连续的. 展开更多
关键词 Lukasiewicz逻辑 绝对真度 绝对相似度 伪距离
在线阅读 下载PDF
修正的n值Gdel逻辑系统的随机化 被引量:15
18
作者 李修清 魏海新 林亮 《计算机工程与应用》 CSCD 2012年第24期45-48,共4页
利用赋值集的随机化方法,在修正的n值Gdel逻辑系统中提出了公式的随机真度和随机距离的概念,建立了随机度量空间。指出当取均匀概率时,随机真度就转化为计量逻辑学中的真度,建立了更一般的随机逻辑度量空间。
关键词 随机概率分布矩阵 随机真度 随机逻辑度量空间
在线阅读 下载PDF
多值模态逻辑的计量化方法 被引量:10
19
作者 时慧娴 王国俊 《软件学报》 EI CSCD 北大核心 2012年第12期3074-3087,共14页
在多值模态逻辑中构建了n-值模态模型及相应的语义理论,并指出这种语义是经典模态逻辑语义的推广.定义了W,R n-型框架的概念,并在该框架下用归纳的方法构建了由模态公式诱导的局部化映射,给出公式的局部化真度的概念,并指出任意模态公... 在多值模态逻辑中构建了n-值模态模型及相应的语义理论,并指出这种语义是经典模态逻辑语义的推广.定义了W,R n-型框架的概念,并在该框架下用归纳的方法构建了由模态公式诱导的局部化映射,给出公式的局部化真度的概念,并指出任意模态公式的局部化真度都可以转化为另一个不含模态词的公式在同一可能世界处的局部化真度.定义了模态公式的全局真度,并证明了当某模态公式不含模态词时,其全局真度与其在一般命题逻辑中的真度一致. 展开更多
关键词 多值模态逻辑 (W R)n-型框架 n-值模态模型 局部化真度 全局真度 时态逻辑
在线阅读 下载PDF
L~*系统中公式的语构程度化方法 被引量:8
20
作者 罗敏霞 姚宁 《电子学报》 EI CAS CSCD 北大核心 2011年第2期424-428,共5页
本文从语构角度出发,给出L*系统中公式的语构真度的概念,讨论其相关的一系列性质,并进一步研究L*系统中由语构真度诱导的公式间的相似度及伪度量,证明由语构真度诱导的伪度量空间中运算的连续性,从而为在L*系统中基于语构理论展开近似... 本文从语构角度出发,给出L*系统中公式的语构真度的概念,讨论其相关的一系列性质,并进一步研究L*系统中由语构真度诱导的公式间的相似度及伪度量,证明由语构真度诱导的伪度量空间中运算的连续性,从而为在L*系统中基于语构理论展开近似推理提供可能的框架. 展开更多
关键词 L*系统 语构真度 相似度 伪度量 伪度量空间
在线阅读 下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部