首页> 中文期刊>计算机科学 >非经典逻辑的语义tableau方法

非经典逻辑的语义tableau方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

@@ 1.引言rn自动推理作为自动定理证明的扩展,在计算机科学,特别是人工智能领域中占有重要的地位.许多系统,都是以推理系统作为其核心部分,因此自动推理的研究,对人工智能的其它分枝将产生深远的影响,它所提出的推理方法也被应用于人工智能的各个领域.

著录项

来源
《计算机科学》|2002年第5期|72-75|共4页
作者
刘全; 孙吉贵;
展开▼
作者单位

吉林大学计算机科学系,长春,130023;

吉林大学计算机科学系,长春,130023;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
人工智能; 自动推理; 自动定理证明; 非经典逻辑; 语义tableau方法;
入库时间 2022-08-18 04:43:12

相似文献

中文文献
外文文献
专利

1. 一种基于语义Tableau的不相容知识处理方法 [J] . 刘全 ,伏玉琛 ,凌兴宏 . 计算机工程 . 2007,第008期
2. 一种基于语义tableau的数据库修正方法 [J] . 刘全 ,凌兴宏 ,张宏斌 . 计算机科学 . 2006,第006期
3. 自由变量语义tableau中δ-规则的一种改进方法 [J] . 刘全 ,孙吉贵 ,于万钧 . 计算机研究与发展 . 2004,第007期
4. 语义Tableau定理证明器的Prolog实现 [J] . 高华 ,江建国 ,苏贺靓 . 科技视界 . 2015,第009期
5. 基于语义tableau的一阶逻辑自动定理证明 [J] . 刘全 ,孙吉贵 . 计算机工程与应用 . 2005,第023期
6. 基于经典逻辑系统的模糊推理方法 [C] . 徐章艳 ,汤服成 ,李凡 . 中国系统工程学会模糊数学与模糊系统专业委员会第12届年会 . 2004
7. 语义物联网中基于语义空间的语义协同方法研究 [A] . 丁亚飞 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号