格值命题逻辑LP(X)中的语义归结方法

摘要：

为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率，将语义归结策略应用于α-归结原理，讨论了格值命题逻辑LP(X)中的α-语义归结方法，并证明了该方法的可靠性和弱完备性，为基于格值逻辑的归结自动推理提供一定基础。

关键词： 自动推理 语义归结方法 格值逻辑 格蕴涵代数

作者: 张家锋 徐扬

作者单位: 西南交通大学智能控制开发中心，四川 成都 610031 毕节学院逻辑、语言与认知研究中心，贵州 毕节 551700 毕节学院逻辑、语言与认知研究中心，贵州 毕节 551700

会议类型: 国内会议

会议名称: 中国运筹学会模糊信息与模糊工程分会第五届学术年会

会议地点: 辽宁葫芦岛

会议语种:中文

页码: 767-770

在线出版日期: 2010-08-01（万方平台首次上网日期，不代表论文的发表时间）