Advanced

Modelling Epistemic Actions in Interrogative Belief Revision

Enqvist, Sebastian LU (2012) In Journal of Logic and Computation 22(6). p.1335-1365
Abstract (Swedish)
Abstract in Undetermined

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... (More)
Abstract in Undetermined

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. (Less)
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Contribution to journal
publication status
published
subject
keywords
research agenda, Belief revision, questions, dynamic logic, action models
in
Journal of Logic and Computation
volume
22
issue
6
pages
1335 - 1365
publisher
Oxford University Press
external identifiers
  • wos:000311670000004
  • scopus:84870230692
ISSN
0955-792X
DOI
10.1093/logcom/exr031
language
English
LU publication?
yes
id
959222c7-e676-4f79-b54a-005744ba3144 (old id 2155097)
date added to LUP
2011-10-04 10:02:09
date last changed
2017-01-01 06:16:21
@article{959222c7-e676-4f79-b54a-005744ba3144,
  abstract     = {<b>Abstract in Undetermined</b><br/><br>
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.},
  author       = {Enqvist, Sebastian},
  issn         = {0955-792X},
  keyword      = {research agenda,Belief revision,questions,dynamic logic,action models},
  language     = {eng},
  number       = {6},
  pages        = {1335--1365},
  publisher    = {Oxford University Press},
  series       = {Journal of Logic and Computation},
  title        = {Modelling Epistemic Actions in Interrogative Belief Revision},
  url          = {http://dx.doi.org/10.1093/logcom/exr031},
  volume       = {22},
  year         = {2012},
}