{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:6DPCEDEZOQHZTH2ABVVLRT2WNX","short_pith_number":"pith:6DPCEDEZ","canonical_record":{"source":{"id":"1309.6816","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-09-26T12:30:21Z","cross_cats_sorted":[],"title_canon_sha256":"051ab4e4b69e0446d8354b1e783c6f363b497e7ac846a4779b37186535b43103","abstract_canon_sha256":"4ac30e79245b31e18e25a5a27cee56183ad909b2db25c13f55f9f4b1913f7b54"},"schema_version":"1.0"},"canonical_sha256":"f0de220c99740f999f400d6ab8cf566dfb6c2fbfb0bb3b6b5409139ea9779fc8","source":{"kind":"arxiv","id":"1309.6816","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.6816","created_at":"2026-05-18T03:12:10Z"},{"alias_kind":"arxiv_version","alias_value":"1309.6816v1","created_at":"2026-05-18T03:12:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.6816","created_at":"2026-05-18T03:12:10Z"},{"alias_kind":"pith_short_12","alias_value":"6DPCEDEZOQHZ","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"6DPCEDEZOQHZTH2A","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"6DPCEDEZ","created_at":"2026-05-18T12:27:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:6DPCEDEZOQHZTH2ABVVLRT2WNX","target":"record","payload":{"canonical_record":{"source":{"id":"1309.6816","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-09-26T12:30:21Z","cross_cats_sorted":[],"title_canon_sha256":"051ab4e4b69e0446d8354b1e783c6f363b497e7ac846a4779b37186535b43103","abstract_canon_sha256":"4ac30e79245b31e18e25a5a27cee56183ad909b2db25c13f55f9f4b1913f7b54"},"schema_version":"1.0"},"canonical_sha256":"f0de220c99740f999f400d6ab8cf566dfb6c2fbfb0bb3b6b5409139ea9779fc8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:12:10.393113Z","signature_b64":"tFghgRJnmR9+2lFM4HunTXJ6EqxYoo2B0KOM1GdiVCe3oZ0qMoRFl2KEW7nXzcJFqFSSwI6vaHqztDN8qMcuDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f0de220c99740f999f400d6ab8cf566dfb6c2fbfb0bb3b6b5409139ea9779fc8","last_reissued_at":"2026-05-18T03:12:10.392200Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:12:10.392200Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1309.6816","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:12:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"agy5Ayyhx8f+gjpDNOqDarLdcbLOka869h6WDdWgeKPTyTEOI+9/ygf+1KApou7iACQtMAQntL25rR/j0mwABw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T19:05:28.157936Z"},"content_sha256":"c8b06bb2f236a2c7c66298419134e453fc39e4aa5e5a41f574f417422f498510","schema_version":"1.0","event_id":"sha256:c8b06bb2f236a2c7c66298419134e453fc39e4aa5e5a41f574f417422f498510"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:6DPCEDEZOQHZTH2ABVVLRT2WNX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reasoning about Probabilities in Dynamic Systems using Goal Regression","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Hector Levesque, Vaishak Belle","submitted_at":"2013-09-26T12:30:21Z","abstract_excerpt":"Reasoning about degrees of belief in uncertain dynamic worlds is fundamental to many applications, such as robotics and planning, where actions modify state properties and sensors provide measurements, both of which are prone to noise. With the exception of limited cases such as Gaussian processes over linear phenomena, belief state evolution can be complex and hard to reason with in a general way. This paper proposes a framework with new results that allows the reduction of subjective probabilities after sensing and acting to questions about the initial state only. We build on an expressive p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.6816","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:12:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"juFtEus8G4mbI0+kfPs5xOcG93daxa8uQHvRIfEpHFk75tu+HOFwKYKEtb0GAZEotp0zSKkwLEmvS0gD6uMKAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T19:05:28.158287Z"},"content_sha256":"0b94352cb5457c5e6e697df5ebc83ff8bce8fb4a1d329f55d38692e93a9bdfeb","schema_version":"1.0","event_id":"sha256:0b94352cb5457c5e6e697df5ebc83ff8bce8fb4a1d329f55d38692e93a9bdfeb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6DPCEDEZOQHZTH2ABVVLRT2WNX/bundle.json","state_url":"https://pith.science/pith/6DPCEDEZOQHZTH2ABVVLRT2WNX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6DPCEDEZOQHZTH2ABVVLRT2WNX/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-26T19:05:28Z","links":{"resolver":"https://pith.science/pith/6DPCEDEZOQHZTH2ABVVLRT2WNX","bundle":"https://pith.science/pith/6DPCEDEZOQHZTH2ABVVLRT2WNX/bundle.json","state":"https://pith.science/pith/6DPCEDEZOQHZTH2ABVVLRT2WNX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6DPCEDEZOQHZTH2ABVVLRT2WNX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:6DPCEDEZOQHZTH2ABVVLRT2WNX","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":"4ac30e79245b31e18e25a5a27cee56183ad909b2db25c13f55f9f4b1913f7b54","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-09-26T12:30:21Z","title_canon_sha256":"051ab4e4b69e0446d8354b1e783c6f363b497e7ac846a4779b37186535b43103"},"schema_version":"1.0","source":{"id":"1309.6816","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.6816","created_at":"2026-05-18T03:12:10Z"},{"alias_kind":"arxiv_version","alias_value":"1309.6816v1","created_at":"2026-05-18T03:12:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.6816","created_at":"2026-05-18T03:12:10Z"},{"alias_kind":"pith_short_12","alias_value":"6DPCEDEZOQHZ","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"6DPCEDEZOQHZTH2A","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"6DPCEDEZ","created_at":"2026-05-18T12:27:36Z"}],"graph_snapshots":[{"event_id":"sha256:0b94352cb5457c5e6e697df5ebc83ff8bce8fb4a1d329f55d38692e93a9bdfeb","target":"graph","created_at":"2026-05-18T03:12:10Z","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":"Reasoning about degrees of belief in uncertain dynamic worlds is fundamental to many applications, such as robotics and planning, where actions modify state properties and sensors provide measurements, both of which are prone to noise. With the exception of limited cases such as Gaussian processes over linear phenomena, belief state evolution can be complex and hard to reason with in a general way. This paper proposes a framework with new results that allows the reduction of subjective probabilities after sensing and acting to questions about the initial state only. We build on an expressive p","authors_text":"Hector Levesque, Vaishak Belle","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-09-26T12:30:21Z","title":"Reasoning about Probabilities in Dynamic Systems using Goal Regression"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.6816","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:c8b06bb2f236a2c7c66298419134e453fc39e4aa5e5a41f574f417422f498510","target":"record","created_at":"2026-05-18T03:12:10Z","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":"4ac30e79245b31e18e25a5a27cee56183ad909b2db25c13f55f9f4b1913f7b54","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-09-26T12:30:21Z","title_canon_sha256":"051ab4e4b69e0446d8354b1e783c6f363b497e7ac846a4779b37186535b43103"},"schema_version":"1.0","source":{"id":"1309.6816","kind":"arxiv","version":1}},"canonical_sha256":"f0de220c99740f999f400d6ab8cf566dfb6c2fbfb0bb3b6b5409139ea9779fc8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f0de220c99740f999f400d6ab8cf566dfb6c2fbfb0bb3b6b5409139ea9779fc8","first_computed_at":"2026-05-18T03:12:10.392200Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:12:10.392200Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tFghgRJnmR9+2lFM4HunTXJ6EqxYoo2B0KOM1GdiVCe3oZ0qMoRFl2KEW7nXzcJFqFSSwI6vaHqztDN8qMcuDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:12:10.393113Z","signed_message":"canonical_sha256_bytes"},"source_id":"1309.6816","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c8b06bb2f236a2c7c66298419134e453fc39e4aa5e5a41f574f417422f498510","sha256:0b94352cb5457c5e6e697df5ebc83ff8bce8fb4a1d329f55d38692e93a9bdfeb"],"state_sha256":"e1a68d9c54e3dcd2479f9582e50f6116b800f7cf7081baeb7b6e02719f896be1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lgJu+msZKAoqSeQCGNA5pisoNOSia2sutq9yKhQxQ1lLIx1oDHfiAISWyIstLZbEdloFymhL8+PsTJonx8cnDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T19:05:28.160460Z","bundle_sha256":"6d2945d05eafae136b9d37143c3d6a617d832b810b63596c07e37a5032732918"}}