节点文献
基于十八元非链格值命题逻辑L18P（X）中的归结方法的研究
【机构】 西南交通大学智能控制开发中心；
【摘要】 本文考虑十八元非链的格值命题逻辑系统 L18P（X）下的归结方法。首先提出了基于超滤的归结原理,得到归结删除原理,讨论了格值逻辑公式的可满足性;其次研究了它的可靠性。
- 【会议录名称】 第六届中国不确定系统年会论文集
- 【会议名称】第六届中国不确定系统年会
- 【会议时间】2008-08
- 【会议地点】中国河南洛阳
- 【分类号】O141
- 【主办单位】中国运筹学会不确定系统分会、中国人民大学、河南科技大学