{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:VNV4X3NH44SQ5QFXIRXNVTJ2L5","short_pith_number":"pith:VNV4X3NH","canonical_record":{"source":{"id":"1707.02693","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-10T04:26:35Z","cross_cats_sorted":[],"title_canon_sha256":"b7d5d92e03649013f3f686179a4dc86fd0ea7b2e7d10960153cbf69cd5a2cbcb","abstract_canon_sha256":"8d716b43cad77b30125fe5e6a133f7441983133d79e10128c6aaf18064bb5876"},"schema_version":"1.0"},"canonical_sha256":"ab6bcbeda7e7250ec0b7446edacd3a5f5e0e8b7f52fbe29544132452aef5d937","source":{"kind":"arxiv","id":"1707.02693","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.02693","created_at":"2026-05-18T00:40:36Z"},{"alias_kind":"arxiv_version","alias_value":"1707.02693v1","created_at":"2026-05-18T00:40:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.02693","created_at":"2026-05-18T00:40:36Z"},{"alias_kind":"pith_short_12","alias_value":"VNV4X3NH44SQ","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"VNV4X3NH44SQ5QFX","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"VNV4X3NH","created_at":"2026-05-18T12:31:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:VNV4X3NH44SQ5QFXIRXNVTJ2L5","target":"record","payload":{"canonical_record":{"source":{"id":"1707.02693","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-10T04:26:35Z","cross_cats_sorted":[],"title_canon_sha256":"b7d5d92e03649013f3f686179a4dc86fd0ea7b2e7d10960153cbf69cd5a2cbcb","abstract_canon_sha256":"8d716b43cad77b30125fe5e6a133f7441983133d79e10128c6aaf18064bb5876"},"schema_version":"1.0"},"canonical_sha256":"ab6bcbeda7e7250ec0b7446edacd3a5f5e0e8b7f52fbe29544132452aef5d937","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:36.114294Z","signature_b64":"u78Q7XAtR8MSZeKA8vIfji3mqoIVlQGWto7eAHCl6m7nihmwDC0MKXidHSJoLHfH2MPOOpBnzmp+giehoRvkAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ab6bcbeda7e7250ec0b7446edacd3a5f5e0e8b7f52fbe29544132452aef5d937","last_reissued_at":"2026-05-18T00:40:36.113613Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:36.113613Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.02693","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-18T00:40:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V9fUyJkB8n8qJViq4lGXFkV3IXXrmEgMFgsjFHkDClXzF3N5B1ZbJYGOO3wBrryPEIgKZSsOEoMYy5tnQtB9DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T16:38:58.382397Z"},"content_sha256":"06fac37dd7abd41feb320a0e1f751246c6f2453734052fab133203543ad67f44","schema_version":"1.0","event_id":"sha256:06fac37dd7abd41feb320a0e1f751246c6f2453734052fab133203543ad67f44"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:VNV4X3NH44SQ5QFXIRXNVTJ2L5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A New Algorithm to Automate Inductive Learning of Default Theories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Elmer Salazar, Farhad Shakerin, Gopal Gupta","submitted_at":"2017-07-10T04:26:35Z","abstract_excerpt":"In inductive learning of a broad concept, an algorithm should be able to distinguish concept examples from exceptions and noisy data. An approach through recursively finding patterns in exceptions turns out to correspond to the problem of learning default theories. Default logic is what humans employ in common-sense reasoning. Therefore, learned default theories are better understood by humans. In this paper, we present new algorithms to learn default theories in the form of non-monotonic logic programs. Experiments reported in this paper show that our algorithms are a significant improvement "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.02693","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-18T00:40:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U9qBVKhmGCO6wyRhAe99zzoby2g96YItWGbC73TgkNut0CKGvE/oSk35dX7W+9uJ5XkvQeGjtBqUJrZC/dvnBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T16:38:58.382750Z"},"content_sha256":"519424497023a2c49130e65fe78b18a83c12bb4dac9a9b1a9b2cf3771dcb8044","schema_version":"1.0","event_id":"sha256:519424497023a2c49130e65fe78b18a83c12bb4dac9a9b1a9b2cf3771dcb8044"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VNV4X3NH44SQ5QFXIRXNVTJ2L5/bundle.json","state_url":"https://pith.science/pith/VNV4X3NH44SQ5QFXIRXNVTJ2L5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VNV4X3NH44SQ5QFXIRXNVTJ2L5/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-05-28T16:38:58Z","links":{"resolver":"https://pith.science/pith/VNV4X3NH44SQ5QFXIRXNVTJ2L5","bundle":"https://pith.science/pith/VNV4X3NH44SQ5QFXIRXNVTJ2L5/bundle.json","state":"https://pith.science/pith/VNV4X3NH44SQ5QFXIRXNVTJ2L5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VNV4X3NH44SQ5QFXIRXNVTJ2L5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:VNV4X3NH44SQ5QFXIRXNVTJ2L5","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":"8d716b43cad77b30125fe5e6a133f7441983133d79e10128c6aaf18064bb5876","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-10T04:26:35Z","title_canon_sha256":"b7d5d92e03649013f3f686179a4dc86fd0ea7b2e7d10960153cbf69cd5a2cbcb"},"schema_version":"1.0","source":{"id":"1707.02693","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.02693","created_at":"2026-05-18T00:40:36Z"},{"alias_kind":"arxiv_version","alias_value":"1707.02693v1","created_at":"2026-05-18T00:40:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.02693","created_at":"2026-05-18T00:40:36Z"},{"alias_kind":"pith_short_12","alias_value":"VNV4X3NH44SQ","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"VNV4X3NH44SQ5QFX","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"VNV4X3NH","created_at":"2026-05-18T12:31:49Z"}],"graph_snapshots":[{"event_id":"sha256:519424497023a2c49130e65fe78b18a83c12bb4dac9a9b1a9b2cf3771dcb8044","target":"graph","created_at":"2026-05-18T00:40:36Z","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 inductive learning of a broad concept, an algorithm should be able to distinguish concept examples from exceptions and noisy data. An approach through recursively finding patterns in exceptions turns out to correspond to the problem of learning default theories. Default logic is what humans employ in common-sense reasoning. Therefore, learned default theories are better understood by humans. In this paper, we present new algorithms to learn default theories in the form of non-monotonic logic programs. Experiments reported in this paper show that our algorithms are a significant improvement ","authors_text":"Elmer Salazar, Farhad Shakerin, Gopal Gupta","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-10T04:26:35Z","title":"A New Algorithm to Automate Inductive Learning of Default Theories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.02693","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:06fac37dd7abd41feb320a0e1f751246c6f2453734052fab133203543ad67f44","target":"record","created_at":"2026-05-18T00:40:36Z","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":"8d716b43cad77b30125fe5e6a133f7441983133d79e10128c6aaf18064bb5876","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-07-10T04:26:35Z","title_canon_sha256":"b7d5d92e03649013f3f686179a4dc86fd0ea7b2e7d10960153cbf69cd5a2cbcb"},"schema_version":"1.0","source":{"id":"1707.02693","kind":"arxiv","version":1}},"canonical_sha256":"ab6bcbeda7e7250ec0b7446edacd3a5f5e0e8b7f52fbe29544132452aef5d937","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ab6bcbeda7e7250ec0b7446edacd3a5f5e0e8b7f52fbe29544132452aef5d937","first_computed_at":"2026-05-18T00:40:36.113613Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:40:36.113613Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"u78Q7XAtR8MSZeKA8vIfji3mqoIVlQGWto7eAHCl6m7nihmwDC0MKXidHSJoLHfH2MPOOpBnzmp+giehoRvkAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:40:36.114294Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.02693","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:06fac37dd7abd41feb320a0e1f751246c6f2453734052fab133203543ad67f44","sha256:519424497023a2c49130e65fe78b18a83c12bb4dac9a9b1a9b2cf3771dcb8044"],"state_sha256":"90c766acb8ce5f0b4f56eef043a03a56f2bdecda8a9a7849a6e63e69f3358666"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9SCejwF73j5CgYKK5uHBMDUErWqom+UnLIrwizbk+x+peulQ0cGTATUN1eEm9RaZmT4ZLbUaPK7At37kRDQIAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T16:38:58.384802Z","bundle_sha256":"8db0b34ceab0c28159e674e87d07bf227cde06868f750a9c11565a263403c3ac"}}