Levi and Harper identities for non-prioritized belief base change

Garapa, Marco; Fermé, Eduardo; Reis, Maurício D. L.

http://hdl.handle.net/10400.13/5228

Utilize este identificador para referenciar este registo.

Nome:	Descrição:	Tamanho:	Formato:
Levi and Harper identities for non-prioritized belief base change.pdf		620.69 KB	Adobe PDF	Ver/Abrir

Contacte-nos

Autores

Garapa, Marco

Fermé, Eduardo

Reis, Maurício D. L.

Resumo(s)

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

Palavras-chave

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