{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:2CETZSTOZVHOYFWOTW2Z7QEZ6P","short_pith_number":"pith:2CETZSTO","schema_version":"1.0","canonical_sha256":"d0893cca6ecd4eec16ce9db59fc099f3d3922320ad3b5ec9fe21e2aa21a1bfac","source":{"kind":"arxiv","id":"2504.01733","version":5},"attestation_state":"computed","paper":{"title":"Epistemic Skills: Reasoning about Knowledge and Oblivion","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Weighted models with an epistemic skills metric capture knowledge acquisition as upskilling and oblivion as downskilling while incorporating group knowledge.","cross_cats":["cs.CC","cs.LO"],"primary_cat":"cs.AI","authors_text":"Xiaolong Liang, Y\\`i N. W\\'ang","submitted_at":"2025-04-02T13:41:42Z","abstract_excerpt":"This paper presents a class of epistemic logics that captures the dynamics of acquiring knowledge and descending into oblivion, while incorporating concepts of group knowledge. The approach is grounded in a system of weighted models, introducing an ``epistemic skills'' metric to represent the epistemic capacities tied to knowledge updates. Within this framework, knowledge acquisition is modeled as a process of upskilling, whereas oblivion is represented as a consequence of downskilling. The framework further enables exploration of ``knowability'' and ``forgettability,'' defined as the potentia"},"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":"2504.01733","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-02T13:41:42Z","cross_cats_sorted":["cs.CC","cs.LO"],"title_canon_sha256":"2ae38810a3a0066c2f000b4847a9274ef8dac7a3b46b69570b7e797e4058850b","abstract_canon_sha256":"50433bf05f6dc6a7af57c5bef4d54772e1c01525b122c9e71ee1c6ad674337f6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-25T02:01:03.257260Z","signature_b64":"QK7jPcPeRHF3VZei3xrg4lQV0aBhLIXsS6YyLhzZsKp95IfCgo/rGEoZUearK9vGA9nMCWqqn1UZSBNeZMKLBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d0893cca6ecd4eec16ce9db59fc099f3d3922320ad3b5ec9fe21e2aa21a1bfac","last_reissued_at":"2026-05-25T02:01:03.256719Z","signature_status":"signed_v1","first_computed_at":"2026-05-25T02:01:03.256719Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Epistemic Skills: Reasoning about Knowledge and Oblivion","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Weighted models with an epistemic skills metric capture knowledge acquisition as upskilling and oblivion as downskilling while incorporating group knowledge.","cross_cats":["cs.CC","cs.LO"],"primary_cat":"cs.AI","authors_text":"Xiaolong Liang, Y\\`i N. W\\'ang","submitted_at":"2025-04-02T13:41:42Z","abstract_excerpt":"This paper presents a class of epistemic logics that captures the dynamics of acquiring knowledge and descending into oblivion, while incorporating concepts of group knowledge. The approach is grounded in a system of weighted models, introducing an ``epistemic skills'' metric to represent the epistemic capacities tied to knowledge updates. Within this framework, knowledge acquisition is modeled as a process of upskilling, whereas oblivion is represented as a consequence of downskilling. The framework further enables exploration of ``knowability'' and ``forgettability,'' defined as the potentia"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"The framework captures the dynamics of acquiring knowledge and descending into oblivion while incorporating group knowledge, enables exploration of knowability and forgettability, and supports analysis of epistemic de re and de dicto expressions, with examined computational complexity for model checking and satisfiability.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That weighted models with an epistemic skills metric can faithfully represent the epistemic capacities tied to knowledge updates and that upskilling/downskilling operations adequately model real knowledge acquisition and oblivion processes (abstract, section on framework introduction).","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Develops epistemic logics with weighted models where knowledge acquisition is modeled as upskilling and oblivion as downskilling, including analysis of knowability, forgettability, and computational complexity of model checking and satisfiability.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Weighted models with an epistemic skills metric capture knowledge acquisition as upskilling and oblivion as downskilling while incorporating group knowledge.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"4d3f1e58b75c51fc282066ffb982b92ef0198af2a0bfb53c0f712b2419eaade7"},"source":{"id":"2504.01733","kind":"arxiv","version":5},"verdict":{"id":"03345ab3-4326-4912-94b6-6528d811db35","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-22T21:49:37.931723Z","strongest_claim":"The framework captures the dynamics of acquiring knowledge and descending into oblivion while incorporating group knowledge, enables exploration of knowability and forgettability, and supports analysis of epistemic de re and de dicto expressions, with examined computational complexity for model checking and satisfiability.","one_line_summary":"Develops epistemic logics with weighted models where knowledge acquisition is modeled as upskilling and oblivion as downskilling, including analysis of knowability, forgettability, and computational complexity of model checking and satisfiability.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That weighted models with an epistemic skills metric can faithfully represent the epistemic capacities tied to knowledge updates and that upskilling/downskilling operations adequately model real knowledge acquisition and oblivion processes (abstract, section on framework introduction).","pith_extraction_headline":"Weighted models with an epistemic skills metric capture knowledge acquisition as upskilling and oblivion as downskilling while incorporating group knowledge."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2504.01733/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2504.01733","created_at":"2026-05-25T02:01:03.256781+00:00"},{"alias_kind":"arxiv_version","alias_value":"2504.01733v5","created_at":"2026-05-25T02:01:03.256781+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.01733","created_at":"2026-05-25T02:01:03.256781+00:00"},{"alias_kind":"pith_short_12","alias_value":"2CETZSTOZVHO","created_at":"2026-05-25T02:01:03.256781+00:00"},{"alias_kind":"pith_short_16","alias_value":"2CETZSTOZVHOYFWO","created_at":"2026-05-25T02:01:03.256781+00:00"},{"alias_kind":"pith_short_8","alias_value":"2CETZSTO","created_at":"2026-05-25T02:01:03.256781+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/2CETZSTOZVHOYFWOTW2Z7QEZ6P","json":"https://pith.science/pith/2CETZSTOZVHOYFWOTW2Z7QEZ6P.json","graph_json":"https://pith.science/api/pith-number/2CETZSTOZVHOYFWOTW2Z7QEZ6P/graph.json","events_json":"https://pith.science/api/pith-number/2CETZSTOZVHOYFWOTW2Z7QEZ6P/events.json","paper":"https://pith.science/paper/2CETZSTO"},"agent_actions":{"view_html":"https://pith.science/pith/2CETZSTOZVHOYFWOTW2Z7QEZ6P","download_json":"https://pith.science/pith/2CETZSTOZVHOYFWOTW2Z7QEZ6P.json","view_paper":"https://pith.science/paper/2CETZSTO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2504.01733&json=true","fetch_graph":"https://pith.science/api/pith-number/2CETZSTOZVHOYFWOTW2Z7QEZ6P/graph.json","fetch_events":"https://pith.science/api/pith-number/2CETZSTOZVHOYFWOTW2Z7QEZ6P/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2CETZSTOZVHOYFWOTW2Z7QEZ6P/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2CETZSTOZVHOYFWOTW2Z7QEZ6P/action/storage_attestation","attest_author":"https://pith.science/pith/2CETZSTOZVHOYFWOTW2Z7QEZ6P/action/author_attestation","sign_citation":"https://pith.science/pith/2CETZSTOZVHOYFWOTW2Z7QEZ6P/action/citation_signature","submit_replication":"https://pith.science/pith/2CETZSTOZVHOYFWOTW2Z7QEZ6P/action/replication_record"}},"created_at":"2026-05-25T02:01:03.256781+00:00","updated_at":"2026-05-25T02:01:03.256781+00:00"}