摘要
本文根据抽象代数的原理,提出良好的定性推理系统应遵循“同态原则”.然后根据该原则对现行的两种定性推理理论进行分析,结果表明:deKleer的“基于组件”的定性推理系统与其所对应的定量分析系统不是向态的;Kuipers的“基于约束”的定性推理系统与其所对应的定量分析系统是弱伺态的.最后本文还给出一个如何判断定性推理系统与实数集R是否存在同态映射的充分条件。
Based on homomorphic theory in abstract algebra, this paper firstly presents 'Homomorphic Principle' about qualitative reasoning, then applies this principle to the homomorphic properties analysis of the present qualitative theories. It is proved that deKleer's component-based approach is not homomorphic to its corresponding quantative system, and that Kuipers' constraint-based approach is weakly homomorphic to its corresponding quantative system. Finally, a sufficient condition which can decide whether there exists a homomorphism between a qualitative reasoning system and R (real number set) is presented.
出处
《杭州大学学报（自然科学版）》
CSCD
1993年第2期187-192,共6页
Journal of Hangzhou University Natural Science Edition
基金
工作得到浙江省自然科学基金资助
关键词
定性推理
人工智能
同态映射
qualitative reasoning
artificial intelligence
homomorphic mapping
