{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:RSK4MUF5OOZDRDBNYBKT7OSFLD","short_pith_number":"pith:RSK4MUF5","canonical_record":{"source":{"id":"1411.2499","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-11-10T16:43:24Z","cross_cats_sorted":["cs.DB","cs.LO"],"title_canon_sha256":"3cdda31734afae6209096ff9fb15e4e34c3408d1e1ced4921f22ce0b502648fc","abstract_canon_sha256":"64d72b17f09cefae55ab95e33939bd27be995e5dd43dc1fc62ed6a38d347dc07"},"schema_version":"1.0"},"canonical_sha256":"8c95c650bd73b2388c2dc0553fba4558c2295cdab2cf8dc0b668cb6509457f72","source":{"kind":"arxiv","id":"1411.2499","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.2499","created_at":"2026-05-18T02:38:01Z"},{"alias_kind":"arxiv_version","alias_value":"1411.2499v1","created_at":"2026-05-18T02:38:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.2499","created_at":"2026-05-18T02:38:01Z"},{"alias_kind":"pith_short_12","alias_value":"RSK4MUF5OOZD","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_16","alias_value":"RSK4MUF5OOZDRDBN","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_8","alias_value":"RSK4MUF5","created_at":"2026-05-18T12:28:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:RSK4MUF5OOZDRDBNYBKT7OSFLD","target":"record","payload":{"canonical_record":{"source":{"id":"1411.2499","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-11-10T16:43:24Z","cross_cats_sorted":["cs.DB","cs.LO"],"title_canon_sha256":"3cdda31734afae6209096ff9fb15e4e34c3408d1e1ced4921f22ce0b502648fc","abstract_canon_sha256":"64d72b17f09cefae55ab95e33939bd27be995e5dd43dc1fc62ed6a38d347dc07"},"schema_version":"1.0"},"canonical_sha256":"8c95c650bd73b2388c2dc0553fba4558c2295cdab2cf8dc0b668cb6509457f72","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:38:01.272329Z","signature_b64":"SCLtRTGxYTbN7225uLjRW23Oi0ZRb1Nx9ge+f2WizlxI3m5Sev1oxeqJNjWpRvknMXjxFKe3IQL0vFIjQfwNBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8c95c650bd73b2388c2dc0553fba4558c2295cdab2cf8dc0b668cb6509457f72","last_reissued_at":"2026-05-18T02:38:01.271931Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:38:01.271931Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1411.2499","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-18T02:38:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VrBzi4z103oXmGQyKa0AOS9dMPiwgeP1Ow/6s9qC2+mt8Cac2lx4pRELN1T0mKIbnB7Q/vdyE8mq6QRmklbjDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T19:32:40.604873Z"},"content_sha256":"afef92ba3dc932ad2cefd9a0f13897d3f6c266ccd5b616c236b75f4a709187f5","schema_version":"1.0","event_id":"sha256:afef92ba3dc932ad2cefd9a0f13897d3f6c266ccd5b616c236b75f4a709187f5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:RSK4MUF5OOZDRDBNYBKT7OSFLD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Comparative Study of View Update Algorithms in Rational Choice Theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB","cs.LO"],"primary_cat":"cs.AI","authors_text":"Radhakrishnan Delhibabu","submitted_at":"2014-11-10T16:43:24Z","abstract_excerpt":"The dynamics of belief and knowledge is one of the major components of any autonomous system that should be able to incorporate new pieces of information. We show that knowledge base dynamics has interesting connection with kernel change via hitting set and abduction. The approach extends and integrates standard techniques for efficient query answering and integrity checking. The generation of hitting set is carried out through a hyper tableaux calculus and magic set that is focused on the goal of minimality. Many different view update algorithms have been proposed in the literature to address"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.2499","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-18T02:38:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6IUQchLvQ40PS+jIGC1OxnxuYUBjz7miPAiaoxbXy8x3vtQms6rPfsXpqL5lo7Iz3ZygH4yk4eTGkqg1neo+Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T19:32:40.605222Z"},"content_sha256":"0a9f34b533093e37d42beedf260cfae37ac80b455beebf0191fa31be417f6725","schema_version":"1.0","event_id":"sha256:0a9f34b533093e37d42beedf260cfae37ac80b455beebf0191fa31be417f6725"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RSK4MUF5OOZDRDBNYBKT7OSFLD/bundle.json","state_url":"https://pith.science/pith/RSK4MUF5OOZDRDBNYBKT7OSFLD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RSK4MUF5OOZDRDBNYBKT7OSFLD/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-25T19:32:40Z","links":{"resolver":"https://pith.science/pith/RSK4MUF5OOZDRDBNYBKT7OSFLD","bundle":"https://pith.science/pith/RSK4MUF5OOZDRDBNYBKT7OSFLD/bundle.json","state":"https://pith.science/pith/RSK4MUF5OOZDRDBNYBKT7OSFLD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RSK4MUF5OOZDRDBNYBKT7OSFLD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:RSK4MUF5OOZDRDBNYBKT7OSFLD","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":"64d72b17f09cefae55ab95e33939bd27be995e5dd43dc1fc62ed6a38d347dc07","cross_cats_sorted":["cs.DB","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-11-10T16:43:24Z","title_canon_sha256":"3cdda31734afae6209096ff9fb15e4e34c3408d1e1ced4921f22ce0b502648fc"},"schema_version":"1.0","source":{"id":"1411.2499","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.2499","created_at":"2026-05-18T02:38:01Z"},{"alias_kind":"arxiv_version","alias_value":"1411.2499v1","created_at":"2026-05-18T02:38:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.2499","created_at":"2026-05-18T02:38:01Z"},{"alias_kind":"pith_short_12","alias_value":"RSK4MUF5OOZD","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_16","alias_value":"RSK4MUF5OOZDRDBN","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_8","alias_value":"RSK4MUF5","created_at":"2026-05-18T12:28:46Z"}],"graph_snapshots":[{"event_id":"sha256:0a9f34b533093e37d42beedf260cfae37ac80b455beebf0191fa31be417f6725","target":"graph","created_at":"2026-05-18T02:38:01Z","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 dynamics of belief and knowledge is one of the major components of any autonomous system that should be able to incorporate new pieces of information. We show that knowledge base dynamics has interesting connection with kernel change via hitting set and abduction. The approach extends and integrates standard techniques for efficient query answering and integrity checking. The generation of hitting set is carried out through a hyper tableaux calculus and magic set that is focused on the goal of minimality. Many different view update algorithms have been proposed in the literature to address","authors_text":"Radhakrishnan Delhibabu","cross_cats":["cs.DB","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-11-10T16:43:24Z","title":"Comparative Study of View Update Algorithms in Rational Choice Theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.2499","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:afef92ba3dc932ad2cefd9a0f13897d3f6c266ccd5b616c236b75f4a709187f5","target":"record","created_at":"2026-05-18T02:38:01Z","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":"64d72b17f09cefae55ab95e33939bd27be995e5dd43dc1fc62ed6a38d347dc07","cross_cats_sorted":["cs.DB","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-11-10T16:43:24Z","title_canon_sha256":"3cdda31734afae6209096ff9fb15e4e34c3408d1e1ced4921f22ce0b502648fc"},"schema_version":"1.0","source":{"id":"1411.2499","kind":"arxiv","version":1}},"canonical_sha256":"8c95c650bd73b2388c2dc0553fba4558c2295cdab2cf8dc0b668cb6509457f72","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8c95c650bd73b2388c2dc0553fba4558c2295cdab2cf8dc0b668cb6509457f72","first_computed_at":"2026-05-18T02:38:01.271931Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:38:01.271931Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SCLtRTGxYTbN7225uLjRW23Oi0ZRb1Nx9ge+f2WizlxI3m5Sev1oxeqJNjWpRvknMXjxFKe3IQL0vFIjQfwNBg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:38:01.272329Z","signed_message":"canonical_sha256_bytes"},"source_id":"1411.2499","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:afef92ba3dc932ad2cefd9a0f13897d3f6c266ccd5b616c236b75f4a709187f5","sha256:0a9f34b533093e37d42beedf260cfae37ac80b455beebf0191fa31be417f6725"],"state_sha256":"c329a5d5ecc9ff88f01475b60278083468bc5dddd638219e3463d224ff0d8989"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OsTqHWZekwwtjhIF3fb817nYRcEAZ4wNDtQOjg/kHkK8aO7wfTVCtZ2E8LVM+TE3WzzPBJLUSVqAb6s2SLAWAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T19:32:40.607180Z","bundle_sha256":"48ab3906f45fa2be373098b38969d3647fcac321aaec89511b827d69ac1a0098"}}