DeepAI AI Chat
Log In Sign Up

Learning Abduction under Partial Observability

by   Brendan Juba, et al.

Juba recently proposed a formulation of learning abductive reasoning from examples, in which both the relative plausibility of various explanations, as well as which explanations are valid, are learned directly from data. The main shortcoming of this formulation of the task is that it assumes access to full-information (i.e., fully specified) examples; relatedly, it offers no role for declarative background knowledge, as such knowledge is rendered redundant in the abduction task by complete information. In this work, we extend the formulation to utilize such partially specified examples, along with declarative background knowledge about the missing data. We show that it is possible to use implicitly learned rules together with the explicitly given declarative knowledge to support hypotheses in the course of abduction. We observe that when a small explanation exists, it is possible to obtain a much-improved guarantee in the challenging exception-tolerant setting. Such small, human-understandable explanations are of particular interest for potential applications of the task.


page 1

page 2

page 3

page 4


Learning implicitly in reasoning in PAC-Semantics

We consider the problem of answering queries about formulas of propositi...

Semantic Reasoning from Model-Agnostic Explanations

With the wide adoption of black-box models, instance-based post hoc expl...

Diagnostics-Guided Explanation Generation

Explanations shed light on a machine learning model's rationales and can...

Adequate and fair explanations

Explaining sophisticated machine-learning based systems is an important ...

Prompting Contrastive Explanations for Commonsense Reasoning Tasks

Many commonsense reasoning NLP tasks involve choosing between one or mor...

Towards Solving the Multiple Extension Problem: Combining Defaults and Probabilities

The multiple extension problem arises frequently in diagnostic and defau...

ABox Abduction via Forgetting in ALC (Long Version)

Abductive reasoning generates explanatory hypotheses for new observation...