Advertisement

Industrial Application of External Black-Box Functions in Constraint Programming Solver

  • Vladimir Sidorov
  • Vitaly Telerman
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2890)

Abstract

We examine the problem of interaction between the interval constraint programming solver and external computation algorithms that are considered by the solver as Black Boxes. Some techniques are used in order to resolve a contradiction between the intervals values of the constraint solver and exact values of Black Boxes. The proposed approach was developed and implemented in CATIA CAD/CAM system.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Mackworth, A.: Consistency in Networks of Relations, Artificial Intelligence, vol. 8, pp. 99–118 (1977)Google Scholar
  2. 2.
    Narin’yani, A.S.: Sub-definiteness and Basic Means of knowledge representation. Computers and Artificial Intelligence. — Bratislava, — N5 (1983)Google Scholar
  3. 3.
    Marti, P., Rueher, M.: A Distributed Cooperating Constraints Solving System. International Journal on Artificial Intelligence Tools 4(1-2), 93–113 (1995)CrossRefGoogle Scholar
  4. 4.
    Granvillers, L., Monfroy, E., Benhamou, F.: Symbolic-interval cooperation in constraint programming. In: Procs. of ISSAC 2001, ACM Press, New York (2001); Constraint Programming and Artificial Intelligence:Google Scholar
  5. 5.
    Telerman, V., Ushakov, D.: Subdefinite Models as a Variety of Constraint Programming. In: Proc. of the 8th Internat. Conf. on Tools with Artificial Intelligence, ICTAI 1996, pp. 157–163. IEEE Computer Society, Los Alamitos (1996)CrossRefGoogle Scholar
  6. 6.
    Shvetsov, I., Telerman, V., Ushakov, D.: NeMo+: Object-Oriented Constraint Programming Environment Based on Subdefinite Models. In: Smolka, G. (ed.) CP 1997. LNCS, vol. 1330, pp. 534–548. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  7. 7.
    Gurin, L.S., Dymarsky, Y.S., Merkulov, A.D.: Problems and methods of optimal allocation of resources. — Moscow: Sov. radio, p. 463 (1968) (in Russian)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Vladimir Sidorov
    • 1
  • Vitaly Telerman
    • 2
  1. 1.LEDAS Ltd.NovosibirskRussia
  2. 2.Dassault SystemesSuresnesFrance

Personalised recommendations