Knowledge based PPS applications in PROTOS-L

  • Christoph Beierle
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 636)


The basic concepts of the logic programming language PROTOS-L extending ordinary logic programming are briefly described, focussing on types, modules, and database access. Two of the knowledge based PPS applications that have been realized in PROTOS-L are presented. One deals with single step fiber production, and the other one supports distributed planning in a three-level PPS model of global, distributed, and local planning.


Logic Programming Local Planning Type Check Deductive Database Logic Programming Language 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    H.-J. Appelrath, A. B. Cremers, and O. Herzog. The Eureka Project PROTOS. Stuttgart, 1990.Google Scholar
  2. [2]
    C. Beierle. An overview on planning applications in PROTOS-L. In R. Vichnevetsky and J. H. Miller, editors, Proceedings 13th IMACS World Congress on Computation and Applied Mathematics, Dublin, Ireland, July 1991.Google Scholar
  3. [3]
    C. Beierle. Types, modules and databases in the logic programming language PROTOS-L. In K. H. Bläsius, U. Hedtstück, and C.-R. Rollinger, editors, Sorts and Types for Artificial Intelligence. LNAI 418, Springer-Verlag, Berlin, 1990.Google Scholar
  4. [4]
    C. Beierle, S. Böttcher, and G. Meyer. Draft Report of the Logic Programming Language PROTOS-L. IWBS Report 175, IBM Germany, Scientific Center, Inst. for Knowledge Based Systems, Stuttgart, 1991.Google Scholar
  5. [5]
    C. Beierle, G. Meyer, and H. Semle. Extending the Warren Abstract Machine to polymorphic order-sorted resolution. In V. Saraswat and K. Ueda, editors, Logic Programming: Proceedings of the 1991 International Symposium, pages 272–286, MIT Press, Cambridge, MA, 1991.Google Scholar
  6. [6]
    S. Böttcher. A tool kit for knowledge based production planning systems. In Proc. Int. Conference on Database and Expert System Applications, Vienna, 1990.Google Scholar
  7. [7]
    P. Burke and P. Prosser. A distributed asynchronous system for predicative and reactive scheduling. Artificial Intelligence in Engineering, 6(3):106–124, 1991.Google Scholar
  8. [8]
    P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, MA, 1989.Google Scholar
  9. [9]
    J. Jachemich. Global production planning and scheduling at the HOECHST fibres business unit. PROTOS Working Paper, Hoechst AG, Frankfurt, 1990.Google Scholar
  10. [10]
    J. Jachemich. Rule based scheduling in a fibre plant. In R. Vichnevetsky and J. H. Miller, editors, Proceedings 13th IMACS World Congress on Computation and Applied Mathematics, Dublin, Ireland, July 1991.Google Scholar
  11. [11]
    H. Jasper. A logic-based programming environment for interactive applications. In Proc. Human Computer Interaction International, Stuttgart, 1991.Google Scholar
  12. [12]
    T. Ludwig and B. Walter. EFTA: A database algebra for deductive retrieval of feature terms. Data and Knowledge Engineering, 6, 1990.Google Scholar
  13. [13]
    G. Meyer. A Poor Man's Deductive Database. IWBS Report, IBM Deutschland GmbH, Stuttgart, 1992.Google Scholar
  14. [14]
    G. Smolka. TEL (Version 0.9), Report and User Manual. SEKI-Report SR 87-17, FB Informatik, Universität Kaiserslautern, 1988.Google Scholar
  15. [15]
    O. Wauschkuhn. Untersuchung zur verteilten Produktionsplanung mit Methoden der logischen Programmierung. Studienarbeit Nr. 1088, Universität Stuttgart und IBM Deutschland GmbH, Stuttgart, March 1992.Google Scholar
  16. [16]
    H. Wittmann. An Example for Knowledge Based Production Planning with PROTOS-L. Diplomarbeit, Universität Stuttgart und IBM Deutschland GmbH, Stuttgart, 1991. (in German).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Christoph Beierle
    • 1
  1. 1.Scientific Center, Institute for Knowledge Based SystemsIBM GermanyStuttgart 80Germany

Personalised recommendations