期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Cialdea一阶模态归结系统的不完备性及其改进
被引量：
5
1
作者
孙吉贵
刘叙华
《计算机学报》
EI
CSCD
北大核心
1995年第6期401-408,共8页
Ｃｉａｌｄｅａ的一阶模态Ｄ逻辑归结系统具有符号冗余较少和机器上较容易实现等优点，但它是不完备的．本文中，我们改进了Ｃｉａｌｄｅａ归结系统，引入了两个可能算子约束的公式间的归结规则，得到了一种新的一阶模态Ｄ逻辑的归结系...
Ｃｉａｌｄｅａ的一阶模态Ｄ逻辑归结系统具有符号冗余较少和机器上较容易实现等优点，但它是不完备的．本文中，我们改进了Ｃｉａｌｄｅａ归结系统，引入了两个可能算子约束的公式间的归结规则，得到了一种新的一阶模态Ｄ逻辑的归结系统，记为ＦＭＲＤ．ＦＭＲＤ很好地保持了Ｃｉａｌｄｅａ归结系统的优点，同时，我们证明了ＦＭＲＤ的可靠性与完备性．
展开更多
关键词
FMRD
归结
自动推理
模态归结系统
不完备性
在线阅读
下载PDF
职称材料
关于Cialdea一阶模态归结系统
2
作者
孙吉贵
刘叙华
《吉林大学自然科学学报》
CAS
CSCD
1996年第2期23-26,共4页
指出了Ｃｉａｌｄｅａ一阶模态逻辑归结系统是不完备的．为了确保推理系统的完备性，给出了Ｃｉａｌｄｅａ系统的两种修正方法．
关键词
Cialdea
模态归结系统
自动推理
模态
逻辑
在线阅读
下载PDF
职称材料
题名
Cialdea一阶模态归结系统的不完备性及其改进
被引量：
5
1
作者
孙吉贵
刘叙华
机构
吉林大学计算机科学系
出处
《计算机学报》
EI
CSCD
北大核心
1995年第6期401-408,共8页
基金
国家自然科学基金
863计划资助
国家攀登计划资助
文摘
Ｃｉａｌｄｅａ的一阶模态Ｄ逻辑归结系统具有符号冗余较少和机器上较容易实现等优点，但它是不完备的．本文中，我们改进了Ｃｉａｌｄｅａ归结系统，引入了两个可能算子约束的公式间的归结规则，得到了一种新的一阶模态Ｄ逻辑的归结系统，记为ＦＭＲＤ．ＦＭＲＤ很好地保持了Ｃｉａｌｄｅａ归结系统的优点，同时，我们证明了ＦＭＲＤ的可靠性与完备性．
关键词
FMRD
归结
自动推理
模态归结系统
不完备性
Keywords
First-order modal system D, FMRD resolution method, automated reasoning.
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
关于Cialdea一阶模态归结系统
2
作者
孙吉贵
刘叙华
机构
吉林大学计算机科学系
出处
《吉林大学自然科学学报》
CAS
CSCD
1996年第2期23-26,共4页
基金
国家自然科学基金
"863"计划资助
国家攀登计划资助课题
文摘
指出了Ｃｉａｌｄｅａ一阶模态逻辑归结系统是不完备的．为了确保推理系统的完备性，给出了Ｃｉａｌｄｅａ系统的两种修正方法．
关键词
Cialdea
模态归结系统
自动推理
模态
逻辑
Keywords
first order modal logic D,Cialdea's resolution system for first order modal logic,automated reasoning
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Cialdea一阶模态归结系统的不完备性及其改进
孙吉贵
刘叙华
《计算机学报》
EI
CSCD
北大核心
1995
5
在线阅读
下载PDF
职称材料
2
关于Cialdea一阶模态归结系统
孙吉贵
刘叙华
《吉林大学自然科学学报》
CAS
CSCD
1996
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
