论文部分内容阅读
讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;讨论了由所有极小不协调的子集来实现信念修正的方法,介绍了我们开发的信念修正的原型系统.最后和相关工作进行了比较.
有限信念集上修正的一种方法
【摘 要】
：
讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;讨论了由所有极小不协调的子集来实现信念修正的方
【机 构】
：
中国科学院软件研究所(北京)
【出 处】
：
第七届中国人工智能联合学术会议
【发表日期】
：
2003年1期
其他文献
南立水电站在施工过程中，混凝土面板及趾板出现了裂缝。采用“内填外堵、多层设防、复合防水”的修补方案进行了堵漏处理，处理后大坝渗漏量较小，满足设计要求。
目的：为了解宁波市城乡６岁以下儿童意外死亡原因及相关因素。方法：按国际疾病分类（ＩＣＤ－９）进行死因分类。将１９９１～１９９９年间宁波市江东区（２６例）和鄞县（２３３例）２５９例６岁以下儿童意外死亡资源进行分析。结果：儿童意外
<正> 老年性黄斑变性(age-related macular degeneraion AMD)是一种与年龄相关,以脉络膜毛细血管、玻璃体、视网膜色素上皮、视网膜神经上皮变性为特征的致盲眼病。目前本病
多重复制定义(MRD)虽然是数据库复制发展的一个新趋势,但是它会引起传播开销的增大.提出了关于MRD的3个优化传播算法:D-M,ILS和LIS算法.其中D-M算法通过拆分复制对象和合并传
由于南水北调工程的特殊性，对项目原材料质量可追溯性控制有更高层次的要求，通过对南水北调白河倒虹吸项目部物资管理工作中各个阶段质量控制的重点进行总结。
目的：分析上海市静安区１９６０－１９９９年急性法定传染病发病情况。肯定成绩，找出薄弱环节，为制订防制策略提供依据。方法：利用１９６０－１９９９年静安区人口及疫情报告资料，按年代、病种等进行分析。结果：自６０年代至
语音识别领域已经取得了稳步发展并出现了众多实用系统,但众所周知,今天的识别技术还远没有达到要求,而'鲁棒性'问题是系统性能提高的一个主要障碍.集中讨论了一种对
<正> 1 材料和方法 本文对50名经WHO诊断标准确诊的Ⅱ型糖尿病患者进行了调查,患者年龄 60～72岁,平均65.13±6.92岁,其中男性30人,女性20人,全部均为住院患者。 本研究采
根据小岩头水电站引水系统的地形、地质条件，对引水隧洞Ⅱ类围岩洞段衬砌方式的优化，减少了钢筋混凝土衬砌洞段的长度，增加锚喷支护的长度；对Ⅲ类以上围岩洞段优化混凝土衬砌断面