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