王国俊
- 作品数：240 被引量：1,673H指数：28
- 供职机构：陕西师范大学数学与信息科学学院更多>>
- 发文基金：国家自然科学基金陕西省自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：理学自动化与计算机技术自然科学总论电子电信更多>>
- 拓扑分子格范畴与相关范畴的关系被引量：5
- 1997年
- 以Fuzzy拓扑学与点集拓扑学为背景,1979年我们提出了拓扑分子格理论,此后几经拓广,文献[3]与[4]是其最一般的框架。正如文献[3]所指出的,Fuzzy拓扑学与点集拓扑学都是拓扑分子格理论的特款,然而关于是否可以通过经典拓扑学的方法来处理拓扑分子格理论的可行性问题似乎并不很清楚。本文将从范畴论的角度出发讨论拓扑分子格范畴(?)与拓扑空间范畴(?)以及局部超紧Sober双拓扑空间范畴(?)之间的关系。
- 王国俊李永明
- 基于L^＊和Luk逻辑系统的反向三I算法的统一形式被引量：3
- 2008年
- 三I算法是模糊推理的FMP和FMT模型的有效的算法,反三I支持算法为设计模糊推理规则提出了一个新思路。讨论了基于L*和Luk逻辑系统的反向三I推理,并给出推理算法的统一形式。
- 胡明娣王国俊
- 关键词：三I算法
- 人工智能中缺省逻辑的可表示性(英文)被引量：1
- 2006年
- 本文基于缺省理论的扩充集来研究缺省理论的表示性问题。首先,得到了若干关于缺省理论等价的性质。其次,证明有具配对不相容扩充的缺省理论可由(无前提)(半)正规缺省理论表示。此外,提出了一些用于说明所得结果的例子。
- 傅丽王国俊
- 关键词：缺省理论
- 从Riemann积分的定义看推广变量收敛理论的必要性
- 2006年
- 指出了R iem ann积分定义中积分和的极限已超出了数学分析中变量极限理论的范围,由此看出推广变量极限理论是必要的;简要地介绍了更一般的收敛理论,即网的Moore-Sm ith收敛理论,并通过这种收敛理论给出了定积分的严格定义.
- 王国俊
- 关键词：RIEMANN积分变元定向集
- Fuzzy逻辑与有序代数
- 从逻辑学的观点出发,从语构与语义两个方面分析了MV-代数、BL-代数以及R-代数的来源,分析了Fuzzy逻辑与这些有序代数之间的关系.
- 王国俊
- 关键词：MV-代数BL-代数R0-代数LINDENBAUM代数FUZZY逻辑
- 文献传递
- 论聚合与推理的顺序被引量：4
- 1999年
- 给定一组推理规则，可以先把这组规则聚合为一个超规则，然后依此超规则进行推理；也可先分别依据各给定规则进行推理，然后将所得结果进行聚合．本文证明了这两种方法都可以是相容的，并指出Ｂｕｃｋｌｅｙ与Ｈａｙａｓｈｉ关于前者一定不相容的论断是错误的．
- 王国俊
- 关键词：模糊推理延拓
- 经典逻辑度量空间上的反射变换被引量：14
- 2009年
- 探讨了逻辑度量空间的结构,证明了在经典逻辑度量空间上存在一种反射变换φ,且φ保持逻辑等价关系不变,并且是同态映射;φ自然导出Lindenbaum代数上的一个反射变换φ*,φ*是Lindenbaum代数上的自同构变换,并且是等距变换.研究了φ*的不动点性态,得到了不动点的一般形式,即[A]∨φ*([A])或[A]∧φ*([A])(A∈F(S)).最后指出当n>2时,对于n值G del逻辑系统,相应的逻辑度量空间不具有上述性质.
- 胡明娣王国俊
- 关键词：经典逻辑LINDENBAUM代数逻辑度量空间自同构不动点
- MV代数的度量化研究及其在Lukasiewicz命题逻辑中的应用被引量：10
- 2009年
- 设M是一个MV代数,Ω是从M到标准MV代数[0,1]_(MV)的全体同态之集,μ是Ω上的概率测度.基于μ在M中引入了元素(称之为元素命题)的真度概念以及元素命题间的相似度概念,并由此在M上建立了度量结构,从而在更广泛的框架下建立了度量理论.本文结果是已有的命题逻辑中逻辑公式的真度理论的一般化和代数化,思想也可应用到其他多值逻辑代数中.
- 王国俊周红军
- 关键词：MV代数真度
- F(S)在Lukasiewicz逻辑系统中的一种分划被引量：3
- 2004年
- 利用McNaughton函数,研究了Lukasiewicz逻辑系统中的可达广义重言式,证明了当α为无理数时,没有可达α 重言式,进而给出了F(S)的一个分划.还证明了在Lukasiewicz逻辑系统中,重言式可由对非重言式进行有限次升级算法得到.
- 马晓珏王国俊
- 关键词：LUKASIEWICZ逻辑系统
- 的正则子R_0代数及其应用
- 2004年
- 引入了 W的正则子R0代数的概念,证明了这种代数在 W中关于势是均匀分布的.又证明了当判定一个逻辑公式是否为 W中的α 重言式时,可以用 W的任一正则R0 代数去替代 W作判断,特别是可以用具有简单结构的正则子R0 代数W0去作判断,这里W0仅有一个聚点0.5,并且在一定意义下是"收缩不变"的.
- 王龙春王国俊
- 关键词：广义重言式同构映射
