[论文解读] User-friendly explanations for constraint programming.

Narendra Jussien, Samir Ouis|arXiv (Cornell University)|Jan 1, 2001

Constraint Satisfaction and Optimization参考文献 7被引用 24

一句话总结

本文提出了一种基于分层树结构的约束规划解释系统，将复杂的约束集合映射为用户友好、易于理解的节点（即“切割”），构成约束层次结构。通过将经典约束解释投影到该结构上，用户能够直观理解问题无解的原因，显著提升了约束求解环境中的可用性。

ABSTRACT

AbstractIn this paper, we introduce a set of tools for providing user-friendlyexplanations in an explanation-based constraint programming system.The idea is to represent the constraints of a problem as an hierarchy(a tree). Users are then represented as a set of understandable nodesin that tree (a cut). Classical explanations (sets of system constraints)just need to get projected on that representation in order to be un-derstandable by any user. We present here the main interests of thisidea.Keywords: constraintenvironment, explanations, implementation 1 Introduction Classical constraint programming systems (such as Solver from Ilog, Chipfrom Cosytec or gnuProlog from INRIA) are helpless when there is no so-lution to the constraint system to be solved. In fact, only a no solutionmessage is provided. Users are left alone to find out why: is it because ofthe problem itself (no solution exists), an incorrect modelling, a bug in thesolver, etc.In order to promote constraint programming, the constraints communityneeds to address this issue. For example, a set of constraints that left alone

研究动机与目标

• 解决约束规划系统在无解时缺乏有意义反馈的问题。
• 通过将低层次的约束解释转化为人类可读的形式，提升用户对约束系统的理解。
• 开发一个将技术性约束集合映射为直观、分层表示的框架，以服务非专家用户。
• 通过结构化且可扩展的表示方式，使解释系统能够适应不同用户专业知识水平。

提出的方法

• 将问题的约束表示为分层树结构，其中每个节点对应一个约束的概念单元。
• 将用户友好的解释定义为“切割”——即层次结构中对用户有意义且可理解的节点集合。
• 将经典约束解释（例如冲突集合）投影到分层树上，以生成人类可读的论证。
• 利用层次结构抽象掉低层次的实现细节，聚焦于高层次的推理模式。
• 通过将系统级约束冲突映射到树中最具相关性和可解释性的节点，确保一致性。
• 通过遍历层次结构动态生成解释，以识别用户查询的最小且有意义的解释。

实验结果

研究问题

• RQ1 如何在约束规划系统中将约束解释转化为用户友好的、人类可读的形式？
• RQ2 何种结构化表示能够同时支持机器处理和用户对约束冲突的理解？
• RQ3 分层树模型能否有效将复杂的约束集合抽象为终端用户可理解的组件？
• RQ4 如何将经典约束解释投影到以用户为中心的层次结构上，以保持正确性与清晰性？

主要发现

• 分层树模型成功地将低层次的约束冲突映射为高层次、用户可理解的解释。
• 通过在层次结构中识别出代表最小有意义约束集合的“切割”，实现了用户友好的解释。
• 将经典解释投影到层次结构上，在保持逻辑正确性的同时增强了可解释性。
• 该方法使非专家用户无需掌握约束逻辑或求解器内部机制，也能诊断无解结果。