{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:BUFAHZEK3RHJHTTSJ6FSN4UZPR","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"39cb6d1c2e5dec0f2b8ee130f1b944c3a094a489dc2bdab28f257a64a1272f5e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-27T19:39:57Z","title_canon_sha256":"001d5487342d06d979fe426adb936b61d957d283f1c4bb3442e540a61bb4a308"},"schema_version":"1.0","source":{"id":"1304.1523","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.1523","created_at":"2026-05-18T03:28:55Z"},{"alias_kind":"arxiv_version","alias_value":"1304.1523v1","created_at":"2026-05-18T03:28:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.1523","created_at":"2026-05-18T03:28:55Z"},{"alias_kind":"pith_short_12","alias_value":"BUFAHZEK3RHJ","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"BUFAHZEK3RHJHTTS","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"BUFAHZEK","created_at":"2026-05-18T12:27:40Z"}],"graph_snapshots":[{"event_id":"sha256:3ddeabbd3a0bc433b1fd2b3fd00cce84e03814db37044823b3cb6cbaa360d161","target":"graph","created_at":"2026-05-18T03:28:55Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We formulate Dempster Shafer Belief functions in terms of Propositional Logic using the implicit notion of provability underlying Dempster Shafer Theory.  Given a set of propositional clauses, assigning weights to certain propositional literals enables the Belief functions to be explicitly computed using Network Reliability techniques.  Also, the logical procedure corresponding to updating Belief functions using Dempster's Rule of Combination is shown.  This analysis formalizes the implementation of Belief functions within an Assumption-based Truth Maintenance System (ATMS).  We describe the e","authors_text":"Gregory M. Provan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-27T19:39:57Z","title":"A Logical Interpretation of Dempster-Shafer Theory, with Application to Visual Recognition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.1523","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:5e81ba55d73bc445e00db3c439f10cae1665e8db0811168b664c8a884e0e5b53","target":"record","created_at":"2026-05-18T03:28:55Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"39cb6d1c2e5dec0f2b8ee130f1b944c3a094a489dc2bdab28f257a64a1272f5e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-27T19:39:57Z","title_canon_sha256":"001d5487342d06d979fe426adb936b61d957d283f1c4bb3442e540a61bb4a308"},"schema_version":"1.0","source":{"id":"1304.1523","kind":"arxiv","version":1}},"canonical_sha256":"0d0a03e48adc4e93ce724f8b26f2997c65ced197b212da268b3cf870776fc906","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0d0a03e48adc4e93ce724f8b26f2997c65ced197b212da268b3cf870776fc906","first_computed_at":"2026-05-18T03:28:55.523416Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:28:55.523416Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nOzkjuORNWWTpcI+/jirHDf/tr+A69wJOcHCTfUvPdGzVN9y2NHkeTMgMg1zKmq3/qFThKJdcNMSq8H66pN6Dw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:28:55.524005Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.1523","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5e81ba55d73bc445e00db3c439f10cae1665e8db0811168b664c8a884e0e5b53","sha256:3ddeabbd3a0bc433b1fd2b3fd00cce84e03814db37044823b3cb6cbaa360d161"],"state_sha256":"1acef43ee9c6aee0e9eb95b313aff8a50e8afdde2d95f61e581e6f7e73abd414"}