{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:AS7IOEC4DTBO4AOG6IDYL3I5MA","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":"f5f6233f2ebeebe9b46afd4d474754ea397cd888ee32ced607748ddb888471a8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-01-18T20:38:55Z","title_canon_sha256":"33940d608bd8e63e03dbbcfdb3d533e5bcba7910c6bf3c949951a0b2c7d05a72"},"schema_version":"1.0","source":{"id":"1701.05226","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.05226","created_at":"2026-05-18T00:49:46Z"},{"alias_kind":"arxiv_version","alias_value":"1701.05226v2","created_at":"2026-05-18T00:49:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.05226","created_at":"2026-05-18T00:49:46Z"},{"alias_kind":"pith_short_12","alias_value":"AS7IOEC4DTBO","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_16","alias_value":"AS7IOEC4DTBO4AOG","created_at":"2026-05-18T12:31:08Z"},{"alias_kind":"pith_short_8","alias_value":"AS7IOEC4","created_at":"2026-05-18T12:31:08Z"}],"graph_snapshots":[{"event_id":"sha256:5d7f263a2bdd44860405cc81310ccbf07056e90a9a7ca91b61f8f83582327cab","target":"graph","created_at":"2026-05-18T00:49:46Z","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":"This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty (and even more, that there are kinds of uncertainty which are for principled reasons not addressable with probabilistic means); and to provide evidence that logic-based methods can well support reasoning with uncertainty. For the latter claim, two paradigmatic examples are presented: Logic Programming with Kleene semantics for modelling reasoning from information in a discourse, to an interpretation of the state of affairs of the intended model, and a neural-symbolic implementation ","authors_text":"Artur d'Avila Garcez, Keith Stenning, Leendert van der Torre, Michiel van Lambalgen, Tarek R. Besold","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-01-18T20:38:55Z","title":"Reasoning in Non-Probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.05226","kind":"arxiv","version":2},"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:c3659e081bb1517f647dd193f4cbdffc4b01e5fc6ab58354e18dca46762f23f7","target":"record","created_at":"2026-05-18T00:49:46Z","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":"f5f6233f2ebeebe9b46afd4d474754ea397cd888ee32ced607748ddb888471a8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-01-18T20:38:55Z","title_canon_sha256":"33940d608bd8e63e03dbbcfdb3d533e5bcba7910c6bf3c949951a0b2c7d05a72"},"schema_version":"1.0","source":{"id":"1701.05226","kind":"arxiv","version":2}},"canonical_sha256":"04be87105c1cc2ee01c6f20785ed1d601f11a2a3ac9d1a2eee206c329bc9d77d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"04be87105c1cc2ee01c6f20785ed1d601f11a2a3ac9d1a2eee206c329bc9d77d","first_computed_at":"2026-05-18T00:49:46.509481Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:49:46.509481Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MazygZvllihVk3mc7v9wiYK3APLEpQfk0b1+VjA/fol4XHaVSLOwzGtlLNjiAxpJtcPEXFZdtyqgzrocOiLGBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:49:46.509972Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.05226","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c3659e081bb1517f647dd193f4cbdffc4b01e5fc6ab58354e18dca46762f23f7","sha256:5d7f263a2bdd44860405cc81310ccbf07056e90a9a7ca91b61f8f83582327cab"],"state_sha256":"2aa1248987eb545ebe1f1c8ceaccb3361797811dee3644a90ab73929ece354ee"}