AB  - The policy of rational belief revision is encoded in the so-called AGM revision functions. Such functions are characterized (both axiomatically and constructively) within the well-known AGM paradigm, proposed by Alchourrón, Gärdenfors and Makinson. In this article, we show that - although not in a straightforward way - a sufficient extension of the underlying language allows for the modelling of any AGM revision function (defined at the initial language), by means of a Hamming-based rule for belief revision introduced by Dalal (defined at the extended language). The established results enrich the applicability of Dalal's proposal, leading to a conceptual and ontological reduction, as well as open new doors for the construction of any type of revision function in a practical context, given the intuitive appeal and simplicity of Dalal's construction.
AU  - Aravanis, T
AU  - Peppas, P
AU  - Williams, MA
DA  - 2020/08/24
DO  - 10.3233/FAIA200144
EP  - 607
JO  - European Conference on Artificial Intelligence
PB  - IOS Press
PY  - 2020/08/24
SP  - 601
TI  - Modelling belief-revision functions at extended languages
VL  - 325
Y1  - 2020/08/24
Y2  - 2026/05/11
ER  -