论文部分内容阅读
常识推理的核心问题为信念修正问题,研究人员就此已经提出了许多方法,其中AGM理论是最有影响的一个.本文讨论并逐条证明了定量非修正方法满足AGM公设的情况,表明该方法是一种性质良好的信念修正方法.
不一致信念的定量非修正方法满足AGM公设的讨论
【摘 要】
：
常识推理的核心问题为信念修正问题,研究人员就此已经提出了许多方法,其中AGM理论是最有影响的一个.本文讨论并逐条证明了定量非修正方法满足AGM公设的情况,表明该方法是一种
【机 构】
：
北京化工大学信息科学与技术学院,厦门大学计算机科学系,吉林工学院计算机科学系
【出 处】
：
计算机工程与科学
【发表日期】
：
2004年5期
【基金项目】
：
国家自然科学基金，国家高技术研究发展计划(863计划)
其他文献
本文介绍了设计和实现NIC级服务器高可用性的方案和具体结构,给出了设计上的详细框架和软件的总体流程,描述了不同负载、不同应用情况下的测试.
任德贵凭一手烹饪技艺到了广东宝安,3年后便买了1000平方米土地(?)起了餐馆,资产达到500万元;张乾文等人到北京公主坟一带开馆子,很快就名声在外……你可知道扶这些人上路的
本文分析了非对称网络级存储虚拟化的实现方式及其关键技术,并给出了一个具体设计,该设计可以较好的实现虚拟化,并能提供不次于本地文件系统的性能.
茶叶中含有450多种对人体有益的化学成分，有很好的营养价值和药理作用。1、止夜啼对夜啼的小儿，可将茶叶爵烂，捏成小饼，贴于小儿肚脐眼上，几分钟后小儿就不哭了。
1994年5月,中国服装协会、国家服装质检中心等6家权威机构组织了一次中华精品衬衫评选推荐活动。通过对全国各大百货商场的销售情况和1000多个品牌的衬衫进行市场抽样检测、
本文研究了各种保护数据完整性的方法,利用基于规则集访问控制RSBAC框架,在Linux内核实现了实时的完整性检验机制,并探讨了如何改进其性能.
激光推进数值模拟可以精细地刻画实验难以测量的流场时空演化过程,从而降低推进研究难度,节约试验经费开支,有效地缩短实验周期,极大地促进激光推进技术的发展。本文根据激光推进数值仿真程序以及编程语言的特点,针对性地使用串行和并行优化技术,对激光推进程序流程控制优化,改善了程序的运行性能。
本文介绍了用ColdFusion技术实现网上购物的系统结构,分析了系统各个模块的功能,对其中的关键技术进行了讨论,并给出了具体实例.
“九广合作”已经6年了。它是九三学社与广元市联合开展的旨在依靠科技、振兴经济的合作,是新时期统一战线涌现的新事物,是民主党派长期参与地方经济建设和社会发展的一种尝