论文部分内容阅读
给出了命题逻辑上信念修正的两种可操作的完全方法。首先对R－演算的规则进行了修改，使得对任何一个极大协调的子集都通过这组规则得到。然后，给出了求得所有的极小不协调子集的一组规则。最后，给出一个过程，该过程能求得所有的极大协调子集，因为这两种方法都能求得所有的极大协调子集，所以把它们称为完全的。
信念修正的完全和可操作的方法
【摘 要】
：
给出了命题逻辑上信念修正的两种可操作的完全方法。首先对R－演算的规则进行了修改，使得对任何一个极大协调的子集都通过这组规则得到。然后，给出了求得所有的极小不协调子集的
【机 构】
：
北京航空航天大学计算机科学与工程系,中国科学院软件研究所
【出 处】
：
软件学报
【发表日期】
：
2002年1期
【基金项目】
：
国家自然科学基金资助项目(60033020,60103020),,中国博士后科学基金资助项目~~
其他文献
数据仓库信息量的飞速膨胀对数据仓库提出了巨大挑战.如何提高Web环境下数据仓库的查询效率成为数据仓库研究领域重要的研究问题.对Web数据仓库的体系结构和查询方法进行了研
IP流量规划与区与服务结合是增强网络服务质量保证的新方法，在分析区分服务对流量规划需求的基础上，设计了区分出租车民流量规划结合的功能框架，提出了适合流量规划要求的队列调
<正> 本文就望新镇农村1993～1996年实行的镇村一体化高血压社区管理模式来监测干预与控制高血压、脑卒中的实践及作用做一评价,以探讨农村预防和控制心脑血管疾病监测干预措施
农村合作医疗改革方案虽是在县级水平，但具体实施是在各乡镇，各乡镇由于经济水平的不同，具体的管理一定的差别，由此也会对结果产生影响。通过三个乡镇的卫生服务需要和利用比较分
对合肥市５６８名３个月婴儿进行了生长状况与喂养模式的现状调查，与ＷＨＯ推荐的体格生长标准比较，３个月个婴儿生长发育良好。纯母乳喂养完全能够满足婴儿前几个月的生长发育需要。合肥市３个月
<正> 最近,笔者对三明市乡镇卫生院院连年亏损原因做了调查,并同有关县卫生局的领导、部分乡镇卫生院长进行座谈,认为今后农村卫生事业要发展,就要尽快地解决好乡镇卫生院防
串空间模型和CSP方法是当前最著名的分析认证协议的形式化方法.通过一个具体的认证协议例子,比较两种方法的不同特点.
评价合作医疗的效果需要系统的指标体系，本文从合作医疗的目的和功能出发探讨了抗风险，公平，效率，费用控制，健康效果，等七方面的评价指标及应注意的问题。
农村是我国卫生工作的重点,合作医疗、三级医疗保健网和乡村医生队伍是农村卫生工作的“三大支柱”,而合作医疗又是其中的关键,可谓是重中之“重”。因此,应该按住不放,一抓
１９９３年３￣５月对北京市两个计划生育门诊的６０３例１９￣４４岁人工流产妇女进行了人工流产原因及避孕情况调查。结果表明：在已婚有孩子的妇女中，９６．４％是因不想或不能再要孩子而行人工流产术，多数因为避孕方法