Belief update without compactness in non-finitary languages

Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

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.
LanguageEnglish
Title of host publicationProceedings of the Twenty Eighth International Joint Conference on Artificial Intelligence (IJCAI-2019)
EditorsSarit Kraus
PublisherInternational Joint Conferences on Artificial Intelligence
Pages1858-1864
Number of pages7
ISBN (Electronic)9780999241141
DOIs
Publication statusPublished - Aug 2019
Event28th International Joint Conference on Artificial Intelligence, IJCAI 2019 - Macao, China
Duration: 10 Aug 201916 Aug 2019

Conference

Conference28th International Joint Conference on Artificial Intelligence, IJCAI 2019
CountryChina
CityMacao
Period10/08/1916/08/19

Fingerprint

Compactness
Update
Postulate
Logic
Belief Change
Rationality
Paradigm
Language
Beliefs
Subset
Alternatives

Cite this

S. Ribeiro, J., Nayak, A., & Wassermann, R. (2019). Belief update without compactness in non-finitary languages. In S. Kraus (Ed.), Proceedings of the Twenty Eighth International Joint Conference on Artificial Intelligence (IJCAI-2019) (pp. 1858-1864). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2019/257
S. Ribeiro, Jandson ; Nayak, Abhaya ; Wassermann, Renata. / Belief update without compactness in non-finitary languages. Proceedings of the Twenty Eighth International Joint Conference on Artificial Intelligence (IJCAI-2019). editor / Sarit Kraus. International Joint Conferences on Artificial Intelligence, 2019. pp. 1858-1864
@inproceedings{2269a611f43a4d4e8da95f12efced4cf,
title = "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.",
author = "{S. Ribeiro}, Jandson and Abhaya Nayak and Renata Wassermann",
year = "2019",
month = "8",
doi = "10.24963/ijcai.2019/257",
language = "English",
pages = "1858--1864",
editor = "Sarit Kraus",
booktitle = "Proceedings of the Twenty Eighth International Joint Conference on Artificial Intelligence (IJCAI-2019)",
publisher = "International Joint Conferences on Artificial Intelligence",

}

S. Ribeiro, J, Nayak, A & Wassermann, R 2019, Belief update without compactness in non-finitary languages. in S Kraus (ed.), Proceedings of the Twenty Eighth International Joint Conference on Artificial Intelligence (IJCAI-2019). International Joint Conferences on Artificial Intelligence, pp. 1858-1864, 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, 10/08/19. https://doi.org/10.24963/ijcai.2019/257

Belief update without compactness in non-finitary languages. / S. Ribeiro, Jandson; Nayak, Abhaya; Wassermann, Renata.

Proceedings of the Twenty Eighth International Joint Conference on Artificial Intelligence (IJCAI-2019). ed. / Sarit Kraus. International Joint Conferences on Artificial Intelligence, 2019. p. 1858-1864.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

TY - GEN

T1 - Belief update without compactness in non-finitary languages

AU - S. Ribeiro, Jandson

AU - Nayak, Abhaya

AU - Wassermann, Renata

PY - 2019/8

Y1 - 2019/8

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85074909666&partnerID=8YFLogxK

U2 - 10.24963/ijcai.2019/257

DO - 10.24963/ijcai.2019/257

M3 - Conference proceeding contribution

SP - 1858

EP - 1864

BT - Proceedings of the Twenty Eighth International Joint Conference on Artificial Intelligence (IJCAI-2019)

A2 - Kraus, Sarit

PB - International Joint Conferences on Artificial Intelligence

ER -

S. Ribeiro J, Nayak A, Wassermann R. Belief update without compactness in non-finitary languages. In Kraus S, editor, Proceedings of the Twenty Eighth International Joint Conference on Artificial Intelligence (IJCAI-2019). International Joint Conferences on Artificial Intelligence. 2019. p. 1858-1864 https://doi.org/10.24963/ijcai.2019/257