{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:OWTPB7FK7AWHBATCPQ6WD4QMHF","short_pith_number":"pith:OWTPB7FK","canonical_record":{"source":{"id":"1304.1500","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-27T19:37:41Z","cross_cats_sorted":[],"title_canon_sha256":"3026bf9d0a8886541347ff59a7aafcd6c8b452d86dd5f2b5547b947b09f51ff3","abstract_canon_sha256":"ad7a4974958f62aec7a3d8605efe1bfaa461afd50f133b94c0f4a4d515d1111b"},"schema_version":"1.0"},"canonical_sha256":"75a6f0fcaaf82c7082627c3d61f20c396ba443e13723fa7f4aa77d3c54faee64","source":{"kind":"arxiv","id":"1304.1500","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.1500","created_at":"2026-05-18T03:28:55Z"},{"alias_kind":"arxiv_version","alias_value":"1304.1500v1","created_at":"2026-05-18T03:28:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.1500","created_at":"2026-05-18T03:28:55Z"},{"alias_kind":"pith_short_12","alias_value":"OWTPB7FK7AWH","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_16","alias_value":"OWTPB7FK7AWHBATC","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_8","alias_value":"OWTPB7FK","created_at":"2026-05-18T12:27:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:OWTPB7FK7AWHBATCPQ6WD4QMHF","target":"record","payload":{"canonical_record":{"source":{"id":"1304.1500","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-27T19:37:41Z","cross_cats_sorted":[],"title_canon_sha256":"3026bf9d0a8886541347ff59a7aafcd6c8b452d86dd5f2b5547b947b09f51ff3","abstract_canon_sha256":"ad7a4974958f62aec7a3d8605efe1bfaa461afd50f133b94c0f4a4d515d1111b"},"schema_version":"1.0"},"canonical_sha256":"75a6f0fcaaf82c7082627c3d61f20c396ba443e13723fa7f4aa77d3c54faee64","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:28:55.692155Z","signature_b64":"9jEieMtbFrPHtfCfP8G/Pt/E2//IxZW4kmMOAUwkpqPIsY2m//byeYlfS0SF6yonU1ozXLNZKrJG4Lct+l3zDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"75a6f0fcaaf82c7082627c3d61f20c396ba443e13723fa7f4aa77d3c54faee64","last_reissued_at":"2026-05-18T03:28:55.691766Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:28:55.691766Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1304.1500","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:28:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wgADmJDf79t7YJBkFvGAioBVHAEQbYHF380AkXiBE2aFSS0t5AU7Ob5HSoSSoARfhQj8hJRDfv4icsGvaBj8AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T05:16:58.285084Z"},"content_sha256":"df91d34ef28b84463d4a4179dffc4ef9abd74f88ac6b75dd55b5ab0b9b3d9ee2","schema_version":"1.0","event_id":"sha256:df91d34ef28b84463d4a4179dffc4ef9abd74f88ac6b75dd55b5ab0b9b3d9ee2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:OWTPB7FK7AWHBATCPQ6WD4QMHF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision and Variable Certainty Weights","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Didier Dubois, Henri Prade, Jerome Lang","submitted_at":"2013-03-27T19:37:41Z","abstract_excerpt":"In this paper an approach to automated deduction under uncertainty,based on possibilistic logic, is proposed ; for that purpose we deal with clauses weighted by a degree which is a lower bound of a necessity or a possibility measure, according to the nature of the uncertainty. Two resolution rules are used for coping with the different situations, and the refutation method can be generalized. Besides the lower bounds are allowed to be functions of variables involved in the clause, which gives hypothetical reasoning capabilities. The relation between our approach and the idea of minimizing abno"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.1500","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:28:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WdG15UWO4hJ5HlTvaipDZTfr6HUz8MG399GG5f1Lkd/eHT6/4jk5IDtQPzvepUBfMb+c7xSdWIhRxDDcTDwECg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T05:16:58.285441Z"},"content_sha256":"9cb0e5227a47d0cd202fd31e52be01bd3f255958e43859613f0c38fc01fb5333","schema_version":"1.0","event_id":"sha256:9cb0e5227a47d0cd202fd31e52be01bd3f255958e43859613f0c38fc01fb5333"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OWTPB7FK7AWHBATCPQ6WD4QMHF/bundle.json","state_url":"https://pith.science/pith/OWTPB7FK7AWHBATCPQ6WD4QMHF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OWTPB7FK7AWHBATCPQ6WD4QMHF/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-24T05:16:58Z","links":{"resolver":"https://pith.science/pith/OWTPB7FK7AWHBATCPQ6WD4QMHF","bundle":"https://pith.science/pith/OWTPB7FK7AWHBATCPQ6WD4QMHF/bundle.json","state":"https://pith.science/pith/OWTPB7FK7AWHBATCPQ6WD4QMHF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OWTPB7FK7AWHBATCPQ6WD4QMHF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:OWTPB7FK7AWHBATCPQ6WD4QMHF","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":"ad7a4974958f62aec7a3d8605efe1bfaa461afd50f133b94c0f4a4d515d1111b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-27T19:37:41Z","title_canon_sha256":"3026bf9d0a8886541347ff59a7aafcd6c8b452d86dd5f2b5547b947b09f51ff3"},"schema_version":"1.0","source":{"id":"1304.1500","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.1500","created_at":"2026-05-18T03:28:55Z"},{"alias_kind":"arxiv_version","alias_value":"1304.1500v1","created_at":"2026-05-18T03:28:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.1500","created_at":"2026-05-18T03:28:55Z"},{"alias_kind":"pith_short_12","alias_value":"OWTPB7FK7AWH","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_16","alias_value":"OWTPB7FK7AWHBATC","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_8","alias_value":"OWTPB7FK","created_at":"2026-05-18T12:27:54Z"}],"graph_snapshots":[{"event_id":"sha256:9cb0e5227a47d0cd202fd31e52be01bd3f255958e43859613f0c38fc01fb5333","target":"graph","created_at":"2026-05-18T03:28:55Z","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 an approach to automated deduction under uncertainty,based on possibilistic logic, is proposed ; for that purpose we deal with clauses weighted by a degree which is a lower bound of a necessity or a possibility measure, according to the nature of the uncertainty. Two resolution rules are used for coping with the different situations, and the refutation method can be generalized. Besides the lower bounds are allowed to be functions of variables involved in the clause, which gives hypothetical reasoning capabilities. The relation between our approach and the idea of minimizing abno","authors_text":"Didier Dubois, Henri Prade, Jerome Lang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-27T19:37:41Z","title":"Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision and Variable Certainty Weights"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.1500","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:df91d34ef28b84463d4a4179dffc4ef9abd74f88ac6b75dd55b5ab0b9b3d9ee2","target":"record","created_at":"2026-05-18T03:28:55Z","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":"ad7a4974958f62aec7a3d8605efe1bfaa461afd50f133b94c0f4a4d515d1111b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-27T19:37:41Z","title_canon_sha256":"3026bf9d0a8886541347ff59a7aafcd6c8b452d86dd5f2b5547b947b09f51ff3"},"schema_version":"1.0","source":{"id":"1304.1500","kind":"arxiv","version":1}},"canonical_sha256":"75a6f0fcaaf82c7082627c3d61f20c396ba443e13723fa7f4aa77d3c54faee64","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"75a6f0fcaaf82c7082627c3d61f20c396ba443e13723fa7f4aa77d3c54faee64","first_computed_at":"2026-05-18T03:28:55.691766Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:28:55.691766Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9jEieMtbFrPHtfCfP8G/Pt/E2//IxZW4kmMOAUwkpqPIsY2m//byeYlfS0SF6yonU1ozXLNZKrJG4Lct+l3zDA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:28:55.692155Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.1500","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:df91d34ef28b84463d4a4179dffc4ef9abd74f88ac6b75dd55b5ab0b9b3d9ee2","sha256:9cb0e5227a47d0cd202fd31e52be01bd3f255958e43859613f0c38fc01fb5333"],"state_sha256":"3995eeef5dff5113d20003312166173d67a467253b8520b5f2a079cef6db51ae"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oXvWl4VLT/2z2cR0rZ5J8H0WZF4LJVKncBj802aY8+miCjD1Rdb+7xV5L6vtZdZ3Yeg/1cuGB+R4ptNAbNfvCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T05:16:58.287274Z","bundle_sha256":"4a88b97f0eec398a92af6c2955b03635d5ff2ba42d3ec1259c7fa4c0a387d3c9"}}