Advertisement

A Tool Kit for Knowledge Based Production Planning Systems

  • Stefan Böttcher

Abstract

This paper describes the logic programming language PROTOS-L and how to use it as a tool kit for the programming of knowledge based production planning system prototypes. PROTOS-L embeds transparent access to relational databases, supports the programming of deductive databases, provides a module concept similar to Modula-2 and contains a type concept with subtypes and polymorphism. The programming language PROTOS-L and the PROTOS-L system have been developed and implemented at IBM Stuttgart. PROTOS-L is currently used to reinsplement parts of production planning systems which have been developed at Sandoz AG in Basel and at Hoechst AG in Frankfurt. The investigated production planning applications need an integration of both concepts: read access to relational databases (which contain the relevant planning data) and a logic programming language for the implemention of heuristic rules (whirls control the planning strategy). In order to support both facilities, PHOTOS-L fully embeds database access into a logic programming language.

Keywords

Rapid Prototype Production Planning Database Access Heuristic Rule Production Step 
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. [Beierle, 1989]
    C. Beierle. Types, nodules and databases in the logic programming language PROTOS-L. In K. H. Bläsius, U. Hedtstiick, and C.-R. Rollinger, editors, Sorts and Types for Artificial Intelligence,Springer-Verlag, Berlin, Heidelberg, New York, 1989. (to appear).Google Scholar
  2. [Beierle and Böttcher, 1989]
    C. Beierle and S. Böttcher. PROTOS-L: Towards n knowledge base programming language. In Proceedings 3. GI-Kongreß Wissensbasierte Systeme, Informatik Fachberichte, Springer-Verlag, 1989.Google Scholar
  3. [Böttcher, 1989]
    S. Böttcher. Preidikative Selektion als Grundlage fur Transaktionssynchronisation und Datenintegritât. PhD thesis, FB Informatik, Univ. Dankfurt, 1989.Google Scholar
  4. [Böttcher, 1990a]
    S. Böttcher. Development and progranuuing of deductive databases with PROTOS-L. In L. Belady, editor, Proc. 2“ International Conference on Software Engineering and Knowledge Engineering,Skokie, Illinois, USA, 1990. (to appear).Google Scholar
  5. [Böttcher, 1990b]
    S. Böttcher. How to use PROTOS-L as a logic-based database progranuuing language. In H.-J. Appelrath, A.B. Cremers, and O. Herzog, editors, The EUREKA Project PRO TOS,Springer-Verlag, 1990. (to appear).Google Scholar
  6. [Böttcher and Beierle, 1989]
    S. Böttcher and C. Beierle. Data base support for the PROTOS-L system. Microprocessing and Microromputing, 27 (1–5): 25–30, August 1989.CrossRefGoogle Scholar
  7. [Eckhardt et al., 1985]
    H. Eckhardt, J. Edelmann, J. Koch, M. Mall, and J. W. Schmidt. Draft Report on the Database Programming Language DBPL. DBPL-Menlo 091–85, Univ. Dankfurt, 1985.Google Scholar
  8. [Meyer, 1989]
    C. Meyer. Regelauswertung auf Datenbanken im Rahmen des PROTOS-L-Systems. Diplomarbeit Nr. 630, Universität Stuttgart, December 1989.Google Scholar
  9. [Sauer, 1990]
    J. Saner. Design and implementation of a heuristic planning algorithm. In H.-J. Appelrath, A.B. Cremers, and O. Herzog, editors, The EUREKA Project PROTOS,Springer-Verlag, 1990. (to appear).Google Scholar
  10. [Sauer et al., 1989]
    J. Sauer, G. Micheaux, and L. Slahor. Wissensbasierte feinplanung in PROTOS. In Proceedings 3. GI-Kongreß Wissensbasierte Systeme, Informatik Fachberichte,Springer-Verleg, 1989.Google Scholar
  11. [Slahor et al., 1990]
    L. Slahor, F. Reuter, and H. Schildkredit. Scheduling problems: a user’s perspective. In H.-J. Appelrath, A.B. Creasers, and O. Herzog, editors, The EUREKA Project PROTOS,Springer-Verlag, 1990. (to appear).Google Scholar
  12. [Snnolka, 1988]
    C. Smolka. TEL (Version 0.9), Report and User Manual. SEKI-Report SR 87–17, FB Informatik, Univ. Kaiserslautern, 1988.Google Scholar
  13. [Wirth, 1983]
    N. Wirth. Programming in Modula-2. Springer, Berlin, Heidelberg, New York, 1983.MATHGoogle Scholar

Copyright information

© Springer-Verlag/Wien 1990

Authors and Affiliations

  • Stefan Böttcher
    • 1
  1. 1.Institute for Knowledge Based SystemsIBM Deutschland GmbH Scientific CenterStuttgart 80West Germany

Personalised recommendations