首页> 中文期刊>计算机工程与应用 >格值命题逻辑系统L9P(X)中的自动推理算法

格值命题逻辑系统L9P(X)中的自动推理算法

开具论文收录证明 >>

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

页面导航

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

摘要

给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断L9P(X)上子句集S为M-可满足的自动推理算法(这里M为L9上的中界元),并证明了其可靠性和完备性.

著录项

来源
《计算机工程与应用》|2008年第10期|6-9|共4页
作者
李晓冰; 邱小平; 徐扬;
展开▼
作者单位

西南交通大学,智能控制开发中心,成都,610031;

西南交通大学,物流学院,成都,610031;

西南交通大学,智能控制开发中心,成都,610031;

展开▼
原文格式 PDF
正文语种 chi
中图分类抽象代数（近世代数）;
关键词
中界元; 格值命题逻辑系统; 归结自动推理; 放缩归结原理; 自动推理算法;
入库时间 2022-08-18 04:37:44

相似文献

中文文献
外文文献
专利

1. 格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法 [J] . 李晓冰 ,邱小平 ,徐扬 . 模糊系统与数学 . 2009,第4期
2. 格值命题逻辑LP(X)中自动推理算法效率分析 [J] . 李晓冰 . 电脑知识与技术 . 2010,第034期
3. 格值命题逻辑LP（X）中自动推理算法效率分析 [J] . 李晓冰 . 电脑知识与技术：学术交流 . 2010,第012期
4. 语言真值格值命题逻辑系统中广义文字的归结判定 [J] . 许伟涛 ,徐扬 . 计算机科学 . 2013,第002期
5. 四值非链格值命题逻辑系统L4P(X)的语义归结方法 [J] . 张家锋 ,徐扬 ,何星星 . 计算机应用研究 . 2011,第009期
6. 基于格值命题逻辑系统LP(X)的多元α-归结原理的注记 [C] . LIU Yi ,刘熠 ,XU Yang . 2014湖北省计算机学会学术年会 . 2014
7. 格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究 [A] . 王伟 . 2002

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号