Corpus ID: 227013727

On the Relationship Between KR Approaches for Explainable Planning

@article{Vasileiou2020OnTR,
  title={On the Relationship Between KR Approaches for Explainable Planning},
  author={S. Vasileiou and W. Yeoh and Tran Cao Son},
  journal={ArXiv},
  year={2020},
  volume={abs/2011.09006}
}
In this paper, we build upon notions from \emph{knowledge representation and reasoning} (KR) to expand a preliminary logic-based framework that characterizes the model reconciliation problem for explainable planning. We also provide a detailed exposition on the relationship between similar KR techniques, such as abductive explanations and belief change, and their applicability to explainable planning. 

References

SHOWING 1-10 OF 27 REFERENCES
A Preliminary Logic-based Approach for Explanation Generation
  • 4
  • PDF
Propositional Knowledge Base Revision and Minimal Change
  • 785
PDDL-the planning domain definition language
  • 1,551
  • PDF
Plan Explanations as Model Reconciliation: Moving Beyond Explanation as Soliloquy
  • 156
  • PDF
A Knowledge-Level Account of Abduction
  • 205
  • PDF
Reasoning about Action Using a Possible Models Approach
  • 531
  • PDF
On the complexity of epistemic reasoning
  • Moshe Y. Vardi
  • Mathematics, Computer Science
  • [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science
  • 1989
  • 74
Encoding Plans in Propositional Logic
  • 338
  • PDF
Planning as Satisfiability
  • 1,080
  • PDF
...
1
2
3
...