节点文献
不精确推理与归结原理
【机构】 辽宁师范大学数学系； 辽宁师范大学计算机系；
【摘要】 陈永义在1990年提出了一种适用于不精确推理的软归结方法,但在这个系统中,排中律和矛盾律已经失去。本文把布尔代数引入该系统,从而使排中律和矛盾律仍然存在。
- 【会议录名称】 模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集
- 【会议名称】98年中国模糊数学与模糊系统委员会第九届年会
- 【会议时间】1998-08
- 【会议地点】中国保定
- 【分类号】O153
- 【主办单位】中国系统工程学会