{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:LIB6FUPBGGCL26YZHFWPXD45KV","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":"4233f1b5cea141ad3708f52359b86665d90489c86934cb754a7ea871b4c31583","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-06-22T21:01:16Z","title_canon_sha256":"494ece5be6af1e6b3e6cf3c27c7fab0fef95c1d7adef272cdcbbf6968348eee9"},"schema_version":"1.0","source":{"id":"1106.4578","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1106.4578","created_at":"2026-05-18T04:19:32Z"},{"alias_kind":"arxiv_version","alias_value":"1106.4578v1","created_at":"2026-05-18T04:19:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1106.4578","created_at":"2026-05-18T04:19:32Z"},{"alias_kind":"pith_short_12","alias_value":"LIB6FUPBGGCL","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"LIB6FUPBGGCL26YZ","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"LIB6FUPB","created_at":"2026-05-18T12:26:34Z"}],"graph_snapshots":[{"event_id":"sha256:7ad48a44e80a2d1ec54ff9e7fbb84d4f196e7ecec4c4debba9a6c16e622d6d18","target":"graph","created_at":"2026-05-18T04:19:32Z","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":"Independence -- the study of what is relevant to a given problem of reasoning -- has received an increasing attention from the AI community. In this paper, we consider two basic forms of independence, namely, a syntactic one and a semantic one. We show features and drawbacks of them. In particular, while the syntactic form of independence is computationally easy to check, there are cases in which things that intuitively are not relevant are not recognized as such. We also consider the problem of forgetting, i.e., distilling from a knowledge base only the part that is relevant to the set of que","authors_text":"J. Lang, P. Liberatore, P. Marquis","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-06-22T21:01:16Z","title":"Propositional Independence - Formula-Variable Independence and Forgetting"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1106.4578","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:edd03d84c5bb30669b7352dd247d25a401372c4b1e45747f09016f0f42ec7094","target":"record","created_at":"2026-05-18T04:19:32Z","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":"4233f1b5cea141ad3708f52359b86665d90489c86934cb754a7ea871b4c31583","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-06-22T21:01:16Z","title_canon_sha256":"494ece5be6af1e6b3e6cf3c27c7fab0fef95c1d7adef272cdcbbf6968348eee9"},"schema_version":"1.0","source":{"id":"1106.4578","kind":"arxiv","version":1}},"canonical_sha256":"5a03e2d1e13184bd7b19396cfb8f9d5567b2d478cb0938d9fef8e0026c71d89f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5a03e2d1e13184bd7b19396cfb8f9d5567b2d478cb0938d9fef8e0026c71d89f","first_computed_at":"2026-05-18T04:19:32.528182Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:19:32.528182Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dnJn3jEJiMGpGizq/ENuxz3WjfuULeNaVluFmMfHDVMg6755Iddit4lLCPrkH36JQ0/x3FH0pNVNBWA3ptzyCg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:19:32.528591Z","signed_message":"canonical_sha256_bytes"},"source_id":"1106.4578","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:edd03d84c5bb30669b7352dd247d25a401372c4b1e45747f09016f0f42ec7094","sha256:7ad48a44e80a2d1ec54ff9e7fbb84d4f196e7ecec4c4debba9a6c16e622d6d18"],"state_sha256":"243f567917a758e503baea3c8b4a24eb8c3a077fb986831aef6ae19502f437cb"}