{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:NEMCBPQ6P4WAJ32OWSDCB6AMJQ","short_pith_number":"pith:NEMCBPQ6","canonical_record":{"source":{"id":"1508.00059","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2015-08-01T00:26:46Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"312ffa553529b7eb7d6d01f71464d846c64372be02e580ae9312be79e88d8635","abstract_canon_sha256":"1b4c8f6e25118c640e1eb467b3870876a5ebdc7098edd80bc1f90615c08c8722"},"schema_version":"1.0"},"canonical_sha256":"691820be1e7f2c04ef4eb48620f80c4c209408917180567ebf1553ee11855d4c","source":{"kind":"arxiv","id":"1508.00059","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.00059","created_at":"2026-05-18T01:35:59Z"},{"alias_kind":"arxiv_version","alias_value":"1508.00059v1","created_at":"2026-05-18T01:35:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.00059","created_at":"2026-05-18T01:35:59Z"},{"alias_kind":"pith_short_12","alias_value":"NEMCBPQ6P4WA","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"NEMCBPQ6P4WAJ32O","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"NEMCBPQ6","created_at":"2026-05-18T12:29:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:NEMCBPQ6P4WAJ32OWSDCB6AMJQ","target":"record","payload":{"canonical_record":{"source":{"id":"1508.00059","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2015-08-01T00:26:46Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"312ffa553529b7eb7d6d01f71464d846c64372be02e580ae9312be79e88d8635","abstract_canon_sha256":"1b4c8f6e25118c640e1eb467b3870876a5ebdc7098edd80bc1f90615c08c8722"},"schema_version":"1.0"},"canonical_sha256":"691820be1e7f2c04ef4eb48620f80c4c209408917180567ebf1553ee11855d4c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:35:59.203889Z","signature_b64":"kr5fZy8yGi0NiUcD+lpxqc8tCuxfUpEOhsJh6GPoa5DDu7DZbO6zaeJ24YQuP/63hHHzkEp29J9WSMTfl4zMAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"691820be1e7f2c04ef4eb48620f80c4c209408917180567ebf1553ee11855d4c","last_reissued_at":"2026-05-18T01:35:59.203221Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:35:59.203221Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1508.00059","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-18T01:35:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M44I0UJAS7k7HgIZzmbHRnyBeJoAs4tIj3A1Gm00Ra3dkAs7hZQ/QRZITHiRzFaOBBBteVDN3nXvd19U9Wa5CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T02:00:32.612722Z"},"content_sha256":"a08c1e0e36175e0613fda6348f876b08a475f9e1e7b47ab9e9e281027aa2171e","schema_version":"1.0","event_id":"sha256:a08c1e0e36175e0613fda6348f876b08a475f9e1e7b47ab9e9e281027aa2171e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:NEMCBPQ6P4WAJ32OWSDCB6AMJQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mixed Logical and Probabilistic Reasoning for Planning and Explanation Generation in Robotics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LO"],"primary_cat":"cs.RO","authors_text":"Mohan Sridharan, Zenon Colaco","submitted_at":"2015-08-01T00:26:46Z","abstract_excerpt":"Robots assisting humans in complex domains have to represent knowledge and reason at both the sensorimotor level and the social level. The architecture described in this paper couples the non-monotonic logical reasoning capabilities of a declarative language with probabilistic belief revision, enabling robots to represent and reason with qualitative and quantitative descriptions of knowledge and degrees of belief. Specifically, incomplete domain knowledge, including information that holds in all but a few exceptional situations, is represented as a Answer Set Prolog (ASP) program. The answer s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.00059","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-18T01:35:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pjbp6QUnHk7Apb//mLjJpI41xnQAGhI7Ipz6sSSWxk7FuawCbQrrBv/FPJhPU4OlHAilZM6yqg/EnGjjsl1XAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T02:00:32.613076Z"},"content_sha256":"eaca72ed60af6ad3ce13900af6dcf9c9f23496063696b007f6fdb83b8bbd046f","schema_version":"1.0","event_id":"sha256:eaca72ed60af6ad3ce13900af6dcf9c9f23496063696b007f6fdb83b8bbd046f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NEMCBPQ6P4WAJ32OWSDCB6AMJQ/bundle.json","state_url":"https://pith.science/pith/NEMCBPQ6P4WAJ32OWSDCB6AMJQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NEMCBPQ6P4WAJ32OWSDCB6AMJQ/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-07-03T02:00:32Z","links":{"resolver":"https://pith.science/pith/NEMCBPQ6P4WAJ32OWSDCB6AMJQ","bundle":"https://pith.science/pith/NEMCBPQ6P4WAJ32OWSDCB6AMJQ/bundle.json","state":"https://pith.science/pith/NEMCBPQ6P4WAJ32OWSDCB6AMJQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NEMCBPQ6P4WAJ32OWSDCB6AMJQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:NEMCBPQ6P4WAJ32OWSDCB6AMJQ","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":"1b4c8f6e25118c640e1eb467b3870876a5ebdc7098edd80bc1f90615c08c8722","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2015-08-01T00:26:46Z","title_canon_sha256":"312ffa553529b7eb7d6d01f71464d846c64372be02e580ae9312be79e88d8635"},"schema_version":"1.0","source":{"id":"1508.00059","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.00059","created_at":"2026-05-18T01:35:59Z"},{"alias_kind":"arxiv_version","alias_value":"1508.00059v1","created_at":"2026-05-18T01:35:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.00059","created_at":"2026-05-18T01:35:59Z"},{"alias_kind":"pith_short_12","alias_value":"NEMCBPQ6P4WA","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"NEMCBPQ6P4WAJ32O","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"NEMCBPQ6","created_at":"2026-05-18T12:29:32Z"}],"graph_snapshots":[{"event_id":"sha256:eaca72ed60af6ad3ce13900af6dcf9c9f23496063696b007f6fdb83b8bbd046f","target":"graph","created_at":"2026-05-18T01:35:59Z","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":"Robots assisting humans in complex domains have to represent knowledge and reason at both the sensorimotor level and the social level. The architecture described in this paper couples the non-monotonic logical reasoning capabilities of a declarative language with probabilistic belief revision, enabling robots to represent and reason with qualitative and quantitative descriptions of knowledge and degrees of belief. Specifically, incomplete domain knowledge, including information that holds in all but a few exceptional situations, is represented as a Answer Set Prolog (ASP) program. The answer s","authors_text":"Mohan Sridharan, Zenon Colaco","cross_cats":["cs.AI","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2015-08-01T00:26:46Z","title":"Mixed Logical and Probabilistic Reasoning for Planning and Explanation Generation in Robotics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.00059","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:a08c1e0e36175e0613fda6348f876b08a475f9e1e7b47ab9e9e281027aa2171e","target":"record","created_at":"2026-05-18T01:35:59Z","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":"1b4c8f6e25118c640e1eb467b3870876a5ebdc7098edd80bc1f90615c08c8722","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2015-08-01T00:26:46Z","title_canon_sha256":"312ffa553529b7eb7d6d01f71464d846c64372be02e580ae9312be79e88d8635"},"schema_version":"1.0","source":{"id":"1508.00059","kind":"arxiv","version":1}},"canonical_sha256":"691820be1e7f2c04ef4eb48620f80c4c209408917180567ebf1553ee11855d4c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"691820be1e7f2c04ef4eb48620f80c4c209408917180567ebf1553ee11855d4c","first_computed_at":"2026-05-18T01:35:59.203221Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:35:59.203221Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kr5fZy8yGi0NiUcD+lpxqc8tCuxfUpEOhsJh6GPoa5DDu7DZbO6zaeJ24YQuP/63hHHzkEp29J9WSMTfl4zMAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:35:59.203889Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.00059","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a08c1e0e36175e0613fda6348f876b08a475f9e1e7b47ab9e9e281027aa2171e","sha256:eaca72ed60af6ad3ce13900af6dcf9c9f23496063696b007f6fdb83b8bbd046f"],"state_sha256":"ea15ced3b1ce8f1bda913ea710c4f7a7a96f60c4fe3ff0be59685616d402f960"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/6/9ZaxU7XEv+dLUfTgtZxl/IEm0GZzOxV2fv5GvyO9uA3arOsVBIoBdWokramgYrn6vkvF2VqnV88QNZkHdDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-03T02:00:32.615053Z","bundle_sha256":"28625c684c34dab37a82b4973678a1304e37b610d6203b27a405471a04667d0e"}}