{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:MALEUWFOEY7VJGLZ7FLPZCX55U","short_pith_number":"pith:MALEUWFO","canonical_record":{"source":{"id":"1302.3597","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-13T14:16:00Z","cross_cats_sorted":[],"title_canon_sha256":"e693081a0a1cb1490ac0b24ef98658239d66b29af6ec07024e7a09109c6c10f2","abstract_canon_sha256":"751bc1ea560a2ce95f1e60b9bbc0706b2dc46c7182f3a0376de62b1c856386be"},"schema_version":"1.0"},"canonical_sha256":"60164a58ae263f549979f956fc8afded03a503389501fd4ff321a5b166399c3e","source":{"kind":"arxiv","id":"1302.3597","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.3597","created_at":"2026-05-18T03:33:36Z"},{"alias_kind":"arxiv_version","alias_value":"1302.3597v1","created_at":"2026-05-18T03:33:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.3597","created_at":"2026-05-18T03:33:36Z"},{"alias_kind":"pith_short_12","alias_value":"MALEUWFOEY7V","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_16","alias_value":"MALEUWFOEY7VJGLZ","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_8","alias_value":"MALEUWFO","created_at":"2026-05-18T12:27:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:MALEUWFOEY7VJGLZ7FLPZCX55U","target":"record","payload":{"canonical_record":{"source":{"id":"1302.3597","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-13T14:16:00Z","cross_cats_sorted":[],"title_canon_sha256":"e693081a0a1cb1490ac0b24ef98658239d66b29af6ec07024e7a09109c6c10f2","abstract_canon_sha256":"751bc1ea560a2ce95f1e60b9bbc0706b2dc46c7182f3a0376de62b1c856386be"},"schema_version":"1.0"},"canonical_sha256":"60164a58ae263f549979f956fc8afded03a503389501fd4ff321a5b166399c3e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:33:36.546686Z","signature_b64":"rA0gGSL9XycdSjEFYvxYY2jK7ZyBc+bvaty40ulU6DHL4lm0W1sWW63gao8xZGlbIb8gtft1EZrVAwG4kKHsCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"60164a58ae263f549979f956fc8afded03a503389501fd4ff321a5b166399c3e","last_reissued_at":"2026-05-18T03:33:36.546194Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:33:36.546194Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.3597","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:33:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ALOIIkjFuj69+FFqUo0NJpXO2FLqfPMb3oX44O85PWhTGc8x6lZF/nJzV+J1TiSmcKqhd0Xj7jKNxdHGdGbyDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T13:28:25.630675Z"},"content_sha256":"ad5240ea6f6a91703596d4ca613acce71770cc2563097d9465dca47d41338245","schema_version":"1.0","event_id":"sha256:ad5240ea6f6a91703596d4ca613acce71770cc2563097d9465dca47d41338245"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:MALEUWFOEY7VJGLZ7FLPZCX55U","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Framework for Decision-Theoretic Planning I: Combining the Situation Calculus, Conditional Plans, Probability and Utility","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"David L. Poole","submitted_at":"2013-02-13T14:16:00Z","abstract_excerpt":"This paper shows how we can combine logical representations of actions and decision theory in such a manner that seems natural for both.  In particular we assume an axiomatization of the domain in terms of situation calculus, using what is essentially Reiter's solution to the frame problem, in terms of the completion of the axioms defining the state change.  Uncertainty is handled in terms of the independent choice logic, which allows for independent choices and a logic program that gives the consequences of the choices.  As part of the consequences are a specification of the utility of (final"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.3597","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:33:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X6091JW8V9geMJYiNWXXM+h8y+RN8jrYBXsxdyHxyZ1UR3Jm0UU3c6RzGCiwdLOvWoVOUqOcTDV5//WeCEChBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T13:28:25.631015Z"},"content_sha256":"76f2e7f0acd7d312aff4d8c2a19a17109bfce8c254174e3766e9003cf9050beb","schema_version":"1.0","event_id":"sha256:76f2e7f0acd7d312aff4d8c2a19a17109bfce8c254174e3766e9003cf9050beb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MALEUWFOEY7VJGLZ7FLPZCX55U/bundle.json","state_url":"https://pith.science/pith/MALEUWFOEY7VJGLZ7FLPZCX55U/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MALEUWFOEY7VJGLZ7FLPZCX55U/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-29T13:28:25Z","links":{"resolver":"https://pith.science/pith/MALEUWFOEY7VJGLZ7FLPZCX55U","bundle":"https://pith.science/pith/MALEUWFOEY7VJGLZ7FLPZCX55U/bundle.json","state":"https://pith.science/pith/MALEUWFOEY7VJGLZ7FLPZCX55U/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MALEUWFOEY7VJGLZ7FLPZCX55U/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:MALEUWFOEY7VJGLZ7FLPZCX55U","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":"751bc1ea560a2ce95f1e60b9bbc0706b2dc46c7182f3a0376de62b1c856386be","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-13T14:16:00Z","title_canon_sha256":"e693081a0a1cb1490ac0b24ef98658239d66b29af6ec07024e7a09109c6c10f2"},"schema_version":"1.0","source":{"id":"1302.3597","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.3597","created_at":"2026-05-18T03:33:36Z"},{"alias_kind":"arxiv_version","alias_value":"1302.3597v1","created_at":"2026-05-18T03:33:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.3597","created_at":"2026-05-18T03:33:36Z"},{"alias_kind":"pith_short_12","alias_value":"MALEUWFOEY7V","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_16","alias_value":"MALEUWFOEY7VJGLZ","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_8","alias_value":"MALEUWFO","created_at":"2026-05-18T12:27:51Z"}],"graph_snapshots":[{"event_id":"sha256:76f2e7f0acd7d312aff4d8c2a19a17109bfce8c254174e3766e9003cf9050beb","target":"graph","created_at":"2026-05-18T03:33:36Z","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":"This paper shows how we can combine logical representations of actions and decision theory in such a manner that seems natural for both.  In particular we assume an axiomatization of the domain in terms of situation calculus, using what is essentially Reiter's solution to the frame problem, in terms of the completion of the axioms defining the state change.  Uncertainty is handled in terms of the independent choice logic, which allows for independent choices and a logic program that gives the consequences of the choices.  As part of the consequences are a specification of the utility of (final","authors_text":"David L. Poole","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-13T14:16:00Z","title":"A Framework for Decision-Theoretic Planning I: Combining the Situation Calculus, Conditional Plans, Probability and Utility"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.3597","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:ad5240ea6f6a91703596d4ca613acce71770cc2563097d9465dca47d41338245","target":"record","created_at":"2026-05-18T03:33:36Z","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":"751bc1ea560a2ce95f1e60b9bbc0706b2dc46c7182f3a0376de62b1c856386be","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-13T14:16:00Z","title_canon_sha256":"e693081a0a1cb1490ac0b24ef98658239d66b29af6ec07024e7a09109c6c10f2"},"schema_version":"1.0","source":{"id":"1302.3597","kind":"arxiv","version":1}},"canonical_sha256":"60164a58ae263f549979f956fc8afded03a503389501fd4ff321a5b166399c3e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"60164a58ae263f549979f956fc8afded03a503389501fd4ff321a5b166399c3e","first_computed_at":"2026-05-18T03:33:36.546194Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:33:36.546194Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rA0gGSL9XycdSjEFYvxYY2jK7ZyBc+bvaty40ulU6DHL4lm0W1sWW63gao8xZGlbIb8gtft1EZrVAwG4kKHsCg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:33:36.546686Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.3597","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ad5240ea6f6a91703596d4ca613acce71770cc2563097d9465dca47d41338245","sha256:76f2e7f0acd7d312aff4d8c2a19a17109bfce8c254174e3766e9003cf9050beb"],"state_sha256":"1341182ce29e0176868298ec1befe03601ca2e6fb259fa0c1e92d4bb16fa8140"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NZscQ0d+cnjrO9p23kGG3dJq5UqtK3YpqNMwBkOo1bB8ECzVoQb+1/0rxysxmapf2sbWO1iJ79OWxT8phppVCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T13:28:25.632946Z","bundle_sha256":"60ed21aeaf8ba0ff9d8259429def13cb0a7a483cc07c41c833a6cf35379508ac"}}