{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:LBIC5QHSPLQ4HLQIO4T3J7TORE","short_pith_number":"pith:LBIC5QHS","schema_version":"1.0","canonical_sha256":"58502ec0f27ae1c3ae087727b4fe6e892b40134f1c32ae3732fcd795ec24e36c","source":{"kind":"arxiv","id":"1705.07226","version":1},"attestation_state":"computed","paper":{"title":"RankPL: A Qualitative Probabilistic Programming Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.AI","authors_text":"Tjitze Rienstra","submitted_at":"2017-05-19T23:58:26Z","abstract_excerpt":"In this paper we introduce RankPL, a modeling language that can be thought of as a qualitative variant of a probabilistic programming language with a semantics based on Spohn's ranking theory. Broadly speaking, RankPL can be used to represent and reason about processes that exhibit uncertainty expressible by distinguishing \"normal\" from\" surprising\" events. RankPL allows (iterated) revision of rankings over alternative program states and supports various types of reasoning, including abduction and causal inference. We present the language, its denotational semantics, and a number of practical "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1705.07226","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-05-19T23:58:26Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"f598c9b110435302c2235a82e62649e10c2cb48bf6bbe9e61a103d1bb030869c","abstract_canon_sha256":"7ac0b8efce6ade61ec292cd830885bdd2319b004aaa6524d3c0949701973c3ac"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:06.281247Z","signature_b64":"iHRLomwODiVPYJ0wjsZ1GpGP6JLzyA7aey2BBnbU5vcJ/M42Svt+DKZ6oKRy0wTmspx5nbbB34Un5tkOx3y1CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"58502ec0f27ae1c3ae087727b4fe6e892b40134f1c32ae3732fcd795ec24e36c","last_reissued_at":"2026-05-18T00:44:06.280611Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:06.280611Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"RankPL: A Qualitative Probabilistic Programming Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.AI","authors_text":"Tjitze Rienstra","submitted_at":"2017-05-19T23:58:26Z","abstract_excerpt":"In this paper we introduce RankPL, a modeling language that can be thought of as a qualitative variant of a probabilistic programming language with a semantics based on Spohn's ranking theory. Broadly speaking, RankPL can be used to represent and reason about processes that exhibit uncertainty expressible by distinguishing \"normal\" from\" surprising\" events. RankPL allows (iterated) revision of rankings over alternative program states and supports various types of reasoning, including abduction and causal inference. We present the language, its denotational semantics, and a number of practical "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.07226","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1705.07226","created_at":"2026-05-18T00:44:06.280714+00:00"},{"alias_kind":"arxiv_version","alias_value":"1705.07226v1","created_at":"2026-05-18T00:44:06.280714+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.07226","created_at":"2026-05-18T00:44:06.280714+00:00"},{"alias_kind":"pith_short_12","alias_value":"LBIC5QHSPLQ4","created_at":"2026-05-18T12:31:28.150371+00:00"},{"alias_kind":"pith_short_16","alias_value":"LBIC5QHSPLQ4HLQI","created_at":"2026-05-18T12:31:28.150371+00:00"},{"alias_kind":"pith_short_8","alias_value":"LBIC5QHS","created_at":"2026-05-18T12:31:28.150371+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/LBIC5QHSPLQ4HLQIO4T3J7TORE","json":"https://pith.science/pith/LBIC5QHSPLQ4HLQIO4T3J7TORE.json","graph_json":"https://pith.science/api/pith-number/LBIC5QHSPLQ4HLQIO4T3J7TORE/graph.json","events_json":"https://pith.science/api/pith-number/LBIC5QHSPLQ4HLQIO4T3J7TORE/events.json","paper":"https://pith.science/paper/LBIC5QHS"},"agent_actions":{"view_html":"https://pith.science/pith/LBIC5QHSPLQ4HLQIO4T3J7TORE","download_json":"https://pith.science/pith/LBIC5QHSPLQ4HLQIO4T3J7TORE.json","view_paper":"https://pith.science/paper/LBIC5QHS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1705.07226&json=true","fetch_graph":"https://pith.science/api/pith-number/LBIC5QHSPLQ4HLQIO4T3J7TORE/graph.json","fetch_events":"https://pith.science/api/pith-number/LBIC5QHSPLQ4HLQIO4T3J7TORE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LBIC5QHSPLQ4HLQIO4T3J7TORE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LBIC5QHSPLQ4HLQIO4T3J7TORE/action/storage_attestation","attest_author":"https://pith.science/pith/LBIC5QHSPLQ4HLQIO4T3J7TORE/action/author_attestation","sign_citation":"https://pith.science/pith/LBIC5QHSPLQ4HLQIO4T3J7TORE/action/citation_signature","submit_replication":"https://pith.science/pith/LBIC5QHSPLQ4HLQIO4T3J7TORE/action/replication_record"}},"created_at":"2026-05-18T00:44:06.280714+00:00","updated_at":"2026-05-18T00:44:06.280714+00:00"}