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

• 作者: 徐扬 李晓冰 邱小平
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 中界元 格值命题逻辑系统 归结自动推理 放缩归结原理 自动推理算法
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 博士论坛
• 页码范围: 6-9
• 页数: 4页
• 分类号: O153
• 字数: 5571字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2008.10.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学智能控制开发中心	186	1462	15.0	32.0
2	邱小平	西南交通大学物流学院	46	313	9.0	15.0
3	李晓冰	西南交通大学智能控制开发中心	4	27	2.0	4.0