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

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
Levi and Harper identities for non-prioritized belief base change.pdf		620.69 KB	Adobe PDF	Download

Send Feedback

Authors

Garapa, Marco

Fermé, Eduardo

Reis, Maurício D. L.

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

Keywords

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