命题逻辑中非子句α-有序线性广义归结方法

• 作者: 徐扬 贾海瑞 邓鹏
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 格蕴涵代数 自动推理 格值命题逻辑 非子句多元α-有序线性广义归结
• 年，卷（期）: 2015,（7）
• 所属期刊栏目: 人工智能与模式识别
• 页码范围: 847-853
• 页数: 7页
• 分类号: TP18
• 字数: 6094字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1409058

摘要

为了处理在不确定性环境下的自动演绎，重点研究了基于自动推理理论的归结方法，其自动推理理论是真值定义在格蕴涵代数（lattice implication algebra，LIA）结构上格值逻辑系统中的。在已有的确定真值水平α二元归结研究的基础上，作为其继续研究和扩展，引入了基于格值命题逻辑系统LP( X )的非子句多元α-有序线性广义归结方法和演绎，这从本质上避免了一个非子句广义归结演绎到规范子句的形式。随后，得到LP( X )中的非子句多元α-有序线性广义归结演绎是可靠和完备的。该研究工作为格值命题逻辑中基于自动推理的归结提供了一个更有效的方法。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学智能控制开发中心	186	1462	15.0	32.0
2	邓鹏	西南交通大学数学学院	11	6	2.0	2.0
3	贾海瑞	西南交通大学智能控制开发中心	4	10	2.0	3.0