• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Artificial intelligence: Theories, models and applications >Associations between Constructive Models for Set Contraction
【24h】

Associations between Constructive Models for Set Contraction

机译：集收缩的构造模型之间的关联

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Belief Change is one of the central research topics in Knowledge Representation and theory revision and contraction are two of the most important operators in Belief Change. Recently the original axiom-atization of revision and contraction was extended to include epistemic input represented by a (possibly infinite) set of sentences (as opposed to a single sentence) giving rise to the operators of set revision (also known as multiple revision) and set contraction. Both set revision and set contraction have been characterized in terms of constructive models called system of spheres and epistemic grasp respectively. Based on these links, in this paper we provide a characterization of set contraction in terms of system of spheres, and we identify the necessary and sufficient conditions under which the system-of-spheres model and the epistemic-grasp model give rise to the same set contraction.
机译：信念变化是知识表示的核心研究课题之一，理论修正和收缩是信念变化中最重要的两个操作者。最近，修订和收缩的原始公理化被扩展到包括由（可能是无限的）一组句子（而不是单个句子）表示的认知输入，从而引起了集合修订（也称为多重修订）的运算符和收缩。集合修正和集合收缩都分别通过称为球体系统和认知掌握的建设性模型来表征。基于这些联系，在本文中，我们根据球体系统对集合收缩进行了刻画，并确定了必要的条件和充分的条件，在这些条件下，球体系统模型和认知抓取模型会产生相同的结果。收缩。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号