【作者】 孙德山； 陈图云； 郑宏亮；
【机构】 辽宁师范大学数学系； 辽宁师范大学计算机系；
【摘要】 陈永义在1990年提出了一种适用于不精确推理的软归结方法,但在这个系统中,排中律和矛盾律已经失去。本文把布尔代数引入该系统,从而使排中律和矛盾律仍然存在。更多还原
