基于十八元非链格值命题逻辑L18P(X)中的归结方法的研究

摘要：

本文考虑十八元非链的格值命题逻辑系统L18P(X)下的归结方法.首先提出了基于超滤的归结原理,得到归结删除原理,讨论了格值逻辑公式的可满足性;其次研究了它的可靠性.

关键词： 归结原理 格值命题逻辑系统 可满足性 可靠性 十八元非链 超滤

作者: 赖家俊 潘小东 徐开俊 徐扬

作者单位: 西南交通大学智能控制开发中心,四川,成都,610031

会议类型: 国内会议

会议名称: 第六届中国不确定系统年会

会议地点: 洛阳

会议语种:中文

页码: 177-179

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