Advertisement

The Prince project and its applications

  • Pierre -Joseph Gailly
  • Wolfgang Krautter
  • Christophe Bisière
  • Sylvie Bescos
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 636)

Abstract

The Esprit project Prince aims at development of an industrial Constraint Logic Programing environment based on the Prolog III language. In parallel, the current technology is being validated within the project on representative real-world examples. This paper describes the current status of the three application domains which were selected to demonstrate the applicability and usefulness of CLP. These applications deal with industrial systems engineering, medium term banking planning and jobshop scheduling as well as multiple plants global planning in the chemical industry.

Keywords

Jobshop Schedule Global Plan Interest Rate Risk Qualitative Reasoning Machine Group 
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. 1.
    Allen, J.: Towards a General Theory of Action and Time. AI V. 23, pp. 123–154, 1984.Google Scholar
  2. 2.
    Appelrath, H.-J.: PROTOS: Prolog Tools for Building Expert Systems — a Project Overview. Procs. of the 1st. PROTOS Workshop, September 1989.Google Scholar
  3. 3.
    Berndsen, R., Berthier, F.: Goal Seeking in Qualitative Reasoning: an Implementation in CHIP. in Procs. of IMACS international symposium, March 1991.Google Scholar
  4. 4.
    Berthier, F.: Solving Financial Decision Problems in CHIP. Procs 2nd Conf. on Economics and Artificial Intelligence — CECOIA 2, pp. 233–238, 1990.Google Scholar
  5. 5.
    Broek, J., Daniels, H.: A Constraint Logic Programming Approach to ALM Modeling in Banks. Comp. Sci. in Economics and Management, Kluwer Acad. Press, 4(2), 1991.Google Scholar
  6. 6.
    Colmerauer, A.: An Introduction to PROLOG-III, CACM, Vol. 33, N, 7, July 1990.Google Scholar
  7. 7.
    Kuipers, B.: Qualitative Simulation. AI, V. 29, pp. 289–338, 1986.Google Scholar
  8. 8.
    Jaffar, J., Michaylov, S., Yap, R.: A Methodology for Managing Hard Constraints in CLP Systems. Procs. of the ACM SIGPLAN PLDI Conf., pp. 306–316, June 1991.Google Scholar
  9. 9.
    Lassez, C., McAloon, K., Yap, R.: Constraint Logic Programming and Option Trading. IEEE Expert, 2(3), 1987.Google Scholar
  10. 10.
    Leveson, N.G., Stolzy, J.L.: Safety Analysis Using Petri Nets. IEEE Trans. on Software Engineering, Vol. SE-13, No.3 (1987), pp. 386–397.Google Scholar
  11. 11.
    M. Nussbaum and L. Slahor. Production Planning and Scheduling: A Bottom-up Approach. Procs. of the 1st PROTOS Workshop, September 1989.Google Scholar
  12. 12.
    ESPRIT-Project 5246: PRINCE. Report 17: Specification of the FMEA application.Google Scholar
  13. 13.
    ESPRIT-Project 1106: Further Development of Prolog and its Validation by KBS in Technical Areas. Final Report Part 2: Validation. 1990Google Scholar
  14. 14.
    Weld,D.S.,de Kleer,J.: Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Pierre -Joseph Gailly
    • 1
  • Wolfgang Krautter
    • 2
  • Christophe Bisière
    • 3
  • Sylvie Bescos
    • 1
  1. 1.BIMEverbergBelgium
  2. 2.FAWUlmGermany
  3. 3.CEFILes MillesFrance

Personalised recommendations