论文部分内容阅读
本文根据抽象代数的原理,提出良好的定性推理系统应遵循“同态原则”.然后根据该原则对现行的两种定性推理理论进行分析,结果表明:deKleer的“基于组件”的定性推理系统与其所对应的定量分析系统不是向态的;Kuipers的“基于约束”的定性推理系统与其所对应的定量分析系统是弱伺态的.最后本文还给出一个如何判断定性推理系统与实数集R是否存在同态映射的充分条件。