{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:SYJBG2UWAL2TSGEQ7JBQB3YRDB","short_pith_number":"pith:SYJBG2UW","canonical_record":{"source":{"id":"1206.3264","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-06-13T15:35:12Z","cross_cats_sorted":[],"title_canon_sha256":"85e9aea20d9125118ab642b8a9eb6674edbac057a4504c79300c2955d37536e3","abstract_canon_sha256":"fd9cf970fc5b843ae573744bf289b2e2dc95f492d3b57260d93e6812c8741a70"},"schema_version":"1.0"},"canonical_sha256":"9612136a9602f5391890fa4300ef11187fba9ffe0e1234bc3fb33977c3df1bda","source":{"kind":"arxiv","id":"1206.3264","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1206.3264","created_at":"2026-05-18T03:53:30Z"},{"alias_kind":"arxiv_version","alias_value":"1206.3264v1","created_at":"2026-05-18T03:53:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.3264","created_at":"2026-05-18T03:53:30Z"},{"alias_kind":"pith_short_12","alias_value":"SYJBG2UWAL2T","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"SYJBG2UWAL2TSGEQ","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"SYJBG2UW","created_at":"2026-05-18T12:27:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:SYJBG2UWAL2TSGEQ7JBQB3YRDB","target":"record","payload":{"canonical_record":{"source":{"id":"1206.3264","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-06-13T15:35:12Z","cross_cats_sorted":[],"title_canon_sha256":"85e9aea20d9125118ab642b8a9eb6674edbac057a4504c79300c2955d37536e3","abstract_canon_sha256":"fd9cf970fc5b843ae573744bf289b2e2dc95f492d3b57260d93e6812c8741a70"},"schema_version":"1.0"},"canonical_sha256":"9612136a9602f5391890fa4300ef11187fba9ffe0e1234bc3fb33977c3df1bda","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:53:30.928044Z","signature_b64":"iwr14yNo6YoKhG+1+GZjXjFG6Dpii5IbLfCeyAeHs/depN340RtHfr+Q5Z7ZJluvFttGd+LM1SF+FOWyf4t4Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9612136a9602f5391890fa4300ef11187fba9ffe0e1234bc3fb33977c3df1bda","last_reissued_at":"2026-05-18T03:53:30.927577Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:53:30.927577Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1206.3264","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:53:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wlQdImxLOP9T4f/VNjwBETwu6PYcbZVV1dgIoX3h+z+te6GXepbvOAQ9OCLnsATesZFBcD6yYcBy24V0qBL4Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T07:25:36.530518Z"},"content_sha256":"e9a886498fefd29ebbc2773799fe214afa883b46033f43ca07c79e3bd556a178","schema_version":"1.0","event_id":"sha256:e9a886498fefd29ebbc2773799fe214afa883b46033f43ca07c79e3bd556a178"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:SYJBG2UWAL2TSGEQ7JBQB3YRDB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sampling First Order Logical Particles","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Eyal Amir, Hannaneh Hajishirzi","submitted_at":"2012-06-13T15:35:12Z","abstract_excerpt":"Approximate inference in dynamic systems is the problem of estimating the state of the system given a sequence of actions and partial observations. High precision estimation is fundamental in many applications like diagnosis, natural language processing, tracking, planning, and robotics. In this paper we present an algorithm that samples possible deterministic executions of a probabilistic sequence. The algorithm takes advantage of a compact representation (using first order logic) for actions and world states to improve the precision of its estimation. Theoretical and empirical results show t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.3264","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:53:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hxqgic5KaLq+ohmizKYip4I8sR1YNGqqLrjZR7ASbd60l/2KtDSbgNj/etiN+fiyojMw576JzaCq71k6aj7gCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T07:25:36.531215Z"},"content_sha256":"a6ec978c0f1d1916d6d085591410fe4dde9e63999eb241ce5e893d4867a2f12e","schema_version":"1.0","event_id":"sha256:a6ec978c0f1d1916d6d085591410fe4dde9e63999eb241ce5e893d4867a2f12e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SYJBG2UWAL2TSGEQ7JBQB3YRDB/bundle.json","state_url":"https://pith.science/pith/SYJBG2UWAL2TSGEQ7JBQB3YRDB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SYJBG2UWAL2TSGEQ7JBQB3YRDB/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-05-26T07:25:36Z","links":{"resolver":"https://pith.science/pith/SYJBG2UWAL2TSGEQ7JBQB3YRDB","bundle":"https://pith.science/pith/SYJBG2UWAL2TSGEQ7JBQB3YRDB/bundle.json","state":"https://pith.science/pith/SYJBG2UWAL2TSGEQ7JBQB3YRDB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SYJBG2UWAL2TSGEQ7JBQB3YRDB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:SYJBG2UWAL2TSGEQ7JBQB3YRDB","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":"fd9cf970fc5b843ae573744bf289b2e2dc95f492d3b57260d93e6812c8741a70","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-06-13T15:35:12Z","title_canon_sha256":"85e9aea20d9125118ab642b8a9eb6674edbac057a4504c79300c2955d37536e3"},"schema_version":"1.0","source":{"id":"1206.3264","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1206.3264","created_at":"2026-05-18T03:53:30Z"},{"alias_kind":"arxiv_version","alias_value":"1206.3264v1","created_at":"2026-05-18T03:53:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.3264","created_at":"2026-05-18T03:53:30Z"},{"alias_kind":"pith_short_12","alias_value":"SYJBG2UWAL2T","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"SYJBG2UWAL2TSGEQ","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"SYJBG2UW","created_at":"2026-05-18T12:27:23Z"}],"graph_snapshots":[{"event_id":"sha256:a6ec978c0f1d1916d6d085591410fe4dde9e63999eb241ce5e893d4867a2f12e","target":"graph","created_at":"2026-05-18T03:53:30Z","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":"Approximate inference in dynamic systems is the problem of estimating the state of the system given a sequence of actions and partial observations. High precision estimation is fundamental in many applications like diagnosis, natural language processing, tracking, planning, and robotics. In this paper we present an algorithm that samples possible deterministic executions of a probabilistic sequence. The algorithm takes advantage of a compact representation (using first order logic) for actions and world states to improve the precision of its estimation. Theoretical and empirical results show t","authors_text":"Eyal Amir, Hannaneh Hajishirzi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-06-13T15:35:12Z","title":"Sampling First Order Logical Particles"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.3264","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:e9a886498fefd29ebbc2773799fe214afa883b46033f43ca07c79e3bd556a178","target":"record","created_at":"2026-05-18T03:53:30Z","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":"fd9cf970fc5b843ae573744bf289b2e2dc95f492d3b57260d93e6812c8741a70","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-06-13T15:35:12Z","title_canon_sha256":"85e9aea20d9125118ab642b8a9eb6674edbac057a4504c79300c2955d37536e3"},"schema_version":"1.0","source":{"id":"1206.3264","kind":"arxiv","version":1}},"canonical_sha256":"9612136a9602f5391890fa4300ef11187fba9ffe0e1234bc3fb33977c3df1bda","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9612136a9602f5391890fa4300ef11187fba9ffe0e1234bc3fb33977c3df1bda","first_computed_at":"2026-05-18T03:53:30.927577Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:53:30.927577Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iwr14yNo6YoKhG+1+GZjXjFG6Dpii5IbLfCeyAeHs/depN340RtHfr+Q5Z7ZJluvFttGd+LM1SF+FOWyf4t4Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T03:53:30.928044Z","signed_message":"canonical_sha256_bytes"},"source_id":"1206.3264","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e9a886498fefd29ebbc2773799fe214afa883b46033f43ca07c79e3bd556a178","sha256:a6ec978c0f1d1916d6d085591410fe4dde9e63999eb241ce5e893d4867a2f12e"],"state_sha256":"1e9ffa388004a1c3770a014352075bf32af5d8d38f7fea4d8485d0a72475b2eb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SxuHLxE3tbGbwSSNoh3n41ywAN9SUalKkqvEHMX09XgUl69KepuJKu+YIWaz1ieGN/RZ4EehlLyizo52EwryAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T07:25:36.534796Z","bundle_sha256":"ce9fba4637cec5ae8b76ee30707fdbb19a62629b016df6138b3d052cf8b4bce5"}}