布兰德，塞巴斯蒂安 关于基于规则的约束编程中冗余规则的注释。 （英语） Zbl 1023.68666号 O'Sullivan，Barry（编辑），约束的最新进展。ERCIM/CologNet约束求解和约束逻辑编程联合国际研讨会，爱尔兰科克，2002年6月19-21日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。2627, 109-120 (2003). 概述：有时可以用基于规则的方式方便地描述约束传播。然后传播是使用规则进行定点计算。在没有特定策略指导不动点计算的典型情况下，最好有一组最小的规则。我们提出了一个规则冗余的自然准则，并描述了一类规则的测试。通过将其应用于两种重要的自动规则生成方法中的几个规则集，可以证明其相关性。关于整个系列，请参见[Zbl 1018.00014号]. MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68N17号 逻辑编程 软件：ELAN公司 PDF格式BibTeX公司 XML格式引用 \textit{S.Brand}，莱克特。注释计算。科学。2627109-120（2003年；Zbl 1023.68666） 全文： 链接