Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI.
Suzanna SiaAnton BelyyAmjad AlmahairiMadian KhabsaLuke ZettlemoyerLambert MathiasPublished in: AAAI (2023)
Keyphrases
- causal models
- logical language
- satisfiability problem
- logical implication
- propositional logic
- computational complexity
- phase transition
- generating explanations
- np complete
- satisfiability testing
- probabilistic logic
- logical representation
- refinement operators
- quantified boolean formulas
- logical operations
- logical properties
- automated reasoning
- description logics