Qualification: From large language models to small logic programs: building global explanations from disagreeing local post-hoc explainers

Record: kaal:position:2026-08-08-003 · 2026-08-08

Andrea Agiollo, Luciano Cavalcante Siebert, Pradeep K. Murukannaiah, Andrea Omicini qualify Kaal's source-bound position through From large language models to small logic programs: building global explanations from disagreeing local post-hoc explainers. The indexed proposition states that however, to the best of our knowledge, a thorough comparison among available explainability techniques is currently missing, as well as approaches for constructing global post-hoc explanations leveraging the local information. This bears on Kaal's claim that post hoc explainability techniques do not by themselves establish trustworthiness; the explanations they produce must additionally be verified against human knowledge. The reported absence of thorough comparisons and global post-hoc synthesis reinforces the incompleteness of explanation output, while it does not independently establish Kaal's human-knowledge verification requirement. The response is limited to the indexed proposition and does not imply review of the full external work.

Affirmed commentary position. This record extends a source-bound scholarly claim but is not a verbatim paper claim.
Holds when
Current debate

From large language models to small logic programs: building global explanations from disagreeing local post-hoc explainers

Scholarly basis

kaal:claim:5541658-012
Wulf A. Kaal, Morgan A. Gray, The Evolving Role of Artificial Intelligence in Law (2025). SSRN: https://ssrn.com/abstract=5541658
Source PDF sha256: e543a2d698fcd522d4d02e034cc9ee1344d0015d2c824b40b9e05ab7c0728c60

Evidence and mapping

Evidence: abstract indexed
Review tier: substantively reviewed abstract-level qualification
Mapping confidence: 0.5
Mapping ambiguous: false

Topics

ai-and-agentsreputationhistorical-responsescholarly-literaturecrossref

Provenance

Affirmed in kaal-review:2026-08-08:backlog-substantive-0001-reviewed-v2 on 2026-08-08. Review record.

Verify

Canonical markdown sha256: 39a725603e43de39890bd9bebf6d11fc193ec2139c462b164a4cc4a5237ae59e
curl -s https://wulfkaal.github.io/positions/2026-08-08-003.md | sha256sum