{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:3NSADSMMXPVTRDNUIQFBZMXJSF","short_pith_number":"pith:3NSADSMM","canonical_record":{"source":{"id":"1302.4986","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-20T15:23:54Z","cross_cats_sorted":[],"title_canon_sha256":"8ba740ad62d640c12dbf5ef11797a7cd405eb50bfcafa903640f7d8acc4c6512","abstract_canon_sha256":"2986acd4fd711d042badf782dddb9a715600c72f09b6cbd197be0533622f82dc"},"schema_version":"1.0"},"canonical_sha256":"db6401c98cbbeb388db4440a1cb2e991606c4a4615f39881a792bda74f944512","source":{"kind":"arxiv","id":"1302.4986","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.4986","created_at":"2026-05-18T03:33:00Z"},{"alias_kind":"arxiv_version","alias_value":"1302.4986v1","created_at":"2026-05-18T03:33:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.4986","created_at":"2026-05-18T03:33:00Z"},{"alias_kind":"pith_short_12","alias_value":"3NSADSMMXPVT","created_at":"2026-05-18T12:27:32Z"},{"alias_kind":"pith_short_16","alias_value":"3NSADSMMXPVTRDNU","created_at":"2026-05-18T12:27:32Z"},{"alias_kind":"pith_short_8","alias_value":"3NSADSMM","created_at":"2026-05-18T12:27:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:3NSADSMMXPVTRDNUIQFBZMXJSF","target":"record","payload":{"canonical_record":{"source":{"id":"1302.4986","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-20T15:23:54Z","cross_cats_sorted":[],"title_canon_sha256":"8ba740ad62d640c12dbf5ef11797a7cd405eb50bfcafa903640f7d8acc4c6512","abstract_canon_sha256":"2986acd4fd711d042badf782dddb9a715600c72f09b6cbd197be0533622f82dc"},"schema_version":"1.0"},"canonical_sha256":"db6401c98cbbeb388db4440a1cb2e991606c4a4615f39881a792bda74f944512","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:33:00.573751Z","signature_b64":"S5acrooXHEtJ/XnBIivvy4Kw7iBSNUrgH71EJDmI85UnCo2l7E8MJdf3qC161wa3gWNRRJwVQjgO1nx+dXTNDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"db6401c98cbbeb388db4440a1cb2e991606c4a4615f39881a792bda74f944512","last_reissued_at":"2026-05-18T03:33:00.572780Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:33:00.572780Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.4986","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-18T03:33:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yJ0O9/KcVqNvByu+reEGqnInsruueYKHSwJDNMe9GA8LIl2OiU2/h0/+wC4jS3ijDPUFhhAbcTU/7gITUS0XDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T12:51:10.140777Z"},"content_sha256":"2366116dffcb44dbc743f9a1fc421428a87c4f72d423640fcb94492c20531a1c","schema_version":"1.0","event_id":"sha256:2366116dffcb44dbc743f9a1fc421428a87c4f72d423640fcb94492c20531a1c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:3NSADSMMXPVTRDNUIQFBZMXJSF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exploiting System Hierarchy to Compute Repair Plans in Probabilistic Model-based Diagnosis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Eric J. Horvitz, Sampath Srinivas","submitted_at":"2013-02-20T15:23:54Z","abstract_excerpt":"The goal of model-based diagnosis is to isolate causes of anomalous system behavior and recommend inexpensive repair actions in response.  In general, precomputing optimal repair policies is intractable.  To date, investigators addressing this problem have explored approximations that either impose restrictions on the system model (such as a single fault assumption) or compute an immediate best action with limited lookahead. In this paper, we develop a formulation of repair in model-based diagnosis and a repair algorithm that computes optimal sequences of actions. This optimal approach is cost"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.4986","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-18T03:33:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g2piYaLr7YscYb6dQB1Cb4LgAMTOPgyEgn7hCdpfeiJkgi5i5DIyliDvecXXKm+5oYx6ssHhBB8XTe9WNrj+Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T12:51:10.141118Z"},"content_sha256":"837179a6cd4031a99980313d4dd1c967e36d9741bc82f76e406ba9ceb692b3ae","schema_version":"1.0","event_id":"sha256:837179a6cd4031a99980313d4dd1c967e36d9741bc82f76e406ba9ceb692b3ae"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3NSADSMMXPVTRDNUIQFBZMXJSF/bundle.json","state_url":"https://pith.science/pith/3NSADSMMXPVTRDNUIQFBZMXJSF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3NSADSMMXPVTRDNUIQFBZMXJSF/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-02T12:51:10Z","links":{"resolver":"https://pith.science/pith/3NSADSMMXPVTRDNUIQFBZMXJSF","bundle":"https://pith.science/pith/3NSADSMMXPVTRDNUIQFBZMXJSF/bundle.json","state":"https://pith.science/pith/3NSADSMMXPVTRDNUIQFBZMXJSF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3NSADSMMXPVTRDNUIQFBZMXJSF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:3NSADSMMXPVTRDNUIQFBZMXJSF","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":"2986acd4fd711d042badf782dddb9a715600c72f09b6cbd197be0533622f82dc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-20T15:23:54Z","title_canon_sha256":"8ba740ad62d640c12dbf5ef11797a7cd405eb50bfcafa903640f7d8acc4c6512"},"schema_version":"1.0","source":{"id":"1302.4986","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.4986","created_at":"2026-05-18T03:33:00Z"},{"alias_kind":"arxiv_version","alias_value":"1302.4986v1","created_at":"2026-05-18T03:33:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.4986","created_at":"2026-05-18T03:33:00Z"},{"alias_kind":"pith_short_12","alias_value":"3NSADSMMXPVT","created_at":"2026-05-18T12:27:32Z"},{"alias_kind":"pith_short_16","alias_value":"3NSADSMMXPVTRDNU","created_at":"2026-05-18T12:27:32Z"},{"alias_kind":"pith_short_8","alias_value":"3NSADSMM","created_at":"2026-05-18T12:27:32Z"}],"graph_snapshots":[{"event_id":"sha256:837179a6cd4031a99980313d4dd1c967e36d9741bc82f76e406ba9ceb692b3ae","target":"graph","created_at":"2026-05-18T03:33:00Z","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":"The goal of model-based diagnosis is to isolate causes of anomalous system behavior and recommend inexpensive repair actions in response.  In general, precomputing optimal repair policies is intractable.  To date, investigators addressing this problem have explored approximations that either impose restrictions on the system model (such as a single fault assumption) or compute an immediate best action with limited lookahead. In this paper, we develop a formulation of repair in model-based diagnosis and a repair algorithm that computes optimal sequences of actions. This optimal approach is cost","authors_text":"Eric J. Horvitz, Sampath Srinivas","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-20T15:23:54Z","title":"Exploiting System Hierarchy to Compute Repair Plans in Probabilistic Model-based Diagnosis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.4986","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:2366116dffcb44dbc743f9a1fc421428a87c4f72d423640fcb94492c20531a1c","target":"record","created_at":"2026-05-18T03:33:00Z","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":"2986acd4fd711d042badf782dddb9a715600c72f09b6cbd197be0533622f82dc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-02-20T15:23:54Z","title_canon_sha256":"8ba740ad62d640c12dbf5ef11797a7cd405eb50bfcafa903640f7d8acc4c6512"},"schema_version":"1.0","source":{"id":"1302.4986","kind":"arxiv","version":1}},"canonical_sha256":"db6401c98cbbeb388db4440a1cb2e991606c4a4615f39881a792bda74f944512","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"db6401c98cbbeb388db4440a1cb2e991606c4a4615f39881a792bda74f944512","first_computed_at":"2026-05-18T03:33:00.572780Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:33:00.572780Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"S5acrooXHEtJ/XnBIivvy4Kw7iBSNUrgH71EJDmI85UnCo2l7E8MJdf3qC161wa3gWNRRJwVQjgO1nx+dXTNDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:33:00.573751Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.4986","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2366116dffcb44dbc743f9a1fc421428a87c4f72d423640fcb94492c20531a1c","sha256:837179a6cd4031a99980313d4dd1c967e36d9741bc82f76e406ba9ceb692b3ae"],"state_sha256":"eb94af264085d158737bc2045c51ed439bda63444dd33e8ecb5007bc04007dbd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hgYuKGWR+/x7NLXOA0hKs0KomPd4f05jrx7Z5Ihq9pWMRPwYu/gmgOTlKE+RfEz2gSjrZBXFPd8qre/Q1AsZCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T12:51:10.142972Z","bundle_sha256":"29ff3af45d92877f531b317affde7ab6674fa938545cc5890627062134236dc9"}}