{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:TKEU6MWDVH7JN7GEY6BOX3NPS6","short_pith_number":"pith:TKEU6MWD","canonical_record":{"source":{"id":"1302.1567","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-06T15:58:57Z","cross_cats_sorted":[],"title_canon_sha256":"284f58ecee627febbdf2b5b57f6bc0219941162f8a35f6a57b6f63e232534426","abstract_canon_sha256":"ec7fe01bf5fb97bc6e7d0cc6513bddd2d22ca1c45e3a8822a5a5701b7fb09ec7"},"schema_version":"1.0"},"canonical_sha256":"9a894f32c3a9fe96fcc4c782ebedaf97a7444216afd991b804f5fccdc9130f10","source":{"kind":"arxiv","id":"1302.1567","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.1567","created_at":"2026-05-18T03:34:15Z"},{"alias_kind":"arxiv_version","alias_value":"1302.1567v1","created_at":"2026-05-18T03:34:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.1567","created_at":"2026-05-18T03:34:15Z"},{"alias_kind":"pith_short_12","alias_value":"TKEU6MWDVH7J","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"TKEU6MWDVH7JN7GE","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"TKEU6MWD","created_at":"2026-05-18T12:28:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:TKEU6MWDVH7JN7GEY6BOX3NPS6","target":"record","payload":{"canonical_record":{"source":{"id":"1302.1567","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-06T15:58:57Z","cross_cats_sorted":[],"title_canon_sha256":"284f58ecee627febbdf2b5b57f6bc0219941162f8a35f6a57b6f63e232534426","abstract_canon_sha256":"ec7fe01bf5fb97bc6e7d0cc6513bddd2d22ca1c45e3a8822a5a5701b7fb09ec7"},"schema_version":"1.0"},"canonical_sha256":"9a894f32c3a9fe96fcc4c782ebedaf97a7444216afd991b804f5fccdc9130f10","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:34:15.434663Z","signature_b64":"QyjCGajJ/xTM+v534vkwg4bPjZBi9i1hzfckuotg9r+yt8/PHC+Fe3rj1+qyhbU6HK5DrqJaz2eQ3htmfpD3Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9a894f32c3a9fe96fcc4c782ebedaf97a7444216afd991b804f5fccdc9130f10","last_reissued_at":"2026-05-18T03:34:15.434173Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:34:15.434173Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.1567","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:34:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BHowf68epgpmUcz0/fw+YnOyX1EpDwa7/9xDSdEUBAZAH0Eu6cJL5fhSa9DOTVD/Xg4brsdqsZ0wNq50kAzvBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T15:15:46.369063Z"},"content_sha256":"c5512e8c248d0174ed8d641418e456498191375ef9dc6af0669d93f1a392da99","schema_version":"1.0","event_id":"sha256:c5512e8c248d0174ed8d641418e456498191375ef9dc6af0669d93f1a392da99"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:TKEU6MWDVH7JN7GEY6BOX3NPS6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Cost-Sharing in Bayesian Knowledge Bases","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Carmel Domshlak, Eugene Santos Jr, Solomon Eyal Shimony","submitted_at":"2013-02-06T15:58:57Z","abstract_excerpt":"Bayesian knowledge bases (BKBs) are a generalization of Bayes networks and weighted proof graphs (WAODAGs), that allow cycles in the causal graph.  Reasoning in BKBs requires finding the most probable inferences consistent with the evidence.  The cost-sharing heuristic for finding least-cost explanations in WAODAGs was presented and shown to be effective by Charniak and Husain.  However, the cycles in BKBs would make the definition of cost-sharing cyclic as well, if applied directly to BKBs.  By treating the defining equations of cost-sharing as a system of equations, one can properly define a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.1567","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:34:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ULkz1/VumfPaRFxrXPi6JNOkgmOpqzd2Yu6eeWTI3EXtyL2N4QKDCbXQM0ndTN6mlBhRklnE5JFtcleVSU6nCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T15:15:46.369423Z"},"content_sha256":"8c1bc490aefa8b9ef272231607ac6b122ef4a311cb08ef1f36d4989b7991f295","schema_version":"1.0","event_id":"sha256:8c1bc490aefa8b9ef272231607ac6b122ef4a311cb08ef1f36d4989b7991f295"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TKEU6MWDVH7JN7GEY6BOX3NPS6/bundle.json","state_url":"https://pith.science/pith/TKEU6MWDVH7JN7GEY6BOX3NPS6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TKEU6MWDVH7JN7GEY6BOX3NPS6/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-01T15:15:46Z","links":{"resolver":"https://pith.science/pith/TKEU6MWDVH7JN7GEY6BOX3NPS6","bundle":"https://pith.science/pith/TKEU6MWDVH7JN7GEY6BOX3NPS6/bundle.json","state":"https://pith.science/pith/TKEU6MWDVH7JN7GEY6BOX3NPS6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TKEU6MWDVH7JN7GEY6BOX3NPS6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:TKEU6MWDVH7JN7GEY6BOX3NPS6","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":"ec7fe01bf5fb97bc6e7d0cc6513bddd2d22ca1c45e3a8822a5a5701b7fb09ec7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-06T15:58:57Z","title_canon_sha256":"284f58ecee627febbdf2b5b57f6bc0219941162f8a35f6a57b6f63e232534426"},"schema_version":"1.0","source":{"id":"1302.1567","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.1567","created_at":"2026-05-18T03:34:15Z"},{"alias_kind":"arxiv_version","alias_value":"1302.1567v1","created_at":"2026-05-18T03:34:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.1567","created_at":"2026-05-18T03:34:15Z"},{"alias_kind":"pith_short_12","alias_value":"TKEU6MWDVH7J","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"TKEU6MWDVH7JN7GE","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"TKEU6MWD","created_at":"2026-05-18T12:28:02Z"}],"graph_snapshots":[{"event_id":"sha256:8c1bc490aefa8b9ef272231607ac6b122ef4a311cb08ef1f36d4989b7991f295","target":"graph","created_at":"2026-05-18T03:34:15Z","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":"Bayesian knowledge bases (BKBs) are a generalization of Bayes networks and weighted proof graphs (WAODAGs), that allow cycles in the causal graph.  Reasoning in BKBs requires finding the most probable inferences consistent with the evidence.  The cost-sharing heuristic for finding least-cost explanations in WAODAGs was presented and shown to be effective by Charniak and Husain.  However, the cycles in BKBs would make the definition of cost-sharing cyclic as well, if applied directly to BKBs.  By treating the defining equations of cost-sharing as a system of equations, one can properly define a","authors_text":"Carmel Domshlak, Eugene Santos Jr, Solomon Eyal Shimony","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-06T15:58:57Z","title":"Cost-Sharing in Bayesian Knowledge Bases"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.1567","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:c5512e8c248d0174ed8d641418e456498191375ef9dc6af0669d93f1a392da99","target":"record","created_at":"2026-05-18T03:34:15Z","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":"ec7fe01bf5fb97bc6e7d0cc6513bddd2d22ca1c45e3a8822a5a5701b7fb09ec7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-06T15:58:57Z","title_canon_sha256":"284f58ecee627febbdf2b5b57f6bc0219941162f8a35f6a57b6f63e232534426"},"schema_version":"1.0","source":{"id":"1302.1567","kind":"arxiv","version":1}},"canonical_sha256":"9a894f32c3a9fe96fcc4c782ebedaf97a7444216afd991b804f5fccdc9130f10","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9a894f32c3a9fe96fcc4c782ebedaf97a7444216afd991b804f5fccdc9130f10","first_computed_at":"2026-05-18T03:34:15.434173Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:34:15.434173Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QyjCGajJ/xTM+v534vkwg4bPjZBi9i1hzfckuotg9r+yt8/PHC+Fe3rj1+qyhbU6HK5DrqJaz2eQ3htmfpD3Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:34:15.434663Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.1567","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c5512e8c248d0174ed8d641418e456498191375ef9dc6af0669d93f1a392da99","sha256:8c1bc490aefa8b9ef272231607ac6b122ef4a311cb08ef1f36d4989b7991f295"],"state_sha256":"016a6ff71eb0a50083af62b496204fb830b592592cfdb9041b580fe64a8f766b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"loMfkKXeutq8BSJQBqM3A7GoTfpGOAFRO80jSykjb05qbAvmBxc5lWBS2tlYDS5S9KwXIErFjYxEY7h9ECpWBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T15:15:46.371381Z","bundle_sha256":"ded2d310f7ba7a293da39f366175afad053eff35c955f3ef96185a7bcb7ac0d3"}}