no code implementations • 5 Jan 2021 • Marlo Souza, Álvaro Moreira, Renata Vieira
Recently, several logics for belief and information change have been proposed in the literature and used to encode belief change operations in rich and expressive semantic frameworks.
no code implementations • 22 Dec 2019 • Marlo Souza, Álvaro Moreira
AGM's belief revision is one of the main paradigms in the study of belief change operations.
no code implementations • 17 Feb 2019 • Marlo Souza, Álvaro Moreira, Renata Vieira
This work investigates how priority graphs, a syntactic representation of preference relations deeply connected to prioritised bases, can be used to characterise belief change operators, focusing on well-known postulates of Iterated Belief Change.