{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:KGVNYYNEPMDHQWQ7GABYT2ESUH","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":"d04818aeef86131b873e9bbdafcdf8c3f760a7162f57f00bae843836a8d10238","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-05T19:13:06Z","title_canon_sha256":"9506d455b861814856358d870eb53616dca6d53a8e81d9134b494712d2afe256"},"schema_version":"1.0","source":{"id":"1405.0999","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.0999","created_at":"2026-05-18T02:52:40Z"},{"alias_kind":"arxiv_version","alias_value":"1405.0999v1","created_at":"2026-05-18T02:52:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.0999","created_at":"2026-05-18T02:52:40Z"},{"alias_kind":"pith_short_12","alias_value":"KGVNYYNEPMDH","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KGVNYYNEPMDHQWQ7","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KGVNYYNE","created_at":"2026-05-18T12:28:35Z"}],"graph_snapshots":[{"event_id":"sha256:83c054f5e574bb6a99ae2e251c0c13fb2ce1073ac82c654b025dcda1ac8965f1","target":"graph","created_at":"2026-05-18T02:52:40Z","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 paper describes an architecture that combines the complementary strengths of declarative programming and probabilistic graphical models to enable robots to represent, reason with, and learn from, qualitative and quantitative descriptions of uncertainty and knowledge. An action language is used for the low-level (LL) and high-level (HL) system descriptions in the architecture, and the definition of recorded histories in the HL is expanded to allow prioritized defaults. For any given goal, tentative plans created in the HL using default knowledge and commonsense reasoning are implemented in","authors_text":"Jeremy Wyatt, Michael Gelfond, Mohan Sridharan, Shiqi Zhang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-05T19:13:06Z","title":"KR$^3$: An Architecture for Knowledge Representation and Reasoning in Robotics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.0999","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:bc914e50d35595059de19c266321ae1528eed8f723ec7c1b243919dba6180253","target":"record","created_at":"2026-05-18T02:52:40Z","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":"d04818aeef86131b873e9bbdafcdf8c3f760a7162f57f00bae843836a8d10238","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-05T19:13:06Z","title_canon_sha256":"9506d455b861814856358d870eb53616dca6d53a8e81d9134b494712d2afe256"},"schema_version":"1.0","source":{"id":"1405.0999","kind":"arxiv","version":1}},"canonical_sha256":"51aadc61a47b06785a1f300389e892a1cbb8dace79a2c8dd007ebda06f4c6966","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"51aadc61a47b06785a1f300389e892a1cbb8dace79a2c8dd007ebda06f4c6966","first_computed_at":"2026-05-18T02:52:40.280667Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:52:40.280667Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JuQl4cERhyeMv2j2kVydefLYDYnN41tcfyHpzBG5JmbIT4YpZgzfEiWEzq8YXLcTFFGUTb7bm6mKSiMJrt29CA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:52:40.281180Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.0999","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bc914e50d35595059de19c266321ae1528eed8f723ec7c1b243919dba6180253","sha256:83c054f5e574bb6a99ae2e251c0c13fb2ce1073ac82c654b025dcda1ac8965f1"],"state_sha256":"1ac17a35de931d44b350426f31a20f74631f036a2ba5ebda36a97f23cfd56e77"}