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.
翻译:在本文中,我们借鉴了从\emph{知识表达和推理} (KR) 中形成的概念,以扩大一个初步的逻辑框架,将模型和解问题作为可解释规划的典型特征。 我们还详细介绍了类似KR技术之间的关系,如绑架性解释和信仰改变,以及这些技术对可解释规划的适用性。