Journal of Artificial Intelligence Research

Existing algorithms for explaining the output of image classifiers use different definitions of explanations and a variety of techniques to find them. However, none of the existing tools use a principled approach based on formal definitions of cause and explanation.

In this paper we present a novel black-box approach to computing explanations grounded in the theory of ...

We study multivariate decision trees (MDTs), in particular, classes of MDTs determined by the language of relations that can be used to split feature space. An abductive explanation (AXp) of the classification of a particular instance, viewed as a set of feature-value assignments, is a minimal subset of the instance which is sufficient to lead to the same decision. We investi...

Revising what an agent knows in response to new information is a central problem in formal epistemology. In doxastic logics such as KD45, belief revision proceeds by reordering plausibility: the agent simply re-ranks which worlds it considers most credible. This strategy fails for S5 knowledge. Because knowledge is factive (Kφ → φ), an agent cannot come to know phi m...