Levi and Harper identities for non-prioritized belief base change

• Autor(a) principal: Garapa, Marco
• Data de Publicação: 2023
• Outros Autores: Fermé, Eduardo, Reis, Maurício D. L.
• Tipo de documento: Artigo
• Idioma: eng
• Título da fonte: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
• Texto Completo: http://hdl.handle.net/10400.13/5228
• topic: Non-prioritized belief change; Belief bases; Base revision; Credibility-limited base revision; Base contraction; Consistency-preserving Levi identity; Shielded base contraction; Harper identity; .; Faculdade de Ciências Exatas e da Engenharia

In this paper, we investigate the relation between shielded base contraction postulates and credibility-limited (CL) base revision postulates. More precisely, we identify (i) the relation between the postulates satisfied by a shielded base contraction operator and the postulates satisfied by the CL base revision operator that is defined from it by means of the consistency-preserving Levi identity and (ii) the relation between the postulates satisfied by a CL base revision operator and the postulates satisfied by the shielded base contraction operator that is defined from it by means of the Harper identity. Furthermore, we show that the consistency-preserving Levi identity and the Harper identity establish a one-to one correspondence between the twenty classes of shielded base contractions presented in [21] and the twenty classes of credibility-limited base revisions presented in [22].