2025年1月4日
星期六
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
刘叙华
作品数:
67
被引量:143
H指数: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年
本文基于TABLEAU方法,给出了模糊逻辑中一些至今缺少有效证明论的推理关系的证明论,也给出了作者提出的模糊择优蕴涵的判定过程.据此说明了Yager所给出的推理规则对其所讨论的模糊推理关系是不完备的.分析了本文对前提和结论分别构造TABLEAU推理树的方法在研究推理关系的相关性等方面的直观语义和作为模糊Prolog的推理机所具有的优越性.
程晓春
刘叙华
关键词:
模糊蕴涵
模糊逻辑
模态K_4、D_4系统的归结推理
被引量:3
1995年
本文将P.Enjalbert和L.FarinasdelCerro提出的模态归结推理方法推广到命题模态逻辑K4和D4系统,建立了K4逻辑的归结推理RK4;D4逻辑的归结推理RD4,分别证明了RK4和RD4关于K4和D4的可靠性与完备性.
孙吉贵
李乔
刘叙华
关键词:
模态逻辑
广义λ-归结
被引量:5
1992年
在这篇论文中,提出了广义λ-子句的概念和引进了广义λ-归结方法.证明了广义λ-归结方法对于广义λ-子句集是完备的.
刘叙华
司徒芊
关键词:
模糊逻辑
Λ-归结
形式化模糊量词及推理
被引量:3
1993年
带有模糊量词的推理在计算机科学特别是人工智能中十分重要。模糊量词具有“统计”的性质,本文将从此角度讨论模糊量词的形式化及带有模糊量词的推理,本文的结果可应用在专家系统等智能系统中。
石生利
刘叙华
关键词:
人工智能
形式化
再谈一阶逻辑的重写证明算法
刘广清
姜云飞
刘叙华
关键词:
重写规则(转换语法)
定理
逻辑
Cialdea一阶模态归结系统的不完备性及其改进
被引量:5
1995年
Cialdea的一阶模态D逻辑归结系统具有符号冗余较少和机器上较容易实现等优点,但它是不完备的.本文中,我们改进了Cialdea归结系统,引入了两个可能算子约束的公式间的归结规则,得到了一种新的一阶模态D逻辑的归结系统,记为FMRD.FMRD很好地保持了Cialdea归结系统的优点,同时,我们证明了FMRD的可靠性与完备性.
孙吉贵
刘叙华
关键词:
不完备性
全选
清除
导出
共7页
<
1
2
3
4
5
6
7
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张