Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Improved Interval Constraint Propagation for Constraints on Partial Derivatives

Evgueni PetrovContact Information and Frédéric BenhamouContact Information

(7)  IRIN — Université de Nantes, 2 rue de la Houssiniére, BP 92208, 44322 Nantes Cedex 03, France
Abstract
Automatic differentiation (AD) automatically transforms programs which calculate elementary functions into programs which calculate the gradients of these functions. Unlike other differentiation techniques, AD allows one to calculate the gradient of any function at the cost of at most 5 values of the function (in terms of time). Interval constraint programming (ICP) is a part of constraint programming focused on representation and processing of nonlinear constraints. We adapt AD to the context of ICP and obtain an algorithm which transforms elementary functions into constraints specifying their gradient. We describe some experiments with implementation of our algorithm in the logic programming language ECLiPSe.
Financially supported by Centre Franco-Russe Liapunov (Project 06-98), by European project COCONUT IST-2000-26063.

Contact Information Evgueni Petrov
Email: evgueni.petrov@irin.univ-nantes.fr

Contact Information Frédéric Benhamou
Email: frederic.benhamou@irin.univ-nantes.fr
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.108 • Server: mpweb19
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)