您的位置： 专家智库 > >

刘叙华

作品数：67 被引量：143H指数：7
供职机构：吉林大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 56篇期刊文章
  • 10篇会议论文
  • 1篇科技成果

领域

  • 43篇自动化与计算...
  • 17篇理学

主题

  • 14篇人工智能
  • 10篇模态逻辑
  • 9篇模糊逻辑
  • 8篇逻辑
  • 7篇调解
  • 7篇算子
  • 6篇逻辑系统
  • 5篇HORN集
  • 4篇定理
  • 4篇认识逻辑
  • 4篇Λ-归结
  • 4篇TABLEA...
  • 3篇非单调逻辑
  • 3篇FUZZY逻...
  • 2篇代数
  • 2篇定理机器证明
  • 2篇定理证明
  • 2篇信度
  • 2篇信念
  • 2篇语义

机构

  • 65篇吉林大学
  • 2篇东北师范大学
  • 2篇汕头大学
  • 1篇中国科学院数...
  • 1篇吉林省计算机...

作者

  • 67篇刘叙华
  • 26篇孙吉贵
  • 8篇程晓春
  • 6篇刘瑞胜
  • 4篇欧阳丹彤
  • 4篇邓安生
  • 3篇姜云飞
  • 3篇安直
  • 2篇杨玉普
  • 2篇刘广清
  • 2篇李爱中
  • 2篇欧阳继红
  • 2篇石生力
  • 2篇于津
  • 2篇杨凤杰
  • 1篇肖红
  • 1篇陆汝钤
  • 1篇陈斌
  • 1篇李乔
  • 1篇周萍

传媒

  • 18篇计算机学报
  • 13篇吉林大学自然...
  • 10篇软件学报
  • 5篇第一届中国人...
  • 4篇科学通报
  • 4篇计算机科学
  • 3篇中国科学（A...
  • 3篇第三届中国人...
  • 1篇模式识别与人...
  • 1篇小型微型计算...
  • 1篇中国科学（E...
  • 1篇东北师大学报...
  • 1篇中国第四届知...

年份

  • 4篇1998
  • 1篇1997
  • 10篇1996
  • 13篇1995
  • 7篇1994
  • 12篇1993
  • 5篇1992
  • 2篇1991
  • 8篇1990
  • 4篇1989
  • 1篇1900
共 67 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
相关逻辑及其推理被引量：1
1993年
为了排除“实质蕴涵怪论”,Ackermann于五十年代提出了相关逻辑。尔后,由Anderson和Belnap等人进行了研究。近期,其进一步研究主要集中在美国和澳大利亚。本文简要介绍了命题相关逻辑R的一个子系统LR及其自动推理方法。
孙吉贵刘叙华
命题模态归结的一种变型被引量：3
1994年
本文给出了模态子句集的标准子句集概念，提出了一种基于标准子句集的模态归结方法的变型，称之为标准模态归结．证明了任意模态子句集恒假当且仅当存在从它的标准子句集出发，使用标准模态归结推出空子句的演绎．从而证明了对于不可满足标准予句集、标准模态归结是完备的．这种标准模态归结，推理规则简单、直观且容易实现．
周萍唐日孙吉贵刘叙华
关键词：模态逻辑
基于模糊逻辑的不确定知识处理（Ⅰ）─—模糊蕴涵的合理性被引量：6
1996年
本文从蕴涵悖论出发，分析了几种已有模糊蕴涵的合理性；定义了新的非单调的、次协调的、没有一般的蕴涵悖论的模糊择优蕴涵；通过比较这些模糊推理关系的性质与处理不确定知识的能力，说明了本文定义的模糊择优蕴涵能更好地处理不精确的、不断更新的、特别是不一致的知识．
程晓春刘叙华
关键词：模糊蕴涵模糊逻辑
算子fuzzy逻辑及其归结推理的改进
刘叙华安直
关键词：算子逻辑
基于模糊逻辑的不确定知识处理（Ⅱ）─—模糊逻辑的TABLEAU推理被引量：2
1996年
本文基于ＴＡＢＬＥＡＵ方法，给出了模糊逻辑中一些至今缺少有效证明论的推理关系的证明论，也给出了作者提出的模糊择优蕴涵的判定过程．据此说明了Ｙａｇｅｒ所给出的推理规则对其所讨论的模糊推理关系是不完备的．分析了本文对前提和结论分别构造ＴＡＢＬＥＡＵ推理树的方法在研究推理关系的相关性等方面的直观语义和作为模糊Ｐｒｏｌｏｇ的推理机所具有的优越性．
程晓春刘叙华
关键词：模糊蕴涵模糊逻辑
模态K_4、D_4系统的归结推理被引量：3
1995年
本文将Ｐ．Ｅｎｊａｌｂｅｒｔ和Ｌ．ＦａｒｉｎａｓｄｅｌＣｅｒｒｏ提出的模态归结推理方法推广到命题模态逻辑Ｋ４和Ｄ４系统，建立了Ｋ４逻辑的归结推理ＲＫ４；Ｄ４逻辑的归结推理ＲＤ４，分别证明了ＲＫ４和ＲＤ４关于Ｋ４和Ｄ４的可靠性与完备性．
孙吉贵李乔刘叙华
关键词：模态逻辑
广义λ-归结被引量：5
1992年
在这篇论文中,提出了广义λ-子句的概念和引进了广义λ-归结方法.证明了广义λ-归结方法对于广义λ-子句集是完备的.
刘叙华司徒芊
关键词：模糊逻辑Λ-归结
形式化模糊量词及推理被引量：3
1993年
带有模糊量词的推理在计算机科学特别是人工智能中十分重要。模糊量词具有“统计”的性质,本文将从此角度讨论模糊量词的形式化及带有模糊量词的推理,本文的结果可应用在专家系统等智能系统中。
石生利刘叙华
关键词：人工智能形式化
再谈一阶逻辑的重写证明算法
刘广清姜云飞刘叙华
关键词：重写规则(转换语法)定理逻辑
Cialdea一阶模态归结系统的不完备性及其改进被引量：5
1995年
Ｃｉａｌｄｅａ的一阶模态Ｄ逻辑归结系统具有符号冗余较少和机器上较容易实现等优点，但它是不完备的．本文中，我们改进了Ｃｉａｌｄｅａ归结系统，引入了两个可能算子约束的公式间的归结规则，得到了一种新的一阶模态Ｄ逻辑的归结系统，记为ＦＭＲＤ．ＦＭＲＤ很好地保持了Ｃｉａｌｄｅａ归结系统的优点，同时，我们证明了ＦＭＲＤ的可靠性与完备性．
孙吉贵刘叙华
关键词：不完备性
全选 清除 导出
共7页<1234567>
聚类工具0