四值非链格值命题逻辑系统LP_4(X)的归结原理

孟丹; 郑逢斌; 徐扬; 秦克云

首页> 中文期刊> 《河南大学学报：自然科学版》 >四值非链格值命题逻辑系统LP_4(X)的归结原理

四值非链格值命题逻辑系统LP_4(X)的归结原理

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

基于格蕴涵代数的格值命题逻辑系统LP4(X)的相关概念和结果,给出了LP4(X)上的归结原理,并证明了其可靠性和完备性.四值命题逻辑系统LP4(X)作为含有不可比真值的一种基本且重要的格蕴涵代数结构,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持.

著录项

来源
《河南大学学报：自然科学版》 |2003年第3期|43-46|共4页
作者
孟丹; 郑逢斌; 徐扬; 秦克云;
展开▼
作者单位

西南交通大学智能控制开发中心;

展开▼
原文格式 PDF
正文语种 chi
中图分类信息论（信息论的数学理论）;
关键词
自动推理; 归结原理; 格蕴涵代数; 非链格蕴涵代数上的四值命题逻辑系统LP4(X);

相似文献

中文文献
外文文献
专利

1. 四值非链格值命题逻辑系统L4P(X)的语义归结方法 [J] . 张家锋 ,徐扬 ,何星星 . 计算机应用研究 . 2011,第009期
2. 基于格值命题逻辑系统LP(X)的多元α-归结原理的注记 [J] . 刘熠 ,徐扬 ,贾海瑞 . 计算机科学 . 2015,第004期
3. 格值命题逻辑系统LP(X)的α-超归结原理 [J] . 李晓冰 . 中国新技术新产品 . 2009,第024期
4. 格值命题逻辑系统LP(X)的Ⅱ-α-超归结原理 [J] . 李晓冰 . 电脑知识与技术 . 2009,第033期
5. 格值一阶逻辑系统的α广义归结原理 [J] . 许伟涛 ,张闻强 ,徐扬 . 西安电子科技大学学报（自然科学版） . 2014,第001期
6. 基于格值命题逻辑系统LP(X)的多元α-归结原理的注记 [C] . LIU Yi ,刘熠 ,XU Yang . 2014湖北省计算机学会学术年会 . 2014
7. 格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究 [A] . 王伟 . 2002

四值非链格值命题逻辑系统LP_4(X)的归结原理

摘要

著录项

相似文献

相关主题

期刊订阅