首页> 外文期刊>Journal of logic and computation >The Limit Assumption and Multiple Revision
【24h】

The Limit Assumption and Multiple Revision

机译:极限假设和多次修订

获取原文
获取原文并翻译 | 示例
           

摘要

In his seminal paper in 1988, Grove provided possible-world semantics for the axiomatic approach to belief revision proposed by Alchourron, Gardenfors, and Makinson. Grove's semantics are based on a system of spheres, which is essentially a total preorder on possible worlds, satisfying a particular smoothness condition called the limit assumption. In this article we build upon Grove's representation result working in two (related) directions. In particular, the first part of the article considers a number of smoothness conditions (variants of the limit assumption) as additional constraints to systems of spheres, and studies their implications for AGM belief revision. Such smoothness conditions are of particular importance in the context of multiple revision, that is, revision with respect to a (possibly infinite) set of sentences. In the second part of the article we examine closely this process and, in the spirit of Grove, we provide a constructive model for multiple revision based on systems of spheres and prove the corresponding representation result. Finally, we examine ways of reducing multiple revision to classical AGM sentence revision, and we devise a particular smoothness condition which is shown to be necessary and sufficient for such a reduction.
机译:在1988年的开创性论文中,格罗夫为Alchourron,Gardenfors和Makinson提出的公理化信念修正方法提供了可能的世界语义。 Grove的语义基于一个球体系统,该系统本质上是可能世界上的总预言,满足一个称为极限假设的特定平滑条件。在本文中,我们以在两个(相关)方向上工作的Grove表示结果为基础。特别是,本文的第一部分将许多平滑条件(极限假设的变化)视为对球体系统的附加约束,并研究了它们对AGM信念修正的影响。这样的平滑度条件在多重修订的上下文中尤其重要,也就是说,针对(可能是无限的)句子集进行修订。在本文的第二部分中,我们仔细研究了这一过程,并且本着格罗夫的精神,我们为基于球体系统的多次修订提供了一个建设性的模型,并证明了相应的表示结果。最后,我们研究了将多重修订减少为经典AGM句子修订的方法,并设计了一种特殊的平滑条件,该条件对于这种简化是必要的和充分的。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号