不精确推理与归结原理

摘要：

陈永义在１９９０年提出了一种适用于不精确推理的软归结方法，但在这个系统中，排中律和矛盾律已经失去。该文把布尔代数引入该系统，从而使排中律和矛盾律仍然存在。

关键词： 布尔代数 不精确推理 软归结

作者: 孙德山 陈图云 郑宏亮

作者单位: 辽宁师范大学

会议类型: 国内会议

会议名称: 第九届全国模糊系统理论及应用学术会议

会议地点: 保定

会议语种:中文

页码: 678～681

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