牛顿

非线性约束下的牛顿规划。本文介绍了非线性实约束上的约束规划语言Newton。牛顿源于将约束逻辑编程(CLP)语言在区间上的声明性质与数值分析中开发的高级区间技术(如区间牛顿法)相协调。它的核心概念是引入盒一致性的概念,它近似于人工智能中众所周知的弧一致性。盒一致性以合理的计算代价实现了有效的剪枝,并推广了一些传统的区间算子。牛顿在科学和工程中有着广泛的应用,包括非线性方程求解、无约束优化和约束优化。它在求解方程的基准点上与连续法相比具有竞争力,并且在优化问题上优于我们所知的基于区间的方法。