四值非链格值命题逻辑系统L4P(X)的语义归结方法

• 作者: 何星星 张家锋 徐扬
• 来源期刊: 计算机应用研究
• 关键词: 格蕴涵代数 自动推理:语义归结方法 四值命题逻辑系统
• 年，卷（期）: 2011,（9）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 3226-3228,3238
• 分类号: TP18
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2011.09.006

摘要

为了提高归结方法处理带有不可比较性信息的能力,给出了四值格值命题逻辑系统上的语义归结原理,并证明了其可靠性和完备性,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学智能控制开发中心	186	1462	15.0	32.0
2	何星星	西南交通大学智能控制开发中心	12	35	3.0	5.0