| 同态原则在定性推理中的应用 |
| |
| 引用本文： | 王维维,陈根才.同态原则在定性推理中的应用[J].浙江大学学报(理学版),1993(2). |
| |
| 作者姓名： | 王维维 陈根才 |
| |
| 作者单位： | 杭州大学计算机科学技术系
(王维维),杭州大学计算机科学技术系(陈根才) |
| |
| 基金项目： | 工作得到浙江省自然科学基金资助 |
| |
| 摘 要： | 本文根据抽象代数的原理,提出良好的定性推理系统应遵循“同态原则”.然后根据该原则对现行的两种定性推理理论进行分析,结果表明:deKleer的“基于组件”的定性推理系统与其所对应的定量分析系统不是向态的;Kuipers的“基于约束”的定性推理系统与其所对应的定量分析系统是弱伺态的.最后本文还给出一个如何判断定性推理系统与实数集R是否存在同态映射的充分条件。
|
| 关 键 词： | 定性推理 人工智能 同态映射 |
On the Application of Homomorphic Principle to the Qualitative Reasoning Systems |
| |
| Wang Weiwei,Chen Gencai.On the Application of Homomorphic Principle to the Qualitative Reasoning Systems[J].Journal of Zhejiang University(Sciences Edition),1993(2). |
| |
| Authors: | Wang Weiwei Chen Gencai |
| |
| Institution: | Department of Computer Science & Technology |
| |
| Abstract: | 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. |
| |
| Keywords: | qualitative reasoning artificial intelligence homomorphic mapping |
| 本文献已被 CNKI 等数据库收录！ |
