Corpus ID: 229297869

On Exploiting Hitting Sets for Model Reconciliation

@article{Vasileiou2020OnEH,
  title={On Exploiting Hitting Sets for Model Reconciliation},
  author={S. Vasileiou and A. Previti and W. Yeoh},
  journal={ArXiv},
  year={2020},
  volume={abs/2012.09274}
}
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… Expand

Tables from this paper

References

SHOWING 1-10 OF 33 REFERENCES
A Preliminary Logic-based Approach for Explanation Generation
  • 4
  • PDF
Balancing Explicability and Explanation in Human-Aware Planning
  • 28
  • PDF
Plan Explanations as Model Reconciliation: Moving Beyond Explanation as Soliloquy
  • 156
  • Highly Influential
  • PDF
Plan explicability and predictability for robot task planning
  • 97
  • PDF
Encoding Plans in Propositional Logic
  • 338
  • PDF
A Classification of Plan Modification Strategies Based on Coverage and Information Requirements
  • 20
  • PDF
Smallest MUS Extraction with Minimal Hitting Set Dualization
  • 40
  • PDF
Planning as Satisfiability
  • 1,080
  • PDF
Partial MUS Enumeration
  • 37
A Theory of Diagnosis from First Principles
  • R. Reiter
  • Mathematics, Computer Science
  • Artif. Intell.
  • 1987
  • 3,125
  • PDF
...
1
2
3
4
...