{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:EFJ7KI47CZ24D2RXECGB2SKP74","short_pith_number":"pith:EFJ7KI47","schema_version":"1.0","canonical_sha256":"2153f5239f1675c1ea37208c1d494fff32103c9fa2101110cf65ba5adaecc24e","source":{"kind":"arxiv","id":"2406.11873","version":1},"attestation_state":"computed","paper":{"title":"Logic-Based Explainability: Past, Present & Future","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Joao Marques-Silva","submitted_at":"2024-06-04T10:41:55Z","abstract_excerpt":"In recent years, the impact of machine learning (ML) and artificial intelligence (AI) in society has been absolutely remarkable. This impact is expected to continue in the foreseeable future. However,the adoption of AI/ML is also a cause of grave concern. The operation of the most advances AI/ML models is often beyond the grasp of human decision makers. As a result, decisions that impact humans may not be understood and may lack rigorous validation. Explainable AI (XAI) is concerned with providing human decision-makers with understandable explanations for the predictions made by ML models. As "},"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":"2406.11873","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-06-04T10:41:55Z","cross_cats_sorted":[],"title_canon_sha256":"792d65f548d6bee8e94a5518c2a1095b736910da09632256490ee31adcdd7149","abstract_canon_sha256":"7a1ec29bfa54e938e2879394fddbb865f514329c27d550899f700f94a7e4bf3e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:33:02.941050Z","signature_b64":"f/Zu4XZb9WbSDnL0L3AVTlnbTOzZShar0g5spX7/GMRoNUAK2oD1B8o86cp3BFNNE2I6jW/ha++RDI1lE5bCBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2153f5239f1675c1ea37208c1d494fff32103c9fa2101110cf65ba5adaecc24e","last_reissued_at":"2026-07-05T08:33:02.940630Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:33:02.940630Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Logic-Based Explainability: Past, Present & Future","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Joao Marques-Silva","submitted_at":"2024-06-04T10:41:55Z","abstract_excerpt":"In recent years, the impact of machine learning (ML) and artificial intelligence (AI) in society has been absolutely remarkable. This impact is expected to continue in the foreseeable future. However,the adoption of AI/ML is also a cause of grave concern. The operation of the most advances AI/ML models is often beyond the grasp of human decision makers. As a result, decisions that impact humans may not be understood and may lack rigorous validation. Explainable AI (XAI) is concerned with providing human decision-makers with understandable explanations for the predictions made by ML models. As "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.11873","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2406.11873/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":"2406.11873","created_at":"2026-07-05T08:33:02.940695+00:00"},{"alias_kind":"arxiv_version","alias_value":"2406.11873v1","created_at":"2026-07-05T08:33:02.940695+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.11873","created_at":"2026-07-05T08:33:02.940695+00:00"},{"alias_kind":"pith_short_12","alias_value":"EFJ7KI47CZ24","created_at":"2026-07-05T08:33:02.940695+00:00"},{"alias_kind":"pith_short_16","alias_value":"EFJ7KI47CZ24D2RX","created_at":"2026-07-05T08:33:02.940695+00:00"},{"alias_kind":"pith_short_8","alias_value":"EFJ7KI47","created_at":"2026-07-05T08:33:02.940695+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2505.21212","citing_title":"Interpretable DNFs","ref_index":20,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/EFJ7KI47CZ24D2RXECGB2SKP74","json":"https://pith.science/pith/EFJ7KI47CZ24D2RXECGB2SKP74.json","graph_json":"https://pith.science/api/pith-number/EFJ7KI47CZ24D2RXECGB2SKP74/graph.json","events_json":"https://pith.science/api/pith-number/EFJ7KI47CZ24D2RXECGB2SKP74/events.json","paper":"https://pith.science/paper/EFJ7KI47"},"agent_actions":{"view_html":"https://pith.science/pith/EFJ7KI47CZ24D2RXECGB2SKP74","download_json":"https://pith.science/pith/EFJ7KI47CZ24D2RXECGB2SKP74.json","view_paper":"https://pith.science/paper/EFJ7KI47","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2406.11873&json=true","fetch_graph":"https://pith.science/api/pith-number/EFJ7KI47CZ24D2RXECGB2SKP74/graph.json","fetch_events":"https://pith.science/api/pith-number/EFJ7KI47CZ24D2RXECGB2SKP74/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EFJ7KI47CZ24D2RXECGB2SKP74/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EFJ7KI47CZ24D2RXECGB2SKP74/action/storage_attestation","attest_author":"https://pith.science/pith/EFJ7KI47CZ24D2RXECGB2SKP74/action/author_attestation","sign_citation":"https://pith.science/pith/EFJ7KI47CZ24D2RXECGB2SKP74/action/citation_signature","submit_replication":"https://pith.science/pith/EFJ7KI47CZ24D2RXECGB2SKP74/action/replication_record"}},"created_at":"2026-07-05T08:33:02.940695+00:00","updated_at":"2026-07-05T08:33:02.940695+00:00"}