期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
计量逻辑学(Ⅰ) 被引量:199
1
作者 王国俊 《工程数学学报》 CSCD 北大核心 2006年第2期191-215,共25页
在多值命题逻辑系统中提出了公式的真度概念。基于此,提出了公式间的相似度与伪度量,研究了所得的逻辑度量空间的基本性质,提出并研究了逻辑理论的发散度与相容度概念,给出了三种近似推理的模式,初步建立了计量逻辑学理论。
关键词 真度 相似度 伪度量 发散度 相容度 计量逻辑
下载PDF
二值命题逻辑中理论的发散性、相容性及其拓扑刻画 被引量:26
2
作者 王国俊 折延宏 《数学学报(中文版)》 SCIE CSCD 北大核心 2007年第4期841-850,共10页
在二值命题逻辑系统中基于逻辑度量空间(F(S),ρ)而建立起了逻辑理论的发散性、相容性和理论的拓扑性质之间的联系。证明了逻辑理论Г是全发散的当且仅当D(Г)在(F(S),ρ)中稠密,闭理论Г是相容的当且仅当Г在(F(S),ρ)中不含内点,证明... 在二值命题逻辑系统中基于逻辑度量空间(F(S),ρ)而建立起了逻辑理论的发散性、相容性和理论的拓扑性质之间的联系。证明了逻辑理论Г是全发散的当且仅当D(Г)在(F(S),ρ)中稠密,闭理论Г是相容的当且仅当Г在(F(S),ρ)中不含内点,证明了(F(S),ρ)是零维空间,并具有一种类似于樊畿性质的所谓“有限等球连通性”. 展开更多
关键词 逻辑度量空间 理论 发散度
原文传递
计量逻辑学中的近似推理 被引量:9
3
作者 韩邦合 李永明 《模糊系统与数学》 CSCD 北大核心 2010年第5期1-7,共7页
在多值逻辑系统中给出了计量逻辑学中单个公式到Γ结论集的距离公式,在此基础上,给出发散度的简化形式,讨论了计量逻辑学中三种近似推理模式之间的关系。
关键词 真度 相似度 伪度量 发散度 计量逻辑学 近似推理
原文传递
逻辑系统G_n中理论的真度概念及其应用 被引量:2
4
作者 高香妮 折延宏 王国俊 《计算机工程与应用》 CSCD 北大核心 2010年第24期30-33,共4页
首次在命题逻辑系统中引入理论的真度概念,使得真度的概念由公式的真度推广为公式集的真度,从而简化了发散度的概念;在逻辑系统Gn中讨论了理论Γ1、Γ2和Γ1∪Γ2的真度、相容度和发散度之间的关系。
关键词 逻辑系统Gn 理论的真度 真度 相容度 发散度
下载PDF
Lukasie wicz命题集的积分真度、发散度与相容度的分布 被引量:4
5
作者 李立峰 王国俊 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第2期5-8,共4页
研究了Lukasiewicz命题集的积分真度、发散度与相容度在[0,1]中的分布问题.利用一组公式所对应的McNaughtom函数,证明了Lukasiewicz逻辑系统中积分真度之集在[0,1]中稠密、发散度取值之集在[0,1]中稠密.结果表明,当Γ有限且相容时,相容... 研究了Lukasiewicz命题集的积分真度、发散度与相容度在[0,1]中的分布问题.利用一组公式所对应的McNaughtom函数,证明了Lukasiewicz逻辑系统中积分真度之集在[0,1]中稠密、发散度取值之集在[0,1]中稠密.结果表明,当Γ有限且相容时,相容度取值之集在[1/2,1]中稠密. 展开更多
关键词 积分真度 发散度 相客度 稠密性
下载PDF
植物分枝模型 被引量:1
6
作者 王治 李向荣 +2 位作者 王瑛 戴佳 郭友好 《武汉植物学研究》 CSCD 1999年第1期41-45,共5页
从生物体总是最有效地利用物质的思想出发 ,对植物分枝形状建立了一个数学模型。该模型认为 ,当主干与侧枝的截面积之间存在类似平行四边形法则的关系时 ,分枝的体积取极小值。该模型揭示植物分枝形态不仅符合力学平衡的原则 ,在进化上... 从生物体总是最有效地利用物质的思想出发 ,对植物分枝形状建立了一个数学模型。该模型认为 ,当主干与侧枝的截面积之间存在类似平行四边形法则的关系时 ,分枝的体积取极小值。该模型揭示植物分枝形态不仅符合力学平衡的原则 ,在进化上也有显著生物学意义。根据实测数据提出了偏移度的概念 ,认为分枝形态建成与个体内部枝条相互作用有关 ,植物分枝取向受空间效应影响时仍满足体积最小的原则。由于此模型具有随机性 ,遵循此模型的分枝可呈现千变万化的形式。模型将分枝角度与分枝截面积有机结合起来 ,可作为计算机模拟植物的方法。 展开更多
关键词 分枝模型 偏移度 计算机模拟 植物
下载PDF
逻辑系统■中的真度、发散度与相容度的分布 被引量:1
7
作者 于海 詹婉荣 王国俊 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第5期6-9,共4页
研究了n值Lukasiewicz命题逻辑系统■中公式的真度、理论的发散度与相容度的分布问题.令H={k/nm|k=0,…,nm;m=1,2,…},利用McNaughton函数证明了对任意k/nm∈H,都有公式A,使得A的真度为k/nm,从而全体公式的真度值之集在[0,1]中稠密.又... 研究了n值Lukasiewicz命题逻辑系统■中公式的真度、理论的发散度与相容度的分布问题.令H={k/nm|k=0,…,nm;m=1,2,…},利用McNaughton函数证明了对任意k/nm∈H,都有公式A,使得A的真度为k/nm,从而全体公式的真度值之集在[0,1]中稠密.又由真度值之集的稠密性和系统■的广义演绎定理证明了理论的发散度取值之集为单位区间[0,1].最后由理论的相容度与发散度的关系得到了理论的相容度取值之集为{0}∪[1/2,1]. 展开更多
关键词 逻辑系统Ln 真度 发散度 相容度
下载PDF
慢延伸指数函数中一个序列的理论分布测度
8
作者 吴达 《应用数学》 CSCD 北大核心 2002年第S1期72-75,共2页
慢延伸指数函数的分项部分的序列是”理想”均匀分布的 .本文对这种”理想”均匀分布的偏离程度给出了一个数值估计 ,并把这一数值估计称为这个序列的理论分布测度 .
关键词 慢延伸 偏离程度 数值估计 测度
全文增补中
上一页 1 下一页 到第
使用帮助 返回顶部