【摘 要】
:
本文根据抽象代数的原理,提出良好的定性推理系统应遵循“同态原则”.然后根据该原则对现行的两种定性推理理论进行分析,结果表明:deKleer的“基于组件”的定性推理系统与其
【机 构】
:
杭州大学计算机科学技术系; 杭州大学计算机科学技术系;
论文部分内容阅读
本文根据抽象代数的原理,提出良好的定性推理系统应遵循“同态原则”.然后根据该原则对现行的两种定性推理理论进行分析,结果表明:deKleer的“基于组件”的定性推理系统与其所对应的定量分析系统不是向态的;Kuipers的“基于约束”的定性推理系统与其所对应的定量分析系统是弱伺态的.最后本文还给出一个如何判断定性推理系统与实数集R是否存在同态映射的充分条件。
其他文献
针对目前网球教学的现状,结合近两年的教学实践总结出一种比较适合大学网球教学的方法。该教学法的主要特点是:兴趣为主,循序渐进,分步训练,对初学者训练具有较强的教学针对
<正> 1986年9月22日,霍林郭勒市拖修厂工人在挖菜窖时偶然发现一座古墓,但已遭到破坏。事后哲里木盟博物馆得到霍林郭勒市文物部门报告,迅速派人前往,在当地文物部门的大力协
本文从社会诚信基础、监管信息系统、监管重点三个方面论述了中国金融监管存在的问题,并提出根据国情构建中国特色有效银行监管框架,从而有效地防范金融风险
本文通过分析和总结静注20%甘露醇外渗的原因,提出有针对性的防治措施,提醒和指导护理人员将有效的预防措施,落实到实际工作中。在以人为本的护理工作中护理任务繁重,病人病
<正>随着现代医学的发展,危重患者的救治成功率得到了很大提高,这得益于各种器官功能的支持技术的不断提高,同时营养支持也发挥了重要作用。危重症营养支持的目标是:通过合理
随着劳动年龄人口"拐点"的出现,我国人口老龄化问题更加得到有关方面广泛、高度的重视。按照传统的办法,用65岁(或60岁)以上人口比例度量人口老龄化,不能反映人口期望寿命提
目的研究大孔吸附树脂富集西洋参总皂苷的工艺条件及参数,并测定富集后拟人参皂苷F11含量。方法采用紫外分光光度法,以西洋参总皂苷含量为指标,考察上样量、洗脱溶剂及其用量、
对新一代大容量通信卫星电源系统的组成结构和工作原理进行了介绍,论述了母线动态控制方式,介绍了模块组成、功能模块设计,并给出了21.6 kW样机测试情况,对新一代大容量通信
《梁山伯与祝英台》乃中国四大民间传说之一,流传于各省汉族之中。也流传到少数民族之中,有四方面变异:(1)既有散文体,也有韵文体,韵文体有各族不同的民间诗律;(2)人物变异为