Explainable AI using expressive Boolean formulas.
Gili RosenbergJ. Kyle BrubakerMartin J. A. SchuetzGrant SaltonZhihuai ZhuElton Yechao ZhuSerdar KadiogluSima E. BorujeniHelmut G. KatzgraberPublished in: CoRR (2023)
Keyphrases
- boolean formula
- artificial intelligence
- expert systems
- practical problems
- unsatisfiable cores
- np complete
- sat solvers
- linear constraints
- knowledge representation
- knowledge based systems
- sat problem
- boolean variables
- machine learning
- constraint satisfaction
- membership queries
- constraint satisfaction problems
- special case
- sat instances
- lower bound