{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:THH4FBNYQZAZN3QNMXW6IYN3JX","short_pith_number":"pith:THH4FBNY","canonical_record":{"source":{"id":"1401.3472","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-15T05:29:17Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"cb01c8a6431ca04b5088c7c9d53703a34976a6b62e7fd20c9b29ee6af4f52f93","abstract_canon_sha256":"d7c4ee6c3b9759be659fd9e6be4f6c9908c9db98cd60c6bb3dfcf93a0ad97d2f"},"schema_version":"1.0"},"canonical_sha256":"99cfc285b8864196ee0d65ede461bb4de11547452f2d677c1462dce00d5c06a0","source":{"kind":"arxiv","id":"1401.3472","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3472","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3472v1","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3472","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"pith_short_12","alias_value":"THH4FBNYQZAZ","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"THH4FBNYQZAZN3QN","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"THH4FBNY","created_at":"2026-05-18T12:28:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:THH4FBNYQZAZN3QNMXW6IYN3JX","target":"record","payload":{"canonical_record":{"source":{"id":"1401.3472","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-15T05:29:17Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"cb01c8a6431ca04b5088c7c9d53703a34976a6b62e7fd20c9b29ee6af4f52f93","abstract_canon_sha256":"d7c4ee6c3b9759be659fd9e6be4f6c9908c9db98cd60c6bb3dfcf93a0ad97d2f"},"schema_version":"1.0"},"canonical_sha256":"99cfc285b8864196ee0d65ede461bb4de11547452f2d677c1462dce00d5c06a0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:02:08.842932Z","signature_b64":"5epnj3VfeNREAfIeVw34wGmFoK74U4SphM+mgFwsJ24KrnKIVVKhMghlejj4QOGBUIFRx8cbynMwBl0SwRSSAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"99cfc285b8864196ee0d65ede461bb4de11547452f2d677c1462dce00d5c06a0","last_reissued_at":"2026-05-18T03:02:08.842225Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:02:08.842225Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1401.3472","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:02:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3UU/ItAud62UXxmbASW0NriHydCeLkVJLWoIBlwQbmZZc+BJTsjaaulHeUAkd44CgGMJPvy4pv+QZFEVh1sDCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T14:17:17.008566Z"},"content_sha256":"eb3ce743f53efeaea049fa27d126193f97b80ab8f0f8fc675862167170b5fad6","schema_version":"1.0","event_id":"sha256:eb3ce743f53efeaea049fa27d126193f97b80ab8f0f8fc675862167170b5fad6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:THH4FBNYQZAZN3QNMXW6IYN3JX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Variable Forgetting in Reasoning about Knowledge","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Abdul Sattar, Guanfeng Lv, Kaile Su, Yan Zhang","submitted_at":"2014-01-15T05:29:17Z","abstract_excerpt":"In this paper, we investigate knowledge reasoning within a simple framework called knowledge structure. We use variable forgetting as a basic operation for one agent to reason about its own or other agents\\ knowledge. In our framework, two notions namely agents\\ observable variables and the weakest sufficient condition play important roles in knowledge reasoning. Given a background knowledge base and a set of observable variables for each agent, we show that the notion of an agent knowing a formula can be defined as a weakest sufficient condition of the formula under background knowledge base."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3472","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:02:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LB/MPrtFTIW/Sr5PwTjKtwUUlryEl/EFSKkBn9yUAwIHFlsDV41CVw/OoltHuXCC9aN0oSS1jwFFPSnhbNBpDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T14:17:17.008956Z"},"content_sha256":"0af0d0b7aa6373c3f6e9dfaca53c0a70ef39737cba7ef38feec68a6cc5252d29","schema_version":"1.0","event_id":"sha256:0af0d0b7aa6373c3f6e9dfaca53c0a70ef39737cba7ef38feec68a6cc5252d29"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/THH4FBNYQZAZN3QNMXW6IYN3JX/bundle.json","state_url":"https://pith.science/pith/THH4FBNYQZAZN3QNMXW6IYN3JX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/THH4FBNYQZAZN3QNMXW6IYN3JX/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-05T14:17:17Z","links":{"resolver":"https://pith.science/pith/THH4FBNYQZAZN3QNMXW6IYN3JX","bundle":"https://pith.science/pith/THH4FBNYQZAZN3QNMXW6IYN3JX/bundle.json","state":"https://pith.science/pith/THH4FBNYQZAZN3QNMXW6IYN3JX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/THH4FBNYQZAZN3QNMXW6IYN3JX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:THH4FBNYQZAZN3QNMXW6IYN3JX","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":"d7c4ee6c3b9759be659fd9e6be4f6c9908c9db98cd60c6bb3dfcf93a0ad97d2f","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-15T05:29:17Z","title_canon_sha256":"cb01c8a6431ca04b5088c7c9d53703a34976a6b62e7fd20c9b29ee6af4f52f93"},"schema_version":"1.0","source":{"id":"1401.3472","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3472","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3472v1","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3472","created_at":"2026-05-18T03:02:08Z"},{"alias_kind":"pith_short_12","alias_value":"THH4FBNYQZAZ","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"THH4FBNYQZAZN3QN","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"THH4FBNY","created_at":"2026-05-18T12:28:49Z"}],"graph_snapshots":[{"event_id":"sha256:0af0d0b7aa6373c3f6e9dfaca53c0a70ef39737cba7ef38feec68a6cc5252d29","target":"graph","created_at":"2026-05-18T03:02:08Z","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":"In this paper, we investigate knowledge reasoning within a simple framework called knowledge structure. We use variable forgetting as a basic operation for one agent to reason about its own or other agents\\ knowledge. In our framework, two notions namely agents\\ observable variables and the weakest sufficient condition play important roles in knowledge reasoning. Given a background knowledge base and a set of observable variables for each agent, we show that the notion of an agent knowing a formula can be defined as a weakest sufficient condition of the formula under background knowledge base.","authors_text":"Abdul Sattar, Guanfeng Lv, Kaile Su, Yan Zhang","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-15T05:29:17Z","title":"Variable Forgetting in Reasoning about Knowledge"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3472","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:eb3ce743f53efeaea049fa27d126193f97b80ab8f0f8fc675862167170b5fad6","target":"record","created_at":"2026-05-18T03:02:08Z","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":"d7c4ee6c3b9759be659fd9e6be4f6c9908c9db98cd60c6bb3dfcf93a0ad97d2f","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-01-15T05:29:17Z","title_canon_sha256":"cb01c8a6431ca04b5088c7c9d53703a34976a6b62e7fd20c9b29ee6af4f52f93"},"schema_version":"1.0","source":{"id":"1401.3472","kind":"arxiv","version":1}},"canonical_sha256":"99cfc285b8864196ee0d65ede461bb4de11547452f2d677c1462dce00d5c06a0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"99cfc285b8864196ee0d65ede461bb4de11547452f2d677c1462dce00d5c06a0","first_computed_at":"2026-05-18T03:02:08.842225Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:02:08.842225Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5epnj3VfeNREAfIeVw34wGmFoK74U4SphM+mgFwsJ24KrnKIVVKhMghlejj4QOGBUIFRx8cbynMwBl0SwRSSAA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:02:08.842932Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.3472","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:eb3ce743f53efeaea049fa27d126193f97b80ab8f0f8fc675862167170b5fad6","sha256:0af0d0b7aa6373c3f6e9dfaca53c0a70ef39737cba7ef38feec68a6cc5252d29"],"state_sha256":"1e9ecee7429b49ccd86d107636918b643a3d47c953439e1ec63a6882d1ec9d5b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FoY6sq+ib6SYpGrG1O7jm/T8Aqe8SYGDY8OdwC8+tDeBOLw3JToi7dlRRMM9nTcME8lHOBreEqS8qWAOPMGoDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T14:17:17.010946Z","bundle_sha256":"8f5fe7c80bb9ac6c8f8a5214952d941a677bc0e9cb6aadf1afa57fe57fe03942"}}