On Quantifying Literals in Boolean Logic and its Applications to Explainable AI.
Adnan DarwichePierre MarquisPublished in: J. Artif. Intell. Res. (2021)
Keyphrases
- boolean logic
- truth values
- artificial intelligence
- inference rules
- case based reasoning
- expert systems
- intelligent systems
- fixpoint
- knowledge representation
- multi valued
- ai systems
- machine learning
- knowledge based systems
- ai technologies
- lecture notes in artificial intelligence
- natural language
- hidden markov models
- special case
- database
- inductive logic programming
- relational databases
- image sequences
- ai methods