{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:WGLAVFTTL5LSHADBWIX64INR2N","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":"145d89282d2e5f13dcf94249cf6693b5740aa4444ae5ea58b1825aed35e65deb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-27T19:41:48Z","title_canon_sha256":"493aaac7415b8acb7277ba46a196a8edd22ff567f69f426b3be63a8ef9ad9b9c"},"schema_version":"1.0","source":{"id":"1304.2341","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.2341","created_at":"2026-05-18T03:28:32Z"},{"alias_kind":"arxiv_version","alias_value":"1304.2341v1","created_at":"2026-05-18T03:28:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.2341","created_at":"2026-05-18T03:28:32Z"},{"alias_kind":"pith_short_12","alias_value":"WGLAVFTTL5LS","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"WGLAVFTTL5LSHADB","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"WGLAVFTT","created_at":"2026-05-18T12:28:04Z"}],"graph_snapshots":[{"event_id":"sha256:62d50b4acd4c541c1ed4063adc27038e1f47642d9a72aa4fa7bafc6fa38e3d97","target":"graph","created_at":"2026-05-18T03:28: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":"In Probabilistic Logic Nilsson uses the device of a probability distribution over a set of possible worlds to assign probabilities to the sentences of a logical language.  In his paper Nilsson concentrated on inference and associated computational issues.  This paper, on the other hand, examines the probabilistic semantics in more detail, particularly for the case of first-order languages, and attempts to explain some of the features and limitations of this form of probability logic.  It is pointed out that the device of assigning probabilities to logical sentences has certain expressive limit","authors_text":"Fahiem Bacchus","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-27T19:41:48Z","title":"Probability Distributions Over Possible Worlds"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.2341","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:04f927433316a3a63583f644148a9ebdb3e65f06dc126be9af5eda69fb950bf5","target":"record","created_at":"2026-05-18T03:28: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":"145d89282d2e5f13dcf94249cf6693b5740aa4444ae5ea58b1825aed35e65deb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-27T19:41:48Z","title_canon_sha256":"493aaac7415b8acb7277ba46a196a8edd22ff567f69f426b3be63a8ef9ad9b9c"},"schema_version":"1.0","source":{"id":"1304.2341","kind":"arxiv","version":1}},"canonical_sha256":"b1960a96735f57238061b22fee21b1d355cfbe29b6c74d3d50534c04dcd90b42","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b1960a96735f57238061b22fee21b1d355cfbe29b6c74d3d50534c04dcd90b42","first_computed_at":"2026-05-18T03:28:32.601000Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:28:32.601000Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"B3VM8AY2BHLbmgGkFNdC1nhN5MeK62EQVnO+zPtBjrtqfDE9kz7B2JnFYRUOqw8EyJeCweoeVZJ2aRPweagrCw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:28:32.601698Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.2341","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:04f927433316a3a63583f644148a9ebdb3e65f06dc126be9af5eda69fb950bf5","sha256:62d50b4acd4c541c1ed4063adc27038e1f47642d9a72aa4fa7bafc6fa38e3d97"],"state_sha256":"3dce715ad779d3624da2ee7e471306bf63853f26c8a21ec0882656d32fc32cee"}