作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
主要讨论DFL谓词描述下的归结推理方法,它是一种机器化的可在计算机上加以实现的推理方法.首先介绍DFL命题下的归结方法,最后介绍DFL的归结原理及方法.
推荐文章
算子动态模糊逻辑系统及其归结研究
算子
动态模糊逻辑
λ-归结
动态模糊逻辑(DFL)的真值域刻画
动态模糊逻辑
动态模糊测度
动态模糊集
动态模糊逻辑(DFL)程序设计语言的结构化操作语义
动态模糊逻辑
动态模糊逻辑程序设计语言
结构化操作语义
直觉模糊逻辑的(α,β)-广义锁归结方法
自动推理
直觉模糊逻辑
(α,β)-广义锁归结方法
完备性定理
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 动态模糊逻辑(DFL)的归结策略
来源期刊 计算机工程 学科 工学
关键词 动态模糊逻辑 归结原理 归结策略
年,卷(期) 2001,(3) 所属期刊栏目 动态模糊逻辑及其应用专题
研究方向 页码范围 86-89,118
页数 5页 分类号 TP18
字数 5779字 语种 中文
DOI 10.3969/j.issn.1000-3428.2001.03.037
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 李凡长 苏州大学计算机工程系 136 774 15.0 18.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (6)
共引文献  (245)
参考文献  (11)
节点文献
引证文献  (13)
同被引文献  (8)
二级引证文献  (2)
1993(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(2)
  • 参考文献(1)
  • 二级参考文献(1)
1996(4)
  • 参考文献(3)
  • 二级参考文献(1)
1997(2)
  • 参考文献(1)
  • 二级参考文献(1)
1998(4)
  • 参考文献(3)
  • 二级参考文献(1)
1999(3)
  • 参考文献(2)
  • 二级参考文献(1)
2000(1)
  • 参考文献(1)
  • 二级参考文献(0)
2001(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2006(2)
  • 引证文献(2)
  • 二级引证文献(0)
2008(1)
  • 引证文献(1)
  • 二级引证文献(0)
2009(3)
  • 引证文献(3)
  • 二级引证文献(0)
2010(3)
  • 引证文献(2)
  • 二级引证文献(1)
2011(2)
  • 引证文献(2)
  • 二级引证文献(0)
2013(1)
  • 引证文献(1)
  • 二级引证文献(0)
2014(1)
  • 引证文献(1)
  • 二级引证文献(0)
2017(2)
  • 引证文献(1)
  • 二级引证文献(1)
研究主题发展历程
节点文献
动态模糊逻辑
归结原理
归结策略
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程
月刊
1000-3428
31-1289/TP
大16开
上海市桂林路418号
4-310
1975
chi
出版文献量(篇)
31987
总下载数(次)
53
总被引数(次)
317027
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
论文1v1指导