人工智能工具的出现也带来了产生人类可理解解释的需求。在大多数方法中，系统被视为黑盒，难以生成合适的解释。然而，在这项工作中，我们考虑的是模型透明的设置：概率逻辑编程 (PLP)，这是一种将逻辑编程用于知识表示并将概率用于建模不确定性的范式。然而，给定一个查询，解释的通常概念与模型中每个随机变量的一组选择相关联。不幸的是，这样的集合并不能解释为什么查询为真，事实上，它可能包含与所考虑的查询实际上无关的选择。为了改进这种情况，本文提出了一种解释解释的方法，该方法基于为 PLP 定义一种新的查询驱动推理机制，其中证明用“选择表达式”进行标记，“选择表达式”是用于选择集的一种紧凑且易于操作的表示。证明树和选择表达式的结合使我们能够生成具有因果结构的易于理解的查询理由。