{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:RBPYQYXDQ4AY5GUVFWHIX7VFXY","short_pith_number":"pith:RBPYQYXD","schema_version":"1.0","canonical_sha256":"885f8862e387018e9a952d8e8bfea5be14f612b8d18d49f20830e8810bd0c13c","source":{"kind":"arxiv","id":"1604.05419","version":1},"attestation_state":"computed","paper":{"title":"Extending the Harper Identity to Iterated Belief Change","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Jake Chandler, Richard Booth","submitted_at":"2016-04-19T03:36:20Z","abstract_excerpt":"The field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e. contraction, receiving relatively little attention. In this paper we extend the Harper Identity from single-step change to define iterated contraction in terms of iterated revision. Specifically, just as the Harper Identity provides a recipe for defining the belief set resulting from contracting A in terms of (i) the initial belief set and (ii) the belief set resulting from revision by not-A, we look at ways to define the plausibility ordering over worlds resulting"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1604.05419","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-04-19T03:36:20Z","cross_cats_sorted":[],"title_canon_sha256":"0fe7618597cd53de5a53fe12048430e8cbb2f78eead377f003d6c5f297dd2dc3","abstract_canon_sha256":"63ec20a9f9839002bdc27a84f92fbeab229a9e786bf7b6cf3e62119a132f6596"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:16:53.982083Z","signature_b64":"dkDQgmm5reVX6Mt5ocKjvlBO4vitZa+VOR67B8JxPzbCz4UAy2o5/fCA0680w9uwdYsVPTYy39OyuBdwJe/fCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"885f8862e387018e9a952d8e8bfea5be14f612b8d18d49f20830e8810bd0c13c","last_reissued_at":"2026-05-18T01:16:53.981565Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:16:53.981565Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Extending the Harper Identity to Iterated Belief Change","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Jake Chandler, Richard Booth","submitted_at":"2016-04-19T03:36:20Z","abstract_excerpt":"The field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e. contraction, receiving relatively little attention. In this paper we extend the Harper Identity from single-step change to define iterated contraction in terms of iterated revision. Specifically, just as the Harper Identity provides a recipe for defining the belief set resulting from contracting A in terms of (i) the initial belief set and (ii) the belief set resulting from revision by not-A, we look at ways to define the plausibility ordering over worlds resulting"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.05419","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1604.05419","created_at":"2026-05-18T01:16:53.981659+00:00"},{"alias_kind":"arxiv_version","alias_value":"1604.05419v1","created_at":"2026-05-18T01:16:53.981659+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.05419","created_at":"2026-05-18T01:16:53.981659+00:00"},{"alias_kind":"pith_short_12","alias_value":"RBPYQYXDQ4AY","created_at":"2026-05-18T12:30:41.710351+00:00"},{"alias_kind":"pith_short_16","alias_value":"RBPYQYXDQ4AY5GUV","created_at":"2026-05-18T12:30:41.710351+00:00"},{"alias_kind":"pith_short_8","alias_value":"RBPYQYXD","created_at":"2026-05-18T12:30:41.710351+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/RBPYQYXDQ4AY5GUVFWHIX7VFXY","json":"https://pith.science/pith/RBPYQYXDQ4AY5GUVFWHIX7VFXY.json","graph_json":"https://pith.science/api/pith-number/RBPYQYXDQ4AY5GUVFWHIX7VFXY/graph.json","events_json":"https://pith.science/api/pith-number/RBPYQYXDQ4AY5GUVFWHIX7VFXY/events.json","paper":"https://pith.science/paper/RBPYQYXD"},"agent_actions":{"view_html":"https://pith.science/pith/RBPYQYXDQ4AY5GUVFWHIX7VFXY","download_json":"https://pith.science/pith/RBPYQYXDQ4AY5GUVFWHIX7VFXY.json","view_paper":"https://pith.science/paper/RBPYQYXD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1604.05419&json=true","fetch_graph":"https://pith.science/api/pith-number/RBPYQYXDQ4AY5GUVFWHIX7VFXY/graph.json","fetch_events":"https://pith.science/api/pith-number/RBPYQYXDQ4AY5GUVFWHIX7VFXY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RBPYQYXDQ4AY5GUVFWHIX7VFXY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RBPYQYXDQ4AY5GUVFWHIX7VFXY/action/storage_attestation","attest_author":"https://pith.science/pith/RBPYQYXDQ4AY5GUVFWHIX7VFXY/action/author_attestation","sign_citation":"https://pith.science/pith/RBPYQYXDQ4AY5GUVFWHIX7VFXY/action/citation_signature","submit_replication":"https://pith.science/pith/RBPYQYXDQ4AY5GUVFWHIX7VFXY/action/replication_record"}},"created_at":"2026-05-18T01:16:53.981659+00:00","updated_at":"2026-05-18T01:16:53.981659+00:00"}