{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:KTP2O6YYFP5L74CTTTGV53MSAG","short_pith_number":"pith:KTP2O6YY","schema_version":"1.0","canonical_sha256":"54dfa77b182bfabff0539ccd5eed92018414e8868b10321c14c985f6a3afb2e7","source":{"kind":"arxiv","id":"1405.2642","version":2},"attestation_state":"computed","paper":{"title":"An Abductive Framework for Horn Knowledge Base Dynamics","license":"http://creativecommons.org/licenses/by/3.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Radhakrishnan Delhibabu","submitted_at":"2014-05-12T06:54:12Z","abstract_excerpt":"The dynamics of belief and knowledge is one of the major components of any autonomous system that should be able to incorporate new pieces of information. We introduced the Horn knowledge base dynamics to deal with two important points: first, to handle belief states that need not be deductively closed; and the second point is the ability to declare certain parts of the belief as immutable. In this paper, we address another, radically new approach to this problem. This approach is very close to the Hansson's dyadic representation of belief. Here, we consider the immutable part as defining a ne"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1405.2642","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.LO","submitted_at":"2014-05-12T06:54:12Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"ec7bcbac96a4e0fd86854f87cc4d87048e7593165203a52e8a53e34f8902e191","abstract_canon_sha256":"40bca5ab6394dc057dc76c5f41582e027f9bdb53436733f11babc0d0daabccbe"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:51:16.500139Z","signature_b64":"YKcJ6WdZ8UoYVAbInkMqJEF51O64DOrOm1sT5bOptgL4rzIjTUVN/cmZtYJ5SgRI4A74GR81boEUAw7n4ZBqAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"54dfa77b182bfabff0539ccd5eed92018414e8868b10321c14c985f6a3afb2e7","last_reissued_at":"2026-05-18T02:51:16.499557Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:51:16.499557Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An Abductive Framework for Horn Knowledge Base Dynamics","license":"http://creativecommons.org/licenses/by/3.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Radhakrishnan Delhibabu","submitted_at":"2014-05-12T06:54:12Z","abstract_excerpt":"The dynamics of belief and knowledge is one of the major components of any autonomous system that should be able to incorporate new pieces of information. We introduced the Horn knowledge base dynamics to deal with two important points: first, to handle belief states that need not be deductively closed; and the second point is the ability to declare certain parts of the belief as immutable. In this paper, we address another, radically new approach to this problem. This approach is very close to the Hansson's dyadic representation of belief. Here, we consider the immutable part as defining a ne"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.2642","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1405.2642","created_at":"2026-05-18T02:51:16.499643+00:00"},{"alias_kind":"arxiv_version","alias_value":"1405.2642v2","created_at":"2026-05-18T02:51:16.499643+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.2642","created_at":"2026-05-18T02:51:16.499643+00:00"},{"alias_kind":"pith_short_12","alias_value":"KTP2O6YYFP5L","created_at":"2026-05-18T12:28:35.611951+00:00"},{"alias_kind":"pith_short_16","alias_value":"KTP2O6YYFP5L74CT","created_at":"2026-05-18T12:28:35.611951+00:00"},{"alias_kind":"pith_short_8","alias_value":"KTP2O6YY","created_at":"2026-05-18T12:28:35.611951+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/KTP2O6YYFP5L74CTTTGV53MSAG","json":"https://pith.science/pith/KTP2O6YYFP5L74CTTTGV53MSAG.json","graph_json":"https://pith.science/api/pith-number/KTP2O6YYFP5L74CTTTGV53MSAG/graph.json","events_json":"https://pith.science/api/pith-number/KTP2O6YYFP5L74CTTTGV53MSAG/events.json","paper":"https://pith.science/paper/KTP2O6YY"},"agent_actions":{"view_html":"https://pith.science/pith/KTP2O6YYFP5L74CTTTGV53MSAG","download_json":"https://pith.science/pith/KTP2O6YYFP5L74CTTTGV53MSAG.json","view_paper":"https://pith.science/paper/KTP2O6YY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1405.2642&json=true","fetch_graph":"https://pith.science/api/pith-number/KTP2O6YYFP5L74CTTTGV53MSAG/graph.json","fetch_events":"https://pith.science/api/pith-number/KTP2O6YYFP5L74CTTTGV53MSAG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KTP2O6YYFP5L74CTTTGV53MSAG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KTP2O6YYFP5L74CTTTGV53MSAG/action/storage_attestation","attest_author":"https://pith.science/pith/KTP2O6YYFP5L74CTTTGV53MSAG/action/author_attestation","sign_citation":"https://pith.science/pith/KTP2O6YYFP5L74CTTTGV53MSAG/action/citation_signature","submit_replication":"https://pith.science/pith/KTP2O6YYFP5L74CTTTGV53MSAG/action/replication_record"}},"created_at":"2026-05-18T02:51:16.499643+00:00","updated_at":"2026-05-18T02:51:16.499643+00:00"}