{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:3BB2DYL56EOWFDX75UCJLP7PAB","short_pith_number":"pith:3BB2DYL5","canonical_record":{"source":{"id":"1310.6429","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-10-23T23:25:44Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"37f03f92dd9721bd688cb5f1ba47da32b5eb4d50c0c99c04d9d8aa2bcda4d2b9","abstract_canon_sha256":"71a786c1caf467820afd4c072342f1470365bcf22eba13f42c115c23007c30a2"},"schema_version":"1.0"},"canonical_sha256":"d843a1e17df11d628effed0495bfef006bb31d378ff618229fcb5538902a7559","source":{"kind":"arxiv","id":"1310.6429","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.6429","created_at":"2026-05-18T03:08:48Z"},{"alias_kind":"arxiv_version","alias_value":"1310.6429v1","created_at":"2026-05-18T03:08:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.6429","created_at":"2026-05-18T03:08:48Z"},{"alias_kind":"pith_short_12","alias_value":"3BB2DYL56EOW","created_at":"2026-05-18T12:27:32Z"},{"alias_kind":"pith_short_16","alias_value":"3BB2DYL56EOWFDX7","created_at":"2026-05-18T12:27:32Z"},{"alias_kind":"pith_short_8","alias_value":"3BB2DYL5","created_at":"2026-05-18T12:27:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:3BB2DYL56EOWFDX75UCJLP7PAB","target":"record","payload":{"canonical_record":{"source":{"id":"1310.6429","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-10-23T23:25:44Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"37f03f92dd9721bd688cb5f1ba47da32b5eb4d50c0c99c04d9d8aa2bcda4d2b9","abstract_canon_sha256":"71a786c1caf467820afd4c072342f1470365bcf22eba13f42c115c23007c30a2"},"schema_version":"1.0"},"canonical_sha256":"d843a1e17df11d628effed0495bfef006bb31d378ff618229fcb5538902a7559","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:08:48.243650Z","signature_b64":"DD41M7gMtJhVRWCzbsQxK95drX+V6uAXGdT9weWt+8RC6D0HjZsJ3ZGZlSGRzvw0/G4UalAQxA+ggALsA2poAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d843a1e17df11d628effed0495bfef006bb31d378ff618229fcb5538902a7559","last_reissued_at":"2026-05-18T03:08:48.243045Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:08:48.243045Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1310.6429","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:08:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IO3sH+bEcDdT78YRMRXh4JmYx3RJqISVXn5CA5MVtMKq5DBJBTFaLi/ePwyqqZmk3vve/GI5W+rSC9HOJUj9BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T10:12:45.747153Z"},"content_sha256":"48eb16a00e415ab9ec62dd7d434cf895f443085516f4e26e04857e2086ed82f8","schema_version":"1.0","event_id":"sha256:48eb16a00e415ab9ec62dd7d434cf895f443085516f4e26e04857e2086ed82f8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:3BB2DYL56EOWFDX75UCJLP7PAB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Bruno Zanuttini, Jerome Lang","submitted_at":"2013-10-23T23:25:44Z","abstract_excerpt":"Knowledge-based programs (KBPs) are high-level protocols describing the course of action an agent should perform as a function of its knowledge. The use of KBPs for expressing action policies in AI planning has been surprisingly overlooked. Given that to each KBP corresponds an equivalent plan and vice versa, KBPs are typically more succinct than standard plans, but imply more on-line computation time. Here we make this argument formal, and prove that there exists an exponential succinctness gap between knowledge-based programs and standard plans. Then we address the complexity of plan existen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.6429","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:08:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KRnuquhL3rK2xbLAfu5QwZsVzPGEXChhWwHZsDLNWDeBrQH5xil+0BcUe+jG/5WSgRyV3qyzpvNbPoDEOdLmBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T10:12:45.747515Z"},"content_sha256":"2b9366fa40b454ae252dd93713d3b50b5c40af7e5ace4abdb25648c1fafa1d11","schema_version":"1.0","event_id":"sha256:2b9366fa40b454ae252dd93713d3b50b5c40af7e5ace4abdb25648c1fafa1d11"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3BB2DYL56EOWFDX75UCJLP7PAB/bundle.json","state_url":"https://pith.science/pith/3BB2DYL56EOWFDX75UCJLP7PAB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3BB2DYL56EOWFDX75UCJLP7PAB/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-12T10:12:45Z","links":{"resolver":"https://pith.science/pith/3BB2DYL56EOWFDX75UCJLP7PAB","bundle":"https://pith.science/pith/3BB2DYL56EOWFDX75UCJLP7PAB/bundle.json","state":"https://pith.science/pith/3BB2DYL56EOWFDX75UCJLP7PAB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3BB2DYL56EOWFDX75UCJLP7PAB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:3BB2DYL56EOWFDX75UCJLP7PAB","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":"71a786c1caf467820afd4c072342f1470365bcf22eba13f42c115c23007c30a2","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-10-23T23:25:44Z","title_canon_sha256":"37f03f92dd9721bd688cb5f1ba47da32b5eb4d50c0c99c04d9d8aa2bcda4d2b9"},"schema_version":"1.0","source":{"id":"1310.6429","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.6429","created_at":"2026-05-18T03:08:48Z"},{"alias_kind":"arxiv_version","alias_value":"1310.6429v1","created_at":"2026-05-18T03:08:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.6429","created_at":"2026-05-18T03:08:48Z"},{"alias_kind":"pith_short_12","alias_value":"3BB2DYL56EOW","created_at":"2026-05-18T12:27:32Z"},{"alias_kind":"pith_short_16","alias_value":"3BB2DYL56EOWFDX7","created_at":"2026-05-18T12:27:32Z"},{"alias_kind":"pith_short_8","alias_value":"3BB2DYL5","created_at":"2026-05-18T12:27:32Z"}],"graph_snapshots":[{"event_id":"sha256:2b9366fa40b454ae252dd93713d3b50b5c40af7e5ace4abdb25648c1fafa1d11","target":"graph","created_at":"2026-05-18T03:08:48Z","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":"Knowledge-based programs (KBPs) are high-level protocols describing the course of action an agent should perform as a function of its knowledge. The use of KBPs for expressing action policies in AI planning has been surprisingly overlooked. Given that to each KBP corresponds an equivalent plan and vice versa, KBPs are typically more succinct than standard plans, but imply more on-line computation time. Here we make this argument formal, and prove that there exists an exponential succinctness gap between knowledge-based programs and standard plans. Then we address the complexity of plan existen","authors_text":"Bruno Zanuttini, Jerome Lang","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-10-23T23:25:44Z","title":"Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.6429","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:48eb16a00e415ab9ec62dd7d434cf895f443085516f4e26e04857e2086ed82f8","target":"record","created_at":"2026-05-18T03:08:48Z","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":"71a786c1caf467820afd4c072342f1470365bcf22eba13f42c115c23007c30a2","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-10-23T23:25:44Z","title_canon_sha256":"37f03f92dd9721bd688cb5f1ba47da32b5eb4d50c0c99c04d9d8aa2bcda4d2b9"},"schema_version":"1.0","source":{"id":"1310.6429","kind":"arxiv","version":1}},"canonical_sha256":"d843a1e17df11d628effed0495bfef006bb31d378ff618229fcb5538902a7559","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d843a1e17df11d628effed0495bfef006bb31d378ff618229fcb5538902a7559","first_computed_at":"2026-05-18T03:08:48.243045Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:08:48.243045Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DD41M7gMtJhVRWCzbsQxK95drX+V6uAXGdT9weWt+8RC6D0HjZsJ3ZGZlSGRzvw0/G4UalAQxA+ggALsA2poAA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:08:48.243650Z","signed_message":"canonical_sha256_bytes"},"source_id":"1310.6429","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:48eb16a00e415ab9ec62dd7d434cf895f443085516f4e26e04857e2086ed82f8","sha256:2b9366fa40b454ae252dd93713d3b50b5c40af7e5ace4abdb25648c1fafa1d11"],"state_sha256":"a9cd465dae56efa903f2f8c295560fc057694bddb37a118947b36420cf13b0c7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LLj9qW3TP6wF3ClcjiXoj+whtNwgcEa64y0n9y6S/sNMpICQ4c6KjvK3cDd5/uh1UYj0JDA2C7PWM0acFoo7Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T10:12:45.749440Z","bundle_sha256":"0d2d40b9aaf1f70e8218b0b9c99212bb09422e8db03ff058a790ca65848ad2c9"}}