【摘 要】
：
AGM公设是用于信念修正的(被一个单一信念修正),而DP公设是用于迭代修正的(被一个有限的信念序列修正).李未给出了对于R-构型(configuration)Δ|Γ的R-演算,其中,Δ是一个原
【机 构】
：
中国科学院计算技术研究所智能信息处理重点实验室,中国科学院大学计算机与控制学院,中国再保险（集团）股份有限公司信息技术中心
【基金项目】
：
国家重点基础研究发展计划(973)(2005CB321901),软件开发环境国家重点实验室开放课题(SKLSDE-2010KF-06)
论文部分内容阅读
AGM公设是用于信念修正的(被一个单一信念修正),而DP公设是用于迭代修正的(被一个有限的信念序列修正).李未给出了对于R-构型(configuration)Δ|Γ的R-演算,其中,Δ是一个原子公式或原子公式否定的集合,而Γ是一个有限的公式集合.为了在修正过程中能够保留断言中尽可能多的信息,将考虑一种新的极小改变的定义:伪子概念极小改变(■-极小改变),其中,■是一种伪子概念的关系;之后,在此基础上给出一种新的R-演算TDL,它是关于■-极小改变可靠和完备的,使得Δ|Γ在TDL中可以被约减为一个理论Δ∪Θ
其他文献
发现和治愈涂阳肺结核病人是控制结核病疫情的最有效措施。世行贷款／英国赠款结核病控制项目、全球基金结核病项目（简称项目）在我省实施以来，地区间病人发现与治疗管理发展极不平
为推动我市残疾人事业发展，进一步改善残疾人生活状况，根据《上海市残疾人事业“十一五”发展纲要》中“以残疾人‘人人享有康复服务’和重残人员养护为重点，完善残疾人康复服务
本文介绍了低熔点合金模具在汽车仪表仪器等各行业中的应用，并就其工艺效果进行探讨。
论述汽车门锁耐久性试验台气路传动工作过程，根据气路传动工作过程，设计出开门，关门，车外开锁，车内开锁可编程序控制器控制的传动子程度。
在 PH10～11.5的介质中,有非离子表面活性剂 TritonX-100存在下,钴（Ⅱ）与镉试剂2B形成组成比为 Co:镉试剂2B=1∶2的红色配合物,其最大吸收波长在530nm,表观摩尔吸光系数ε<sub>53
以201×2树脂为载体合成了一种高分子载体氧化剂——重铬酸型201×2树脂。这种高分子载体氧化剂可成功地氧化α,β-不饱和醇为相应的α,β-不饱和醛,而在同样条件下
白云瓶盖厂从意大利引进一台瓶盖自动生产线,为了解决备件问题,委托我院科技开发公司及计算中心设计制造一套备用控制设备,要求控制系统必须达到原系统功能,且不降低整条生产