Replacement-A Sheffer Stroke for Belief Change

• By replacement is meant an operation that replaces one sentence by another in a belief set. Replacement can be used as a kind of Sheffer stroke for belief change, since contraction, revision, and expansion can all be defined in terms of it. Replacement can also be defined either in terms of contraction or in terms of revision. Close connections are shown to hold between axioms for replacement and axioms for contraction and revision. Partial meet replacement is axiomatically characterized. It is shown that this operation can have outcomes that are not obtainable through either partial meet contraction or partial meet revision.

Nyckelord

Replacement

Sheffer stroke

Belief revision

AGM model

Revision

Contraction

Publikations- och innehållstyp

ref (ämneskategori)

art (ämneskategori)