{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:NEMCBPQ6P4WAJ32OWSDCB6AMJQ","short_pith_number":"pith:NEMCBPQ6","schema_version":"1.0","canonical_sha256":"691820be1e7f2c04ef4eb48620f80c4c209408917180567ebf1553ee11855d4c","source":{"kind":"arxiv","id":"1508.00059","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1508.00059","created_at":"2026-05-18T01:35:59.203333+00:00"},{"alias_kind":"arxiv_version","alias_value":"1508.00059v1","created_at":"2026-05-18T01:35:59.203333+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.00059","created_at":"2026-05-18T01:35:59.203333+00:00"},{"alias_kind":"pith_short_12","alias_value":"NEMCBPQ6P4WA","created_at":"2026-05-18T12:29:32.376354+00:00"},{"alias_kind":"pith_short_16","alias_value":"NEMCBPQ6P4WAJ32O","created_at":"2026-05-18T12:29:32.376354+00:00"},{"alias_kind":"pith_short_8","alias_value":"NEMCBPQ6","created_at":"2026-05-18T12:29:32.376354+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/NEMCBPQ6P4WAJ32OWSDCB6AMJQ","json":"https://pith.science/pith/NEMCBPQ6P4WAJ32OWSDCB6AMJQ.json","graph_json":"https://pith.science/api/pith-number/NEMCBPQ6P4WAJ32OWSDCB6AMJQ/graph.json","events_json":"https://pith.science/api/pith-number/NEMCBPQ6P4WAJ32OWSDCB6AMJQ/events.json","paper":"https://pith.science/paper/NEMCBPQ6"},"agent_actions":{"view_html":"https://pith.science/pith/NEMCBPQ6P4WAJ32OWSDCB6AMJQ","download_json":"https://pith.science/pith/NEMCBPQ6P4WAJ32OWSDCB6AMJQ.json","view_paper":"https://pith.science/paper/NEMCBPQ6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1508.00059&json=true","fetch_graph":"https://pith.science/api/pith-number/NEMCBPQ6P4WAJ32OWSDCB6AMJQ/graph.json","fetch_events":"https://pith.science/api/pith-number/NEMCBPQ6P4WAJ32OWSDCB6AMJQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NEMCBPQ6P4WAJ32OWSDCB6AMJQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NEMCBPQ6P4WAJ32OWSDCB6AMJQ/action/storage_attestation","attest_author":"https://pith.science/pith/NEMCBPQ6P4WAJ32OWSDCB6AMJQ/action/author_attestation","sign_citation":"https://pith.science/pith/NEMCBPQ6P4WAJ32OWSDCB6AMJQ/action/citation_signature","submit_replication":"https://pith.science/pith/NEMCBPQ6P4WAJ32OWSDCB6AMJQ/action/replication_record"}},"created_at":"2026-05-18T01:35:59.203333+00:00","updated_at":"2026-05-18T01:35:59.203333+00:00"}