{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:VVVAZFUAL6JC75K3O27APMNZY3","short_pith_number":"pith:VVVAZFUA","canonical_record":{"source":{"id":"1303.5712","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-20T15:30:11Z","cross_cats_sorted":[],"title_canon_sha256":"a7aaf828cab1c44920aecfc86b8c6c40b16f8e4386408822f431d75f94ae7b47","abstract_canon_sha256":"f9762eef54e516d1eab1d29f73489212e4ebc05924a278ca0a4a54041184755a"},"schema_version":"1.0"},"canonical_sha256":"ad6a0c96805f922ff55b76be07b1b9c6ed73b41bf15c622c887af27ccdbe1320","source":{"kind":"arxiv","id":"1303.5712","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.5712","created_at":"2026-05-18T03:30:01Z"},{"alias_kind":"arxiv_version","alias_value":"1303.5712v1","created_at":"2026-05-18T03:30:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.5712","created_at":"2026-05-18T03:30:01Z"},{"alias_kind":"pith_short_12","alias_value":"VVVAZFUAL6JC","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"VVVAZFUAL6JC75K3","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"VVVAZFUA","created_at":"2026-05-18T12:28:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:VVVAZFUAL6JC75K3O27APMNZY3","target":"record","payload":{"canonical_record":{"source":{"id":"1303.5712","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-20T15:30:11Z","cross_cats_sorted":[],"title_canon_sha256":"a7aaf828cab1c44920aecfc86b8c6c40b16f8e4386408822f431d75f94ae7b47","abstract_canon_sha256":"f9762eef54e516d1eab1d29f73489212e4ebc05924a278ca0a4a54041184755a"},"schema_version":"1.0"},"canonical_sha256":"ad6a0c96805f922ff55b76be07b1b9c6ed73b41bf15c622c887af27ccdbe1320","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:30:01.693533Z","signature_b64":"CLOmLyo1E+ls3BqQOs8zO2s6kmLorgIfgJ787GQxKAQPW+WwXRJyZ+uL+MOxJyUDAf9iKNNhhnzh/naJdXa8AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ad6a0c96805f922ff55b76be07b1b9c6ed73b41bf15c622c887af27ccdbe1320","last_reissued_at":"2026-05-18T03:30:01.692773Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:30:01.692773Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1303.5712","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:30:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S0duKIViozAKhrCw/iO3R+5QuP0B25RRLGmxxgk6VZL/fwOvwIwO93jLTuex5ybVjkcPzy6Jnram1Yne/6ALBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T22:14:51.105686Z"},"content_sha256":"bc7e6bab75f7a5708ead144755986787670d85e25a7ed5e742b47c30fe293daa","schema_version":"1.0","event_id":"sha256:bc7e6bab75f7a5708ead144755986787670d85e25a7ed5e742b47c30fe293daa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:VVVAZFUAL6JC75K3O27APMNZY3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic Probabilistic Inference with Continuous Variables","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Kuo-Chu Chang, Robert Fung","submitted_at":"2013-03-20T15:30:11Z","abstract_excerpt":"Research on Symbolic Probabilistic Inference (SPI) [2, 3] has provided an algorithm for resolving general queries in Bayesian networks.  SPI applies the concept of dependency directed backward search to probabilistic inference, and is incremental with respect to both queries and observations.  Unlike traditional Bayesian network inferencing algorithms, SPI algorithm is goal directed, performing only those calculations that are required to respond to queries.  Research to date on SPI applies to Bayesian networks with discrete-valued variables and does not address variables with continuous value"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.5712","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:30:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kheTSqvXsVs7KfvuIRZvoS2qOWyjPgunkN24EHUlxmQGamhKXf382ZZVOPMGPzvPMigOM9MDZw/9h0m3clGlBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T22:14:51.106035Z"},"content_sha256":"f84b175089b0292414aa10950009a13fdf9b7c6ce06276715e4cd3bbd39a2548","schema_version":"1.0","event_id":"sha256:f84b175089b0292414aa10950009a13fdf9b7c6ce06276715e4cd3bbd39a2548"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VVVAZFUAL6JC75K3O27APMNZY3/bundle.json","state_url":"https://pith.science/pith/VVVAZFUAL6JC75K3O27APMNZY3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VVVAZFUAL6JC75K3O27APMNZY3/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-03T22:14:51Z","links":{"resolver":"https://pith.science/pith/VVVAZFUAL6JC75K3O27APMNZY3","bundle":"https://pith.science/pith/VVVAZFUAL6JC75K3O27APMNZY3/bundle.json","state":"https://pith.science/pith/VVVAZFUAL6JC75K3O27APMNZY3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VVVAZFUAL6JC75K3O27APMNZY3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:VVVAZFUAL6JC75K3O27APMNZY3","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":"f9762eef54e516d1eab1d29f73489212e4ebc05924a278ca0a4a54041184755a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-20T15:30:11Z","title_canon_sha256":"a7aaf828cab1c44920aecfc86b8c6c40b16f8e4386408822f431d75f94ae7b47"},"schema_version":"1.0","source":{"id":"1303.5712","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.5712","created_at":"2026-05-18T03:30:01Z"},{"alias_kind":"arxiv_version","alias_value":"1303.5712v1","created_at":"2026-05-18T03:30:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.5712","created_at":"2026-05-18T03:30:01Z"},{"alias_kind":"pith_short_12","alias_value":"VVVAZFUAL6JC","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"VVVAZFUAL6JC75K3","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"VVVAZFUA","created_at":"2026-05-18T12:28:04Z"}],"graph_snapshots":[{"event_id":"sha256:f84b175089b0292414aa10950009a13fdf9b7c6ce06276715e4cd3bbd39a2548","target":"graph","created_at":"2026-05-18T03:30:01Z","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":"Research on Symbolic Probabilistic Inference (SPI) [2, 3] has provided an algorithm for resolving general queries in Bayesian networks.  SPI applies the concept of dependency directed backward search to probabilistic inference, and is incremental with respect to both queries and observations.  Unlike traditional Bayesian network inferencing algorithms, SPI algorithm is goal directed, performing only those calculations that are required to respond to queries.  Research to date on SPI applies to Bayesian networks with discrete-valued variables and does not address variables with continuous value","authors_text":"Kuo-Chu Chang, Robert Fung","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-20T15:30:11Z","title":"Symbolic Probabilistic Inference with Continuous Variables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.5712","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:bc7e6bab75f7a5708ead144755986787670d85e25a7ed5e742b47c30fe293daa","target":"record","created_at":"2026-05-18T03:30:01Z","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":"f9762eef54e516d1eab1d29f73489212e4ebc05924a278ca0a4a54041184755a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-20T15:30:11Z","title_canon_sha256":"a7aaf828cab1c44920aecfc86b8c6c40b16f8e4386408822f431d75f94ae7b47"},"schema_version":"1.0","source":{"id":"1303.5712","kind":"arxiv","version":1}},"canonical_sha256":"ad6a0c96805f922ff55b76be07b1b9c6ed73b41bf15c622c887af27ccdbe1320","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ad6a0c96805f922ff55b76be07b1b9c6ed73b41bf15c622c887af27ccdbe1320","first_computed_at":"2026-05-18T03:30:01.692773Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:30:01.692773Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CLOmLyo1E+ls3BqQOs8zO2s6kmLorgIfgJ787GQxKAQPW+WwXRJyZ+uL+MOxJyUDAf9iKNNhhnzh/naJdXa8AA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:30:01.693533Z","signed_message":"canonical_sha256_bytes"},"source_id":"1303.5712","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bc7e6bab75f7a5708ead144755986787670d85e25a7ed5e742b47c30fe293daa","sha256:f84b175089b0292414aa10950009a13fdf9b7c6ce06276715e4cd3bbd39a2548"],"state_sha256":"e39765eeacb7965744802b41c45191ba7c4c97bc5507e55a714d0274e98b554d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5eiTU0elx6AMz6bnQx3njXrOkUD9F86pYf5hSc/0XrpzuiDzCCros+9VvA+r2tFwimkYKHYnCxYZVBUG+Eb1Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T22:14:51.107977Z","bundle_sha256":"dc251231a06d0e2a6640e4a1843795113d84b60265da7c7a3302450558fb5a44"}}