【摘要】在软件学中,基于二值逻辑演算理论去求解一个公式集合关于事实集合的所有极大相容子集(即极大缩减)是信念修正理论中的一个核心问题.但是在现实推理中,由于人脑的思维模式本身带有不确定性,加上实验或观测的数据也可能带有误差,这种带有不确定性的推理已经超越了二值逻辑处理的范围.多值逻辑能有效地处理实际推理中遇到的不确定性信息,R命题逻辑系统是重要的多值逻辑系统之一,因此将软件学中极大缩减等理论引入到 […]