On Exploiting Hitting Sets for Model Reconciliation

In human-aware planning, a planning agent may need to provide an explanation to a human user on why its plan is optimal. A popular approach to do this is called model reconciliation, where the agent tries to reconcile the differences in its model and the human's model such that the plan is also optimal in the human's model. In this paper, we present a logic-based framework for model reconciliation that extends beyond the realm of planning. More specifically, given a knowledge base KB_1 entailing a formula φ and a second knowledge base KB_2 not entailing it, model reconciliation seeks an explanation, in the form of a cardinality-minimal subset of KB_1, whose integration into KB_2 makes the entailment possible. Our approach, based on ideas originating in the context of analysis of inconsistencies, exploits the existing hitting set duality between minimal correction sets (MCSes) and minimal unsatisfiable sets (MUSes) in order to identify an appropriate explanation. However, differently from those works targeting inconsistent formulas, which assume a single knowledge base, MCSes and MUSes are computed over two distinct knowledge bases. We conclude our paper with an empirical evaluation of the newly introduced approach on planning instances, where we show how it outperforms an existing state-of-the-art solver, and generic non-planning instances from recent SAT competitions, for which no other solver exists.


page 1

page 2

page 3

page 4


FarsBase-KBP: A Knowledge Base Population System for the Persian Knowledge Graph

While most of the knowledge bases already support the English language, ...

Planning with Explanatory Actions: A Joint Approach to Plan Explicability and Explanations in Human-Aware Planning

In this work, we formulate the process of generating explanations as mod...

An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets

Constraint sets can become inconsistent in different contexts. For examp...

Balancing Explicability and Explanation in Human-Aware Planning

Human aware planning requires an agent to be aware of the intentions, ca...

Penalty logic and its Link with Dempster-Shafer Theory

Penalty logic, introduced by Pinkas, associates to each formula of a kno...

CoreDiag: Eliminating Redundancy in Constraint Sets

Constraint-based environments such as configuration systems, recommender...

On Model Reconciliation: How to Reconcile When Robot Does not Know Human's Model?

The Model Reconciliation Problem (MRP) was introduced to address issues ...

Please sign up or login with your details

Forgot password? Click here to reset