Advertisement

Reasoning about linear constraints using parametric queries

  • Tien Huynh
  • Leo Joskowicz
  • Catherine Lassez
  • Jean-Louis Lassez
Invited Paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 472)

Abstract

We address the problem of building intelligent query systems to reason about linear arithmetic constraints. The central issue is the development of tools for testing solvability, for constraints representation, for incremental updates and for intelligent feedback. The concept of parametric queries introduced in the context of constraint logic programming provides the starting point for this study. The relevance of this approach is illustrated by examples from the domain of spatial reasoning.

Keywords

Extreme Point Canonical Form Constraint Satisfaction Problem Spatial Reasoning Implicit Equality 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [A]
    S. Achmanov, Programmation Linécire, Editions Mir, Moscou 1984.Google Scholar
  2. [F]
    J.B.J. Fourier, reported in: Analyse des travaux de l'Académie Royale des Sciences, pendant l'année 1824, Partie Mathématique, Histoire de l'Académie Royale des Sciences de l'Institut de France 7 (1827) xlvii–lv. (Partial English translation in: D.A. Kohler, Translation of a Report by Fourier on his work on Linear Inequalities, Opsearch 10(1973) 38–42.)Google Scholar
  3. [HL]
    T. Huynh and J-L. Lassez, “Practical Issues on the Projection of Polyhedral Sets,” IBM Research Report, T.J. Watson Research Center, 1990.Google Scholar
  4. [HLL]
    T. Huynh, C. Lassez and J-L. Lassez, “Fourier Algorithm Revisited,” 2nd International Conference on Algebraic and Logic Programming, Springer-Verlag Lecture Notes in Computer Sciences, 1990.Google Scholar
  5. [Ja]
    L. Joskowicz, “Reasoning about the Kinematics of Mechanical Devices,” International Journal of Artificial Intelligence in Engineering, Vol 4 No. 1, 1989.Google Scholar
  6. [Jb]
    L. Joskowicz, “Simplification and Abstraction of Kinematic Behaviors,” Proceedings of the 11th International Joint Conference on Artificial Intelligence, Detroit, 1989.Google Scholar
  7. [JS]
    L. Joskowicz and E. Sacks, “Incremental Kinematic Analysis of Machines,” forthcoming, 1990.Google Scholar
  8. [KKR]
    P. Kanellakis, G. Kuper and P. Revesz, “Constraint Query Languages,” PODS 90, Nashville.Google Scholar
  9. [L]
    J-L Lassez, “Parametric Queries, Linear Constraints and Variable Elimination,” DISCO 90, Springer-Verlag Lecture Notes in Computer Sciences, 1990.Google Scholar
  10. [LHM]
    J-L. Lassez, T. Huynh and K. McAloon, “Simplification and Elimination of Redundant Arithmetic Constraints,” Proceedings of NACLP 89, MIT Press.Google Scholar
  11. [LM]
    J-L. Lassez and M.J. Maher, “On Fourier's Algorithm for Linear Arithmetic Constraints,” IBM Research Report, T.J. Watson Research Center, 1988.Google Scholar
  12. [LMc88]
    J-L. Lassez and K. McAloon, “Applications of a Canonical Form for Generalized Linear Constraints,” Proceedings of the FGCS Conference, Tokyo, December 1988, 703–710.Google Scholar
  13. [LMc89a]
    J-L. Lassez and K. McAloon, “A Canonical Form for Generalized Linear Constraints,” IBM Research Report, T.J. Watson Research Center, 1989.Google Scholar
  14. [LMc89b]
    J-L. Lassez and K. McAloon, “Independence of Negative Constraints,” TAPSOFT 89, Advanced Seminar on Foundations of Innovative Software Development, LNCS 351 Springer Verlag 89.Google Scholar
  15. [LMc90]
    J-L Lassez, K. McAloon, “A Constraint Sequent Calculus,” LICS 90. Philadelphia.Google Scholar
  16. [LW]
    T. Lozano-Pérez, and M. Wesley, “An algorithm for Planning Collision-Free Paths among Polyhedral Obstacles,” Communications of the ACM, Vol. 22, 1979.Google Scholar
  17. [M]
    M. Maher, “A Logic Semantics for a class of Committed Choice Languages,” Proceedings of ICLP4, MIT Press, 1987.Google Scholar
  18. [S]
    V. Saraswat, “Concurrent Constraint Logic Programming,” MIT Press, to appear.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Tien Huynh
    • 1
  • Leo Joskowicz
    • 1
  • Catherine Lassez
    • 1
  • Jean-Louis Lassez
    • 1
  1. 1.IBM T.J. Watson Research CenterYorktown Heights

Personalised recommendations