{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:2D2NFAR6IUYU55TB2BEFMNGICI","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":"3277da6d86b4044c001352ae15037fa23e8c4ff1ef120c34b2537bb50d9a0c23","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-14T16:41:17Z","title_canon_sha256":"f30a48d0723258e496214d56f93ca4a831474596cb3152044896da220d7eab2a"},"schema_version":"1.0","source":{"id":"1202.3743","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.3743","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"arxiv_version","alias_value":"1202.3743v1","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.3743","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"pith_short_12","alias_value":"2D2NFAR6IUYU","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_16","alias_value":"2D2NFAR6IUYU55TB","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_8","alias_value":"2D2NFAR6","created_at":"2026-05-18T12:26:50Z"}],"graph_snapshots":[{"event_id":"sha256:d57b133d3f45e9a88f58b15a8a971185cfa9084f7472e8b080862eb1b6ff3161","target":"graph","created_at":"2026-05-18T04:02:03Z","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":"Situation calculus has been applied widely in artificial intelligence to model and reason about actions and changes in dynamic systems. Since actions carried out by agents will cause constant changes of the agents' beliefs, how to manage these changes is a very important issue. Shapiro et al. [22] is one of the studies that considered this issue. However, in this framework, the problem of noisy sensing, which often presents in real-world applications, is not considered. As a consequence, noisy sensing actions in this framework will lead to an agent facing inconsistent situation and subsequentl","authors_text":"Jianbing Ma, Paul Miller, Weiru Liu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-14T16:41:17Z","title":"Belief change with noisy sensing in the situation calculus"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.3743","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:623b57881674a8a79a2df8bb4eeba382af5508599ae7ac73a8560ab6ef58156a","target":"record","created_at":"2026-05-18T04:02:03Z","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":"3277da6d86b4044c001352ae15037fa23e8c4ff1ef120c34b2537bb50d9a0c23","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-14T16:41:17Z","title_canon_sha256":"f30a48d0723258e496214d56f93ca4a831474596cb3152044896da220d7eab2a"},"schema_version":"1.0","source":{"id":"1202.3743","kind":"arxiv","version":1}},"canonical_sha256":"d0f4d2823e45314ef661d0485634c8120cb9fd8d51a395b1f2ee54cab09aeb00","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d0f4d2823e45314ef661d0485634c8120cb9fd8d51a395b1f2ee54cab09aeb00","first_computed_at":"2026-05-18T04:02:03.151826Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:02:03.151826Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xSeMzQSUZFaHYF5Tgg71cn7fOvFaBQC3zNfUdOucfpLMjBqQ+l3MEdeoqOZ5cG+ofs8D3mLlRaJlgFW+L9hCBw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:02:03.152381Z","signed_message":"canonical_sha256_bytes"},"source_id":"1202.3743","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:623b57881674a8a79a2df8bb4eeba382af5508599ae7ac73a8560ab6ef58156a","sha256:d57b133d3f45e9a88f58b15a8a971185cfa9084f7472e8b080862eb1b6ff3161"],"state_sha256":"b548b72b06f2f46b782cd54e8b182f41977ae858c7d15bccdd0df8a018fb0548"}