首页> 中文期刊> 《西南交通大学学报》 >基于路径搜索的格值命题逻辑自动推理方法

基于路径搜索的格值命题逻辑自动推理方法

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

提出一种基于路径搜索的自动推理算法.除了采取预处理外,还采用了动态的删除策略,使对大部分路径的搜索变成对一条路径搜索.可快速地完成对一类格值命题逻辑中的任何一个子句集可满足性与不可满足性的判定.文中还讨论了该算法计算的复杂性.

著录项

来源
《西南交通大学学报》 |2003年第3期|248-252|共5页
作者
李海明; 刘鹏仙; 徐扬;
展开▼
作者单位

西南交通大学应用数学系,四川成都,640031;

唐山师范学院计算机系,河北唐山,063000;

唐山师范学院计算机系,河北唐山,063000;

西南交通大学应用数学系,四川成都,640031;

展开▼
原文格式 PDF
正文语种 chi
中图分类抽象代数（近世代数）;
关键词
自动推理; 路径; 子句集; 互补对;

相似文献

中文文献
外文文献
专利

1. 格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法 [J] . 李晓冰 ,邱小平 ,徐扬 . 模糊系统与数学 . 2009,第4期
2. 基于六元格值命题逻辑的语言真值归结方法 [J] . 孙芳 ,张凤梅 ,邹丽 . 广西师范大学学报（自然科学版） . 2010,第003期
3. 基于语言真值格值命题逻辑系统(e)vpl的推理规则 [J] . 赖家俊 ,徐扬 . 计算机科学 . 2008,第009期
4. 基于有限格蕴涵代数的格值命题逻辑语法系统 [J] . 马骏 ,高雅 ,秦克云 . 西南交通大学学报 . 2004,第001期
5. 基于有限格蕴涵代数的格值命题逻辑语义系统 [J] . 马骏 ,秦克云 ,徐扬 . 西南交通大学学报 . 2002,第005期
6. 基于格值命题逻辑的语言真值不确定性推理方法 [C] . 潘小东 ,徐扬 . 第八届中国不确定系统年会暨第十二届中国青年信息与管理学者大会 . 2010
7. 格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究 [A] . 王伟 . 2002

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号