Modelling Epistemic Actions in Interrogative Belief Revision
(2012) In Journal of Logic and Computation 22(6). p.1335-1365- Abstract
- 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... (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:
https://lup.lub.lu.se/record/2155097
- author
- Enqvist, Sebastian LU
- organization
- publishing date
- 2012
- 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
- 2016-04-01 14:29:36
- date last changed
- 2022-01-28 00:51:56
@article{959222c7-e676-4f79-b54a-005744ba3144,
abstract = {{Abstract in Undetermined<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}},
keywords = {{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}},
doi = {{10.1093/logcom/exr031}},
volume = {{22}},
year = {{2012}},
}