Belief Update Without Compactness in Non-Finitary Languages
Abstract
The main paradigms of belief change require the background logic to be Tarskian and finitary. We look at belief update when the underlying logic is not necessarily finitary. We show that in this case the classical construction for KM update does not capture all the rationality postulates for KM belief update. Indeed, this construction, being fully characterised by a subset of the KM update postulates, is weaker. We explore the reason behind this, and subsequently provide an alternative constructive accounts of belief update which is characterised by the full set of KM postulates in this more general framework.
Cite
Text
Ribeiro et al. "Belief Update Without Compactness in Non-Finitary Languages." International Joint Conference on Artificial Intelligence, 2019. doi:10.24963/IJCAI.2019/257Markdown
[Ribeiro et al. "Belief Update Without Compactness in Non-Finitary Languages." International Joint Conference on Artificial Intelligence, 2019.](https://mlanthology.org/ijcai/2019/ribeiro2019ijcai-belief/) doi:10.24963/IJCAI.2019/257BibTeX
@inproceedings{ribeiro2019ijcai-belief,
title = {{Belief Update Without Compactness in Non-Finitary Languages}},
author = {Ribeiro, Jandson S. and Nayak, Abhaya and Wassermann, Renata},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2019},
pages = {1858-1864},
doi = {10.24963/IJCAI.2019/257},
url = {https://mlanthology.org/ijcai/2019/ribeiro2019ijcai-belief/}
}