【摘 要】
：
针对在经典信念理论框架下,信念收缩后可能出现信息损失的问题,本文提出了一种利用遗忘理论来构建收缩算子的信念收缩方法。本文先通过理论证明来说明该收缩算子能够满足AGM
论文部分内容阅读
针对在经典信念理论框架下,信念收缩后可能出现信息损失的问题,本文提出了一种利用遗忘理论来构建收缩算子的信念收缩方法。本文先通过理论证明来说明该收缩算子能够满足AGM理论中信念收缩的假定,然后用实例说明,与命题逻辑表示的信念遗忘收缩相比,一阶谓词逻辑表示的信念遗忘收缩保留了更多的原有信息,避免了不必要的信息损失,遵循最小修改原则。
其他文献
连续重整装置采用C6~C11石脑油馏分进料,进料组分存在硫、氮、氯等杂质,催化剂再生注氯活化导致再生系统及后续分馏装置存在氯离子腐蚀环境,苯抽提装置存在溶剂氧化腐蚀,根据
目的:观察左西孟旦对急性心肌梗死并发心源性休克患者的治疗效果。方法 :急性心肌梗死并发心源性休克患者100例,随机分为两组:左西孟旦组和多巴酚丁胺组,分别给予左西孟旦和
提到苏轼苏东坡(1037—1101),人们总要跟中国的传统文化说到一起。因为在他身上可以说是融会了最具中国特色的元素;就其典型性而言,中国文学史上无人堪与之比肩。林语堂先生
将ABC时间管理法应用在临床护理中,使护理工作更加规范化、科学化。让护理人员掌握时间利用技巧,在有限的时间内,按质按量完成护理工作。对提高工作效率和护理质量,做到护患
过渡金属催化的C-H活化反应是当前有机化学极具挑战性的重要研究课题之一,其中芳环C-H直接芳基化反应占有重要地位.近年来人们对此进行了大量研究,并取得了瞩目的研究成果.芳
连字符构词因其同其他构词之间的特殊联系以及它自身构成的灵活性、广泛性的特点．它的构词规律应该被视为独立的构词法去探索；翻译连字符构词应在掌握其他构词翻译方法和技巧的
目的研究尼泊尔酸模Rumex nepalensis根的化学成分。方法采用硅胶柱色谱、Sephadex LH-20凝胶柱色谱及半-制备型高效液相色谱等方法进行分离纯化,并通过化合物的波谱数据鉴定
<正>以煤炭、铁矿为资源的鲁尔区曾是欧洲最大的工业区,为二战后联邦德国的"经济奇迹"做出了巨大贡献。直到上世纪60年代,百年不衰的鲁尔区爆发了能源危机,重化工业经济结构
<正>患者男,61岁。曾于2008年7月21日持硬麻醉下行经腹直肠癌根治术,病理示:腺癌Ⅱ级。心肺正常,肝肾功能良好。无药物过敏史,无遗传性疾病史。2008年11月患者来我院进行第8
基于票据的流通性的要求，各国普遍规定了票据的善意取得制度。由于票据权利的善意取得是一种债权取得，并且这种权利还是“基于证券的权利”，所以，票据权利的善意取得和一般动产的