论文部分内容阅读
在一阶逻辑中，给出了一种能够描述和处理基于不一致信念，但不对已有的不一致信念进行修正的推理方法。这种方法在推导过程中，将根据已有的信念能够推出的没有相反信息的结论作为推理的最终结论。它的最重要的特点是每个假说都存在惟一的扩充，该扩充具有累积性，并且是一致和演绎封闭的。
常识推理中不一致信念的一种非修正处理方法
【摘 要】
：
在一阶逻辑中，给出了一种能够描述和处理基于不一致信念，但不对已有的不一致信念进行修正的推理方法。这种方法在推导过程中，将根据已有的信念能够推出的没有相反信息的结论作为
【机 构】
：
东北师范大学计算机科学系
【出 处】
：
东北师大学报：自然科学版
【发表日期】
：
2000年3期
【基金项目】
：
国家自然科学基金资助项目!( 6970 3 0 1 0 ,69983 0 0 2 )
其他文献
提出基于非平稳约束试验系统的汽车附着极限工况下行驶稳定性控制性能试验方法,建立了非平稳约束试验系统动力学模型,针对奇瑞A3轿车,基于Matlab/Simulink建立了汽车行驶稳定
针对传统示功图测试方法的不足，根据电机直接转矩控制理论和抽油机运动学、动力学原理，建立抽油机井系统动态实时分析模型。该模型根据油井实测电流、电压计算电机的输出扭矩，结
阐述了DPF喷油助燃再生的工作原理,在考虑过滤体内沉积微粒氧化反应次模型的基础上,以壁流式蜂窝陶瓷过滤体为研究对象,建立柴油机稳态工况下过滤体入口孔道的再生简化模型。