Abstract
Parts lists in motor-industries are very complex and as well very dynamic entities. They are changed up to 600 times a year. New parts are constructed in the context of an already existing parts list. Verifying and certifying the completeness of such lists is an expensive and time-intensive job which requires several experts' work. In this paper we present the results of a feasibility study performed together with the Messrs. Wilhelm KARMANN GmbH. The goal was to verify the completeness of parts lists of the tailgates of the GOLF. To fulfil this task we developed the SPOCK system on the basis of the configuration tool PLAKON [Cunis et al. 1991]. At the end all missing and surplus parts of variants parts lists were identified, even those that were missed by the experts of Karmann.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Bachmann, Reinhard: Gründe und Bedingungen des Erfolgs wissensbasierter Konfigurationssysteme, in: KI 1/93, pp. 48–50 (1993).
Cunis, R., A.Günter, H.Strecker (1991): Das PLAKON-Buch. Springer-Verlag, Informatik Fachberichte 266.
Descotte, Y., J. Latome: Making Compromises among Antagonist Constraints in a Planner, in: Artificial Intelligence Journal Vol. 27, pp. 183–217 (1985).
Domcke, J., Gieseke, W., Ksell, P., Lenschow, N.: “Studienprojekte jam Beispiel SPOCK”, in: KI 5/95.
Makinson, Davis, Carlos Alchourron: On the Logic of Theory Change: Safe Contraction, in: Studia Logica 44, pp. 405–422 (1985).
Makinson, Davis, Carlos Alchourron, Peter Gärdenfors: On the Logic of Theory Change: Partial Meet Functions for Contraction and Revision, in: Journal of Symbolic Logic 50, pp. 510–530 (1985).
McDermott, J.: R1: A Rule-Based Configurer of Computer Systems, in: Artificial Intelligence Journal Vol. 19 (1), pp. 39–88 (1982).
Paulokat, H.-J. (ed.): (A)TMS in Expert Systems, SEKI-Report SR 92-06. Univ. Kaiserslautern (1992).
Reincke, K. (1994): Prinzipienbasiertes Modellieren, Bericht des Instituts für Semantische Informationsverarbeitung der Universität Osnabrück.
Reiter, Raymond, Johan de Kleer: Foundations of Assumption-Based Truth Maintenance Systems: Preliminary Report, in: Proceedings of the AAAI-87, pp. 183–188 (1987).
Rollinger, C. R. (1995 a): Plausibilitätsaussagen über Stücklisten; Osnabrück 1994, Arbeitsmaterialien für den Kurs “Vollständigkeits-und Konsistenzüberprüfung von Stücklisten in der Automobilindustrie” der KIFS 95, 15 S.
Rollinger, C. R., O. Herzog (1994): Grundzüge eines Konzepts zum problemorientierten Technologietransfer, in KI-Sonderheft zur KI-94, pp. 57–61.
SPOCK-Projekt Abschlußbericht (1994), Bericht des Instituts für Semantische Informationsverarbeitung, Universität Osnabrück.
Wielinga, B. J., A. Th. Schreiber u. J. A. Breuker (1992): KADS: a modelling approach to knowledge engineering; in: Knowledge Aqkuisition 4; pp. 5–53.
Wright, Jon R., Elia S. Weixelbaum, Gregg T. Vesonder, Karen E. Brown, Stephen R. Palmer, Jay I. Berman, and Harry H. Moore: A Knowledge-Based Configurator That Supports Sales, Engineering, and Manufacturing at AT&T Network Systems, in: AI Magazine Vol. 14 (3), pp. 69–80 (1993).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Rollinger, C.R. (1997). SPOCK: A feasibility study on the completeness of parts lists. In: Freksa, C., Jantzen, M., Valk, R. (eds) Foundations of Computer Science. Lecture Notes in Computer Science, vol 1337. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0052109
Download citation
DOI: https://doi.org/10.1007/BFb0052109
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63746-2
Online ISBN: 978-3-540-69640-7
eBook Packages: Springer Book Archive