位置：成果数据库 > 期刊 > 期刊详情页
经典推理模式的随机化研究及其应用（Ⅱ）
  • ISSN号：1001-7402
  • 期刊名称：《模糊系统与数学》
  • 时间：0
  • 分类：O141[理学—数学;理学—基础数学]
  • 作者机构：[1]延安大学数学与计算机科学学院,陕西延安716000, [2]陕西师范大学数学研究所,陕西西安710062, [3]西安交通大学基础科学研究中心,陕西西安710049
  • 相关基金：国家自然科学基金重点资助项目（10331010;10771129）
作者： 惠小静[1,2], 王国俊[2,3]
关键词： D-随机真度, D-逻辑度量空间, 近似推理, D-randomized Truth Degree, D-logic Metric Space, Approximate Reasoning
中文摘要：

证明了D-逻辑度量空间中三种近似推理模式是等价的，指出了全体原子公式之集在D-逻辑度量空间中未必是全发散的。

英文摘要：

It is proved that the three different types of approximate reasoning patterns are equivalent to each other and the set of atomic formulas is not totally divergent in D-logic metric space.

同期刊论文项目
序、拓扑及形式语义学的数学基础
期刊论文 202 会议论文 2 著作 1
知识推理的计量化与随机化研究
期刊论文 62
同项目期刊论文
基于有限迁移系统的线性时态逻辑的计量化方法
迁移系统关于一类时态逻辑公式的满足度
BL代数中极大滤子的拓扑性质
经典命题逻辑中的一致结构与一致拓扑
计量逻辑学的基本思想和研究综述
经典命题逻辑中的近似推理与强近似推理
R0代数上的一致拓扑空间
计量逻辑学中的线性逻辑公式
剩余格中的Fuzzy(P)滤子的结构
计量逻辑学中的雪崩逻辑公式
匕ukasiewicz三值命题逻辑中公式的可靠真度理论
对称逻辑公式在L3^＊逻辑度量空间中的分布
具定号系数多滞量AFDE的振动性
L3^＊系统中逻辑度量空间的拓扑性质
模糊模态逻辑系统MLuk中的可达广义重言式
Lukasiewicz三值逻辑中命题的真度值之集在[0,1]上的分布
蕴涵格的正规MP滤子与素滤子
关于K的三种模糊模态逻辑
一类AFDE的振动性及其应用
网页源码抓取方法的设计与实现
逻辑方程解的性质
用模糊Galois联络对L-模糊粗糙集进行公理化刻画
D-逻辑度量空间中的相容理论
系统L^＊中极大相容理论的结构刻画和紧致性定理
基于ASP．NET的数据迁移方法
逻辑系统MTL_▽及其完备性
广义三角模和广义剩余蕴涵之间的对应关系
命题逻辑中广义MP问题的合理解
逻辑系统Gn中理论的真度概念及其应用
逻辑伪度量空间中的孤立点
命题逻辑系统Ln中公式集上的真度函数
n值标准逻辑系统中的随机化研究
广义MP问题的三I真度解
模糊推理三Ⅰ约束算法的一般表示
关于随机真度的若干注记
标准序列逻辑系统S3中公式的概率真度理论
三值Godel命题逻辑系统的随机化
一种非均匀概率空间下逻辑系统G3中命题的真度理论
关于三值R0命题逻辑系统的若干注记
模糊推理三Ⅰ算法的还原性
n值逻辑系统L_n~*中广义重言式的计量化研究
经典逻辑度量空间上的反射变换
逻辑系统Ln中的真度、发散度与相容度的分布
三值命题逻辑系统L3^＊中逻辑理论性态的拓扑刻画
MV代数的度量化研究及其在Lukasiewicz命题逻辑中的应用
命题演算系统L~*中的Boole型理论
概率逻辑学基本定理在多值命题逻辑系统中的推广
具有振动系数AFDE的振动性
正则蕴涵算子所对应的逻辑伪度量空间
逻辑系统NMG的满足性和紧致性
命题逻辑系统中理论的真度概念及其应用
三值R0命题逻辑系统中理论的随机发散度
基于支持度理论的广义MP问题的形式化解
模态R代数与模态滤子的若干性质
Tableau-based算法的改进与有限步终止定理
模糊模态逻辑中的永真式与准永真式
三值R0命题逻辑系统的随机化
基于VBS的IP地址自动配置方法
广义MP问题的α-三Ⅰ解的形式化理论
Subsystems of a topological sy
A note on implicators based on
Quantum finite automata and qu
Comparison of deduction theore
Lukasiewicz 命题集的积分真度、
IL型三I 算法及其还原性
几类n值逻辑系统中的MP滤子
拟连续Domain上的扩张定理
概率逻辑学基本定理的推广
二值命题逻辑中理论的发散性、相
四种命题逻辑中公式的相对Γ－重
几个三值命题逻辑系统中命题真度
一类二值谓词逻辑中公式的准真度
HC-偏序集的若干性质
Hausdorff拓扑与Scott拓扑的对偶
有限偏序集的Cartesian积的收缩
局部强紧空间的Hoare空间与Smyth空间
z-代数偏序集的范畴特征
关于拟连续Domain的一个注记
广义完全分配偏序集的若干性质
强Raney偏序集
正则关系与正规空间
半连续格和半代数格的映射性质
An intrinsic fuzzy set on the
Several classes of implication
正则关系与完全正则空间
计量逻辑学 (I)
三I算法的统一形式
Lukasiewicz 命题逻辑系统中的赋
无前提规范闭缺省理论的扩充的构
命题逻辑中的程度化方法
基于种群分类解决遗传算法的“早
开滤子Domain的分配性
实时半盲非线性均衡算法：N-伪递
W的正规子Ro-代数及其应用
L-Fuzzy 拓扑空间中的 l- 聚点和
Ro-代数[0，1]的子代数与广义重
紧Hausdorff测度空间上的Riemann
模糊测度Shapley熵的完备化
函数空间连续性的一个注记
关于混合Domain的几个问题
关于积Domain上的Scott拓扑和连
FMP问题的构造性方法
locale的弱拓扑表达
命题逻辑中极大和谐理论之集上的
系统Hα中广义语义MP规则与广义
基于正则蕴涵算子的三I算法的性
Boole代数上的度量结构及其在命
F(S)在Lukasiewicz逻辑系统中的
一阶逻辑完备性定理的新代数证明
拟Z-连续Domain与Z-交连续Domain
伪度量L*- - Lindenbaum代数中基
G?del n 值命题逻辑中命题的α－
A note on stratified L-real li
Z-拟代数Domain
Fuzzy实直线上级数的绝对收敛性
平移空间上的线型结构
广义(超连续格的关系表示
拟Z-代数domain
根与F(S)中的近似推理
Multi-criteria decision-making
Order environments of topologi
命题演算系统L*与谓词演算系统K*
Lukasiewicz n 值命题逻辑中公式
基于正则蕴涵算子与强否定的支持
命题公式集F(S)的基于Ro—算子的
Priestley Spaces, Quasi-hypera
Completely regular paracompact
Maximum density for the Sierpi
经典推理模式的随机化研究及其应
概率逻辑伪度量空间及其性质
半连续格上的半Scott拓扑和半Law
A fuzzy approach for blind equ
An equivalence relation charac
Quasicontinuous domains and ge
A topological characterization
A new consistency index based
Generalized consistency degree
超连续Domain与拟超连续Domain
基于双参数可变阈值的雷达脉冲分
关于三 I FMT 问题的若干注记
三 I 方法综述－它的提出、发展
一阶谓词模糊公式的区间解释真度
Unified forms of Triple I meth
Regular relations and strictly
Regular relations and monotone
完备格的关系表示定理及其应用
论G?del 蕴涵算子不宜于用于建立
Lattices of quotients of compl
Consistency degrees of finite
Unified forms of fully implica
Characterizations of maximal c
Residuated lattices and lattic
A 16-classification partition
一种求概念格属性约简的方法
Convex power domain and Vietor
Formalized theory of general f
Endographic approach on suprem
从事实逻辑到任务逻辑
Ro-代数的Fuzzy MP滤子
Remarks on Completely Regular
Regular relations and complete
拟连续Domain的若干拓扑性质
Regular relations and normalit
基础Ro－代数的正规MP滤子和布尔
二值命题逻辑中命题的条件真度理
概念格属性约简的判定
一类Lukasiewicz n+1 值逻辑系统
Consistency degrees of theorie
多值逻辑系统Wn中 (- - 三I问题
累积缺省逻辑的扩充
扩充与缺省规则的简化和分类
弱空间式locale
广义Frame
RL型蕴涵与Fuzzy推理的三I算法
Representability of default lo
Completion of the Shapley entr
A Constructive Proof of The Ge
Weinian Zhang, Discrete dynami
正则余剩余格的特征及其应用
n 值Lukasiewicz 命题逻辑中命题
Ro-代数的Ro-语义集上的拓扑
逻辑系统L*n 中命题的真度理论
Conic functions on metric spac
关于K的三种模糊模态逻辑
系统L^＊中极大相容理论的结构刻画和紧致性定理
MV代数的度量化研究及其在Lukasiewicz命题逻辑中的应用
命题演算系统L~*中的Boole型理论
广义Smooth格
强Sober空间的若干性质
Smooth格和强Smooth格
Z-连通代数偏序集及其范畴
伪Scott拓扑与伪Scott开滤子
人工智能中缺省逻辑的可表示性
计量逻辑学（Ⅰ）
Z-半连续偏序集的性质
拟Z-连续Domain的基
广义λ完全分配格的关系表示
拟半连续格
Exact偏序集的乘积和映射性质
Z-连续偏序集的特征与稠密度
Z-极小集及其对Z-连续偏序集的应用
半Smooth格
几种逻辑系统中的近似推理理论
全蕴涵多Ⅰ算法及其在多准则决策中的应用
强代数格的拓扑表示定理
效应代数中的模糊滤子
修正的Product逻辑系统中的广义矛盾式
平移空间的线性结构
拟Z-极小集及其应用
二值逻辑中命题的条件真度理论
超连续Domain与拟超连续Domian
几类基于L＊上二元聚合算子的蕴涵
广义完全极小集及其应用
Z-连续Domain关于Z-子空间的遗传性
一致连续偏序集的特征和浓度
n元三值函数可由L3^＊中公式导出的充要条件
一类Lukasiewicz n＋1值逻辑系统中VDF问题的求解理论
系统Hα中的子代数的广义重言式理论
拓扑系统的子系统
基于模糊推理方法的企业预警模型
二值命题逻辑中的三种Г近似推理模式及其等价性
多值命题逻辑中逻辑理论的拓扑刻画
关于Boole语义的真度不变性定理
三Ⅰ方法综述——它的提出、发展、应用和逻辑版本
关于三I FMT问题的若干注记
四种命题逻辑中公式的相对Γ-重言度理论
关于一致连续偏序集的若干性质
Z-连通连续偏序集的权的一些性质
基于支持度理论的广义Modus Ponens问题的最优解
剩余格中的Fuzzy（P）滤子
IL型三I算法及其还原性
Lukasiewicz命题逻辑系统中的赋值决定公式问题
n值Lkasiewicz命题逻辑中命题的α-真度理论
余剩余格的理想和嵌入定理
二值命题逻辑中理论的发散性、相容性及其拓扑刻画
拟Z-连续domain和Z-交连续domain
广义Frame的谱空间
A Remark on WaUman Compactification of Locales
双定向完备偏序集上的双Scott拓扑
Some Properties of Morphisms in Effect Algebras
Boole代数的等价刻画
二值命题逻辑F（S_n）中的基本推理链
F（Sn）中公式集Γ的全体结论之集D（Γ）的结构
二值命题逻辑F（Sn）在可证等价意义下的一般表示
Lukasiewicz命题集的积分真度、发散度与相容度的分布
缺省逻辑的Roos扩充
关于偏序集上的关联蕴涵代数
偏蕴涵代数
系统Ha中广义语义MP规则与广义语义HS规则
基于L^＊和Luk逻辑系统的反向三I算法的统一形式
NML代数的滤子及其结构
NML代数的性质及其滤子与理想
期刊信息
  • 《模糊系统与数学》
  • 中国科技核心期刊
  • 主管单位:国防科技大学
  • 主办单位:国防科技大学理学院 国防科技大学理学院
  • 主编：刘应明
  • 地址：湖南长沙国防科技大学理学院
  • 邮编：410073
  • 邮箱：fuzzysys@cfsm.cn
  • 电话：0731-84576220
  • 国际标准刊号：ISSN：1001-7402
  • 国内统一刊号：ISSN：43-1179/O1
  • 邮发代号:42-180
  • 获奖情况:
  • 美国《数学评论》（Mathematical Reviews）核心引...,中国科技论文统计源期刊,《中国科学引文数据库》来源期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:8133