主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

命题演算系统L~*中的Boole型理论  CNKI文献

研究了命题演算系统L*中一类特殊理论——Boole型理论的内部结构.从语构、语义两个方面分别给出了一个理论为Boole型理论的几个充要条件.利用Boole型理论在全体公式集F(S)中引入了同余关系,证明了商代数是...

王茹 王国俊 《陕西师范大学学报(自然科学版)》 2008年04期 期刊

关键词: Boole型理论 / R0代数 / Boole代数 / L*系统

下载(47)| 被引(0)

L~*系统中的模糊演绎定理与R_0代数性质...  CNKI文献

随着人工智能与信息科学研究的不断深入,模糊逻辑的研究也已成为了一大热点,而模糊逻辑的研究与逻辑代数密不可分。 历史上,早期的逻辑代数研究始于Leibniz,他用符号表示命题,建立了二值逻辑...

王小敏 导师:吴洪博 陕西师范大学 2007-04-01 硕士论文

关键词: 模糊逻辑 / L~*系统 / R_0代数 / 演绎定理

下载(55)| 被引(0)

R_0代数及Vague集的相似度理论  CNKI文献

长期以来,作为模糊推理的数学基础,模糊逻辑一直是人工智能界关注的热点,许多基于不同实际背景的模糊逻辑的形式演绎系统被提出,与之相对应的代数语义方面的研究也硕果累累,其中基于连续t-模的BL#~

韩诚 导师:王国俊 陕西师范大学 2006-04-01 博士论文

关键词: R_0代数 / L~*系统 / Σ-完备性 / Vague集

下载(390)| 被引(3)

基础R_(0-)代数与基础L~*系统  CNKI文献

研究了王国俊教授建立的模糊命题演算的形式演绎系统L~*和与之在语义上相匹配的R_0-代数,以及Petr Hajek建立的模糊命题演算系统BL和BL_-代数,提出了基础Ro-代数和基础L~*系统

吴洪博 《数学进展》 2003年05期 期刊

关键词: 模糊逻辑 / 基础R_0-代数 / 基础L~*系统 / MV-代数

下载(281)| 被引(163)

关于形式系统L~*及R_0代数的若干结果  CNKI文献

研究了模糊逻辑的形式演绎系统LR0 代数的性质,得到形式系统L 的两个更简捷的等价系统,证明了R0 代数的对偶代数是有界逆序对合BCK 代数,并给出关于R0

王保社 张小红 《陕西师范大学学报(自然科学版)》 2003年03期 期刊

关键词: 模糊逻辑 / 形式演绎系统 / R0代数 / BCK代数

下载(53)| 被引(10)

基础R_0-代数的性质及在L~*系统中的应用  CNKI文献

研究了王国俊教授建立的模糊命题演算的形式演绎系统和与之在语义上相关的R_0-代数,提出了基础R_0-代数的观点并讨论了其中的一些性质,在将系统中的推演证明转化为相应的R_0-代数中的~...

吴洪博 《数学研究与评论》 2003年03期 期刊

关键词: 模糊逻辑 / 基础R_0-代数 / R_0-代数 / 系统

下载(114)| 被引(46)

L~*系统中的一类广义重言式与L~*  CNKI文献

模糊逻辑作为非经典数理逻辑的一个重要分支是人工智能与信息科学等许多领域中推理机制的基础。按Zadeh的观点,模糊逻辑有广义与狭义之分,其中狭义模糊逻辑(FLn)是近似推理的形式化逻辑系统。它的研究是与逻辑...

王龙春 导师:王国俊 陕西师范大学 2003-04-01 硕士论文

关键词: 模糊逻辑 / L~*系统 / R_0-代数 / 广义重言式

下载(84)| 被引(0)

R_0-代数中一种混合运算的性质及L~*系统  CNKI文献

研究了王国俊教授建立的模糊命题演算的形式演绎系统 L*及与之在语义上相关的 R0 -代数 ,讨论了 R0 -代数中混合运算 :a b =( a→b)的性质 ,并以此为工具利用 Petr Ha...

佟伟玲 李全有... 《纯粹数学与应用数学》 2002年03期 期刊

关键词: 模糊逻辑 / 命题演算 / R0-代数 / 混合运算

下载(53)| 被引(1)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状