为约束编程提供用户友好解释
编程语言
2007-05-23 v2 软件工程
摘要
本文介绍了一套用于在解释性约束编程系统中提供用户友好解释的工具。其核心思想是将问题的约束表示为层次结构（树）。用户随后以该树中的一组可理解的节点（cut）进行表示。经典解释（系统约束集合）只需投影到该表示上，即可被任何用户理解。本文阐述了这一思想的主要优势。
引用
@article{arxiv.cs/0111037,
title = {User-friendly explanations for constraint programming},
author = {Narendra Jussien and Samir Ouis},
journal= {arXiv preprint arXiv:cs/0111037},
year = {2007}
}
备注
In A. Kusalik (ed), proceedings of the Eleventh International Workshop on Logic Programming Environments (WLPE'01), December 1, 2001, Paphos, Cyprus. cs.PL/0111042