From large language models to small logic programs: building global explanations from disagreeing local post-hoc explainers.
Andrea AgiolloLuciano Cavalcante SiebertPradeep K. MurukannaiahAndrea OmiciniPublished in: Auton. Agents Multi Agent Syst. (2024)
Keyphrases
- logic programs
- language model
- post hoc
- logic programming
- language modeling
- fixpoint
- document retrieval
- answer sets
- probabilistic model
- language modelling
- n gram
- stable models
- answer set programming
- information retrieval
- background knowledge
- context sensitive
- statistical language models
- test collection
- retrieval model
- prolog programs
- query expansion
- strong equivalence
- term rewriting systems
- partial deduction
- computational properties
- document ranking
- smoothing methods
- inductive logic programming
- query terms
- logic program updates
- stable model semantics
- loop formulas
- semantics of logic programs
- functional programs
- relevance model