{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:MNMGWHLCRDIXHN7FXGHGEEKVL3","short_pith_number":"pith:MNMGWHLC","canonical_record":{"source":{"id":"1507.04285","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2015-07-15T16:32:03Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"c3cd7391e9fa2749a8dd17c057035214e7bc96041aac0ef343994b07f1ff8290","abstract_canon_sha256":"07ad3fae07953ffbb88f9ac516149eb0176c52e86f74580ac74352e55602e20f"},"schema_version":"1.0"},"canonical_sha256":"63586b1d6288d173b7e5b98e6211555ef9ab2c56c75a96386e84d1342ab09d24","source":{"kind":"arxiv","id":"1507.04285","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.04285","created_at":"2026-05-18T01:36:48Z"},{"alias_kind":"arxiv_version","alias_value":"1507.04285v1","created_at":"2026-05-18T01:36:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.04285","created_at":"2026-05-18T01:36:48Z"},{"alias_kind":"pith_short_12","alias_value":"MNMGWHLCRDIX","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"MNMGWHLCRDIXHN7F","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"MNMGWHLC","created_at":"2026-05-18T12:29:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:MNMGWHLCRDIXHN7FXGHGEEKVL3","target":"record","payload":{"canonical_record":{"source":{"id":"1507.04285","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2015-07-15T16:32:03Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"c3cd7391e9fa2749a8dd17c057035214e7bc96041aac0ef343994b07f1ff8290","abstract_canon_sha256":"07ad3fae07953ffbb88f9ac516149eb0176c52e86f74580ac74352e55602e20f"},"schema_version":"1.0"},"canonical_sha256":"63586b1d6288d173b7e5b98e6211555ef9ab2c56c75a96386e84d1342ab09d24","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:36:48.744800Z","signature_b64":"SArN09UuY+f8GZZGhq8TS/o6h0BX20LlWg9Efg6uJRBPTG5d8mozTvwHdZLkFfWfDe+mQlFHMWod44jeqtflDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"63586b1d6288d173b7e5b98e6211555ef9ab2c56c75a96386e84d1342ab09d24","last_reissued_at":"2026-05-18T01:36:48.744217Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:36:48.744217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1507.04285","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:36:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sPnSZto05qcf8qxfSwEvgSUzyTNqs0iE9HA74wnKxJVUiw7py27PDCLO6W8a7a46JzE40xBTUEt+XT5XE/wWCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T12:20:17.453877Z"},"content_sha256":"8c203eacd1c3ccd7eec159980b8408b2985afbf57502941036d2ec4cc027e1b8","schema_version":"1.0","event_id":"sha256:8c203eacd1c3ccd7eec159980b8408b2985afbf57502941036d2ec4cc027e1b8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:MNMGWHLCRDIXHN7FXGHGEEKVL3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning Action Models: Qualitative Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LO"],"primary_cat":"cs.LG","authors_text":"Nina Gierasimczuk, Thomas Bolander","submitted_at":"2015-07-15T16:32:03Z","abstract_excerpt":"In dynamic epistemic logic, actions are described using action models. In this paper we introduce a framework for studying learnability of action models from observations. We present first results concerning propositional action models. First we check two basic learnability criteria: finite identifiability (conclusively inferring the appropriate action model in finite time) and identifiability in the limit (inconclusive convergence to the right action model). We show that deterministic actions are finitely identifiable, while non-deterministic actions require more learning power-they are ident"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.04285","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:36:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bp0RFP+vp4HjGdzfFgsOystY8sHXeHulULXaQocDo9jZdPUpLavJt3J/q9+0GhfVc1Y58SLdv6dJqPAE9rr2Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T12:20:17.454210Z"},"content_sha256":"9df06fdb6b15b76d875fc630fc15078e49158380ce82ac43d044da05af864c33","schema_version":"1.0","event_id":"sha256:9df06fdb6b15b76d875fc630fc15078e49158380ce82ac43d044da05af864c33"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MNMGWHLCRDIXHN7FXGHGEEKVL3/bundle.json","state_url":"https://pith.science/pith/MNMGWHLCRDIXHN7FXGHGEEKVL3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MNMGWHLCRDIXHN7FXGHGEEKVL3/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-06-02T12:20:17Z","links":{"resolver":"https://pith.science/pith/MNMGWHLCRDIXHN7FXGHGEEKVL3","bundle":"https://pith.science/pith/MNMGWHLCRDIXHN7FXGHGEEKVL3/bundle.json","state":"https://pith.science/pith/MNMGWHLCRDIXHN7FXGHGEEKVL3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MNMGWHLCRDIXHN7FXGHGEEKVL3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:MNMGWHLCRDIXHN7FXGHGEEKVL3","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":"07ad3fae07953ffbb88f9ac516149eb0176c52e86f74580ac74352e55602e20f","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2015-07-15T16:32:03Z","title_canon_sha256":"c3cd7391e9fa2749a8dd17c057035214e7bc96041aac0ef343994b07f1ff8290"},"schema_version":"1.0","source":{"id":"1507.04285","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.04285","created_at":"2026-05-18T01:36:48Z"},{"alias_kind":"arxiv_version","alias_value":"1507.04285v1","created_at":"2026-05-18T01:36:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.04285","created_at":"2026-05-18T01:36:48Z"},{"alias_kind":"pith_short_12","alias_value":"MNMGWHLCRDIX","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"MNMGWHLCRDIXHN7F","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"MNMGWHLC","created_at":"2026-05-18T12:29:32Z"}],"graph_snapshots":[{"event_id":"sha256:9df06fdb6b15b76d875fc630fc15078e49158380ce82ac43d044da05af864c33","target":"graph","created_at":"2026-05-18T01:36:48Z","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":"In dynamic epistemic logic, actions are described using action models. In this paper we introduce a framework for studying learnability of action models from observations. We present first results concerning propositional action models. First we check two basic learnability criteria: finite identifiability (conclusively inferring the appropriate action model in finite time) and identifiability in the limit (inconclusive convergence to the right action model). We show that deterministic actions are finitely identifiable, while non-deterministic actions require more learning power-they are ident","authors_text":"Nina Gierasimczuk, Thomas Bolander","cross_cats":["cs.AI","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2015-07-15T16:32:03Z","title":"Learning Action Models: Qualitative Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.04285","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:8c203eacd1c3ccd7eec159980b8408b2985afbf57502941036d2ec4cc027e1b8","target":"record","created_at":"2026-05-18T01:36:48Z","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":"07ad3fae07953ffbb88f9ac516149eb0176c52e86f74580ac74352e55602e20f","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2015-07-15T16:32:03Z","title_canon_sha256":"c3cd7391e9fa2749a8dd17c057035214e7bc96041aac0ef343994b07f1ff8290"},"schema_version":"1.0","source":{"id":"1507.04285","kind":"arxiv","version":1}},"canonical_sha256":"63586b1d6288d173b7e5b98e6211555ef9ab2c56c75a96386e84d1342ab09d24","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"63586b1d6288d173b7e5b98e6211555ef9ab2c56c75a96386e84d1342ab09d24","first_computed_at":"2026-05-18T01:36:48.744217Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:36:48.744217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SArN09UuY+f8GZZGhq8TS/o6h0BX20LlWg9Efg6uJRBPTG5d8mozTvwHdZLkFfWfDe+mQlFHMWod44jeqtflDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:36:48.744800Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.04285","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8c203eacd1c3ccd7eec159980b8408b2985afbf57502941036d2ec4cc027e1b8","sha256:9df06fdb6b15b76d875fc630fc15078e49158380ce82ac43d044da05af864c33"],"state_sha256":"5b02331d55bca0469db29235efd0307dec8ee0f81467abf4fb35677e5da326f0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0dQSOtXsAwDL7Uf67aY5iTsnqzwg4MeQgsv1r4i4LVVkPfdcjIHNHaFHloX81lXmTqeVWYw3TzoqT/dMwXP6DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T12:20:17.456090Z","bundle_sha256":"7667e3e7e8f39a6688a5bb31346eb730abded13df39b5a618abc5fc381820db8"}}