Alexey Ignatiev

Propositional Abduction with Implicit Hitting Sets

2016 · arXiv (Cornell University)

Logic-based abduction finds important applications in artificial intelligence and related areas. One application example is in finding explanations for observed phenomena. Propositional abduction is a restriction of abduction to the propositional domain, and complexity-wise is …

Delivering Inflated Explanations

2023 · arXiv (Cornell University)

In the quest for Explainable Artificial Intelligence (XAI) one of the questions that frequently arises given a decision made by an AI system is, ``why was the decision made in this way?'' Formal approaches to …