• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >Modelling epistemic actions in interrogative belief revision
【24h】

Modelling epistemic actions in interrogative belief revision

机译：疑问信念修正中的认知行为建模

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

摘要

Interrogative belief revision is a relatively recent framework for belief revision theory, in which the epistemic state of an agent includes a representation of that agent's research agenda, i.e. the set of questions the agent wants to have answers to. This added structure opens new possibilites for various types of epistemic change that cannot be distinguished in traditional belief revision. In this article I use the so-called 'action model' approach known from the literature on dynamic epistemic logic to provide a unified framework in which we can reason about these various types of epistemic changes. I show how to model some natural examples of epistemic changes involving change of the research agenda in this framework. The action models give rise to a dynamic logic which is proven to be decidable.
机译：疑问信念修订是信念修订理论的一个相对较新的框架，其中代理的认知状态包括该代理研究议程的表示，即代理想要解决的一系列问题。这种增加的结构为传统认识修订中无法区分的各种认知变化打开了新的可能性。在本文中，我使用了动态认知逻辑文献中所谓的“动作模型”方法，以提供一个统一的框架，在其中我们可以对这些各种类型的认知变化进行推理。我将展示如何在此框架中建模一些自然的认知变化示例，其中涉及研究议程的变化。动作模型产生了动态逻辑，该逻辑被证明是可判定的。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号