Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI.
Suzanna SiaAnton BelyyAmjad AlmahairiMadian KhabsaLuke ZettlemoyerLambert MathiasPublished in: CoRR (2022)
Keyphrases
- causal models
- logical language
- logical implication
- satisfiability problem
- computational complexity
- np complete
- functional dependencies
- logical reasoning
- neural network
- automated reasoning
- terminological reasoning
- logical operations
- decision procedures
- probabilistic logic
- propositional logic
- phase transition
- stochastic local search
- logical properties
- description logics
- information systems
- generating explanations
- artificial intelligence