{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:25XTGET3U6CTZWH3NMIF4TOI3N","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":"b9c40504ceedbb04c88ab1720207ecc4904cbbfdf3584cb8a755fea4b533ff17","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-07-11T14:40:15Z","title_canon_sha256":"b0ac60df4357f7541bfad92969ccd0f52cc7d27cdaf652a0a5c39ea636380957"},"schema_version":"1.0","source":{"id":"1207.4107","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.4107","created_at":"2026-05-18T03:50:47Z"},{"alias_kind":"arxiv_version","alias_value":"1207.4107v1","created_at":"2026-05-18T03:50:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.4107","created_at":"2026-05-18T03:50:47Z"},{"alias_kind":"pith_short_12","alias_value":"25XTGET3U6CT","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_16","alias_value":"25XTGET3U6CTZWH3","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_8","alias_value":"25XTGET3","created_at":"2026-05-18T12:26:50Z"}],"graph_snapshots":[{"event_id":"sha256:4b8f3cb08a07393dbcb7d7f49a2de0db659e57eb4de305c05f1c34298c304c1d","target":"graph","created_at":"2026-05-18T03:50:47Z","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":"We consider the problem of computing optimal generalised policies for relational Markov decision processes. We describe an approach combining some of the benefits of purely inductive techniques with those of symbolic dynamic programming methods. The latter reason about the optimal value function using first-order decision theoretic regression and formula rewriting, while the former, when provided with a suitable hypotheses language, are capable of generalising value functions or policies for small instances. Our idea is to use reasoning and in particular classical first-order regression to aut","authors_text":"Charles Gretton, Sylvie Thiebaux","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-07-11T14:40:15Z","title":"Exploiting First-Order Regression in Inductive Policy Selection"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.4107","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:6061e296f134c7d4dfe9bfc8dc0fc2bebbcbc273f2f542cfafa61136599cc63d","target":"record","created_at":"2026-05-18T03:50:47Z","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":"b9c40504ceedbb04c88ab1720207ecc4904cbbfdf3584cb8a755fea4b533ff17","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-07-11T14:40:15Z","title_canon_sha256":"b0ac60df4357f7541bfad92969ccd0f52cc7d27cdaf652a0a5c39ea636380957"},"schema_version":"1.0","source":{"id":"1207.4107","kind":"arxiv","version":1}},"canonical_sha256":"d76f33127ba7853cd8fb6b105e4dc8db7682a1a09a25b218e77cd6c022fd5224","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d76f33127ba7853cd8fb6b105e4dc8db7682a1a09a25b218e77cd6c022fd5224","first_computed_at":"2026-05-18T03:50:47.996536Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:50:47.996536Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pFGnLl1XEZLPmQ2d1jdEsrDBStHcnzHeK2OeNwaGd+zyZ7AJUiLDJUG1rgmzTytmNl0KaoCKF++YqDjV4xb7DA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:50:47.997123Z","signed_message":"canonical_sha256_bytes"},"source_id":"1207.4107","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6061e296f134c7d4dfe9bfc8dc0fc2bebbcbc273f2f542cfafa61136599cc63d","sha256:4b8f3cb08a07393dbcb7d7f49a2de0db659e57eb4de305c05f1c34298c304c1d"],"state_sha256":"8d6e1939ba0b3cb48e73bb0de4ff714583e35b1a58a512f43fdb8e420e143b16"}