{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:DTSXJ3SVIMIFCE4JRT2NQ4QPMS","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":"3723522a75142032b3592cd380cf8393db6cc0cdd137c550f2d3d2168a4d277c","cross_cats_sorted":["cs.AI","cs.DC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-06-24T00:32:41Z","title_canon_sha256":"a913955390322d7f7ba5546b18d4a57f406ea90ed5c63304c2a8cf6f2c5d090e"},"schema_version":"1.0","source":{"id":"1606.07525","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.07525","created_at":"2026-05-18T01:11:57Z"},{"alias_kind":"arxiv_version","alias_value":"1606.07525v1","created_at":"2026-05-18T01:11:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.07525","created_at":"2026-05-18T01:11:57Z"},{"alias_kind":"pith_short_12","alias_value":"DTSXJ3SVIMIF","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"DTSXJ3SVIMIFCE4J","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"DTSXJ3SV","created_at":"2026-05-18T12:30:12Z"}],"graph_snapshots":[{"event_id":"sha256:00fcb17586e218cbf5a69391ede9945b80d51ccdcbd84b21abf0643b8c03ad95","target":"graph","created_at":"2026-05-18T01:11:57Z","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":"The Knowledge of Preconditions principle (KoP) is proposed as a widely applicable connection between knowledge and action in multi-agent systems. Roughly speaking, it asserts that if some condition is a necessary condition for performing a given action A, then knowing that this condition holds is also a necessary condition for performing A.  Since the specifications of tasks often involve necessary conditions for actions, the KoP principle shows that such specifications induce knowledge preconditions for the actions. Distributed protocols or multi-agent plans that satisfy the specifications  m","authors_text":"Yoram Moses","cross_cats":["cs.AI","cs.DC","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-06-24T00:32:41Z","title":"Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.07525","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:695b76aa41950cb7d1022ed984d77dac3e5fa46e23fe1e478f12fdfc426530cf","target":"record","created_at":"2026-05-18T01:11:57Z","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":"3723522a75142032b3592cd380cf8393db6cc0cdd137c550f2d3d2168a4d277c","cross_cats_sorted":["cs.AI","cs.DC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-06-24T00:32:41Z","title_canon_sha256":"a913955390322d7f7ba5546b18d4a57f406ea90ed5c63304c2a8cf6f2c5d090e"},"schema_version":"1.0","source":{"id":"1606.07525","kind":"arxiv","version":1}},"canonical_sha256":"1ce574ee5543105113898cf4d8720f64a01e92fcb9a87b4aea6fc7e0361f61ce","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1ce574ee5543105113898cf4d8720f64a01e92fcb9a87b4aea6fc7e0361f61ce","first_computed_at":"2026-05-18T01:11:57.338769Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:57.338769Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VYHFChxlnMwWB2l2ywnij5KoL3u8iIwvQ4Bi2WDJLoFZfEbZUgAEF2RHxfS9fAKO/PU27op4yeB6FyuayeozCw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:57.339139Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.07525","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:695b76aa41950cb7d1022ed984d77dac3e5fa46e23fe1e478f12fdfc426530cf","sha256:00fcb17586e218cbf5a69391ede9945b80d51ccdcbd84b21abf0643b8c03ad95"],"state_sha256":"dd3245aa37e257c9dd65373685d10a2433ebbbe524d62b68b09e4fa6c5749ca9"}