{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:H4I5ETEIB6IBDY2III2H25ECTS","short_pith_number":"pith:H4I5ETEI","canonical_record":{"source":{"id":"1302.4978","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-20T15:23:14Z","cross_cats_sorted":[],"title_canon_sha256":"aac1be8bf46ca9e59ddfe8dfeca1b60e93312bf45a19c33832d8e99bbfd45e26","abstract_canon_sha256":"03f419b4ee982a245923b4eb4e9d0f955cd5d9f772ded3869e3e872607ba85e4"},"schema_version":"1.0"},"canonical_sha256":"3f11d24c880f9011e34842347d74829cb8bbfec2e3ebb4e34730decfea37be7f","source":{"kind":"arxiv","id":"1302.4978","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.4978","created_at":"2026-05-18T03:33:00Z"},{"alias_kind":"arxiv_version","alias_value":"1302.4978v1","created_at":"2026-05-18T03:33:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.4978","created_at":"2026-05-18T03:33:00Z"},{"alias_kind":"pith_short_12","alias_value":"H4I5ETEIB6IB","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"H4I5ETEIB6IBDY2I","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"H4I5ETEI","created_at":"2026-05-18T12:27:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:H4I5ETEIB6IBDY2III2H25ECTS","target":"record","payload":{"canonical_record":{"source":{"id":"1302.4978","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-20T15:23:14Z","cross_cats_sorted":[],"title_canon_sha256":"aac1be8bf46ca9e59ddfe8dfeca1b60e93312bf45a19c33832d8e99bbfd45e26","abstract_canon_sha256":"03f419b4ee982a245923b4eb4e9d0f955cd5d9f772ded3869e3e872607ba85e4"},"schema_version":"1.0"},"canonical_sha256":"3f11d24c880f9011e34842347d74829cb8bbfec2e3ebb4e34730decfea37be7f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:33:00.662444Z","signature_b64":"Q0LUKYm5clkeOKvTsiRz6bg5djdZM9gCQdraRKCXcgZo2LJiY8mWw3pvM9o52GosvFrSHvjaH55moUvYV5cHCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3f11d24c880f9011e34842347d74829cb8bbfec2e3ebb4e34730decfea37be7f","last_reissued_at":"2026-05-18T03:33:00.661607Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:33:00.661607Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.4978","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:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KwOLfnvl/4EBOQJBMzqN6ggJYoKxfpI5+y8Gl3rluBwORS2EkhRK86Ovs4Hwcfdes4ENnxOyc/uWvKDch0rsAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T11:55:46.947980Z"},"content_sha256":"9b5ec9c69bae810c465ed7d02b1b208ad9168af37ca1d7fb947ecafff6a424ed","schema_version":"1.0","event_id":"sha256:9b5ec9c69bae810c465ed7d02b1b208ad9168af37ca1d7fb947ecafff6a424ed"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:H4I5ETEIB6IBDY2III2H25ECTS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exploiting the Rule Structure for Decision Making within the Independent Choice Logic","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-20T15:23:14Z","abstract_excerpt":"This paper introduces the independent choice logic, and in particular the \"single agent with nature\" instance of the independent choice logic, namely ICLdt.  This is a logical framework for decision making uncertainty that extends both logic programming and stochastic models such as influence diagrams.  This paper shows how the representation of a decision problem within the independent choice logic can be exploited to cut down the combinatorics of dynamic programming.  One of the main problems with influence diagram evaluation techniques is the need to optimise a decision for all values of th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.4978","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:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W/oq/LkpCj8VCXl/JPb4+4g2zmrAKqm4Bx3FuQd/bn3ePA5jOAaZTsiqs/0762rq89Gk7KNzjb7ejojMoeJkDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T11:55:46.948310Z"},"content_sha256":"2cae0fb2ae1f772f87b453327fa189605d9d79799d616344e1dfcf3b0613ddb6","schema_version":"1.0","event_id":"sha256:2cae0fb2ae1f772f87b453327fa189605d9d79799d616344e1dfcf3b0613ddb6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/H4I5ETEIB6IBDY2III2H25ECTS/bundle.json","state_url":"https://pith.science/pith/H4I5ETEIB6IBDY2III2H25ECTS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/H4I5ETEIB6IBDY2III2H25ECTS/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-29T11:55:46Z","links":{"resolver":"https://pith.science/pith/H4I5ETEIB6IBDY2III2H25ECTS","bundle":"https://pith.science/pith/H4I5ETEIB6IBDY2III2H25ECTS/bundle.json","state":"https://pith.science/pith/H4I5ETEIB6IBDY2III2H25ECTS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/H4I5ETEIB6IBDY2III2H25ECTS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:H4I5ETEIB6IBDY2III2H25ECTS","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":"03f419b4ee982a245923b4eb4e9d0f955cd5d9f772ded3869e3e872607ba85e4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-20T15:23:14Z","title_canon_sha256":"aac1be8bf46ca9e59ddfe8dfeca1b60e93312bf45a19c33832d8e99bbfd45e26"},"schema_version":"1.0","source":{"id":"1302.4978","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.4978","created_at":"2026-05-18T03:33:00Z"},{"alias_kind":"arxiv_version","alias_value":"1302.4978v1","created_at":"2026-05-18T03:33:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.4978","created_at":"2026-05-18T03:33:00Z"},{"alias_kind":"pith_short_12","alias_value":"H4I5ETEIB6IB","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"H4I5ETEIB6IBDY2I","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"H4I5ETEI","created_at":"2026-05-18T12:27:46Z"}],"graph_snapshots":[{"event_id":"sha256:2cae0fb2ae1f772f87b453327fa189605d9d79799d616344e1dfcf3b0613ddb6","target":"graph","created_at":"2026-05-18T03:33:00Z","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 introduces the independent choice logic, and in particular the \"single agent with nature\" instance of the independent choice logic, namely ICLdt.  This is a logical framework for decision making uncertainty that extends both logic programming and stochastic models such as influence diagrams.  This paper shows how the representation of a decision problem within the independent choice logic can be exploited to cut down the combinatorics of dynamic programming.  One of the main problems with influence diagram evaluation techniques is the need to optimise a decision for all values of th","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-20T15:23:14Z","title":"Exploiting the Rule Structure for Decision Making within the Independent Choice Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.4978","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:9b5ec9c69bae810c465ed7d02b1b208ad9168af37ca1d7fb947ecafff6a424ed","target":"record","created_at":"2026-05-18T03:33:00Z","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":"03f419b4ee982a245923b4eb4e9d0f955cd5d9f772ded3869e3e872607ba85e4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-20T15:23:14Z","title_canon_sha256":"aac1be8bf46ca9e59ddfe8dfeca1b60e93312bf45a19c33832d8e99bbfd45e26"},"schema_version":"1.0","source":{"id":"1302.4978","kind":"arxiv","version":1}},"canonical_sha256":"3f11d24c880f9011e34842347d74829cb8bbfec2e3ebb4e34730decfea37be7f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3f11d24c880f9011e34842347d74829cb8bbfec2e3ebb4e34730decfea37be7f","first_computed_at":"2026-05-18T03:33:00.661607Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:33:00.661607Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Q0LUKYm5clkeOKvTsiRz6bg5djdZM9gCQdraRKCXcgZo2LJiY8mWw3pvM9o52GosvFrSHvjaH55moUvYV5cHCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:33:00.662444Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.4978","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9b5ec9c69bae810c465ed7d02b1b208ad9168af37ca1d7fb947ecafff6a424ed","sha256:2cae0fb2ae1f772f87b453327fa189605d9d79799d616344e1dfcf3b0613ddb6"],"state_sha256":"bf0baf75f3d42b3b6a11b9fea8d0a9d10df1276b3c32443e36dc3730cee9ab8d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uO62l7tNVm/Dcpxr4yoB39QOvY975PwSiw9PnJQACMuuObEnuMQzsfVoJ/OCJr7oX3xbM/O1F+C7kSpoqp2ZBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T11:55:46.950086Z","bundle_sha256":"b0278c0c911802350310ad79ef80146e54633d012be1968e30d91a882fbb3a47"}}