Zusammenfassung
Ausgehend von den nichtmonotonen Abhängigkeiten zwischen Annahmen bei der Suche, die in vielen Konfigurationssystemen nicht oder nur ansatzweise repräsentiert werden, beschreiben wir die Verwaltung und Operationalisierung von Abhängigkeiten in IDAX. Das IDAX-System basiert auf einer problemklassenspezifischen Erweiterung eines Truth-Maintenance-Systems, das die direkte Repräsentation und automatische Verwaltung von Abhängigkeiten, die typischerweise während der Konfigurierung auftreten, ermöglicht. Die explizite Repräsentation von Abhängigkeiten und ihre Verwaltung im TMS führt zu einer wesentlichen Vereinfachung der Kontrolle bei der Suche im Lösungsraum.
Die hier vorgestellte Arbeit wurde teilweise durch die Deutsche Forschungsgemeinschaft, SFB 314: „Künstliche Intelligenz - Wissensbasierte Systeme“, Projekt X9 - CAbPlan gefördert.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
David Chapman. Planning for Conjunctive Goals. Artificial Intelligence, 32: 333–377, 1987.
Johan de Kleer. An Assumption-based TMS. Artificial Intelligence, 28: 127–161, 1986.
Johan de Kleer. Back to backtracking. In: Proc. of AAAI-86, Seite: 910–917, 1986.
Johan de Kleer. Extendig the atms. Artificial Intelligence, 28: 163–193, 1986.
Jon Doyle. A Truth Maintenance System. Artificial Intelligence, 12: 231–272, 1979.
Andreas Günter. Flexible Kontrolle in Expertensystemen zur Planung und Konfigurierung in technischen Domänen. DISKI — Dissertationen zur Künstlichen Intelligenz, Universität Hamburg, infix, St. Augustin, 1991.
Barbara Hayes-Roth. A Blackboard Architecture for Control. Artificial Intelligence, 26: 251–321, 1985.
Ulrich Junker. Relationships between Assumptions. Dissertation, Universität Kaiserslautern, 1992.
Norbert Kratz. Architektur eines wissensbasierten Systems zur Unterstützung der Konzeptionsphase in der Konstruktion. Dissertation, Universität Kaiserslautern, 1991.
John McDermott. RI: A Rule-Based Configurer of Computer Systems. Artificial Intelligence, 19: 39–88, 1982.
Michael Mehl, Jürgen Paulokat, Eric Schaumlöffel, Peter Spieker und Elmar Then. IDA — Ein Expertensystem zur Konzeption von Vorrichtungselementen. SEKI Working Paper: SWP-90-06, Universität Kaiserslautern, 1990.
Charles Petrie. Reason-Maintenance in Expert-Systems. KI, (2): 54–60, 1989.
Charles Petrie. Context Maintenance. In: Proceedings of AAAI-91, Menlo Park, California, 1991. MIT Press.
Charles Petrie. Planning and Replanning with Reason Maintenance. Dissertation, University of Texas, Austin, 1991.
Frank Puppe. Einführung in Expertensysteme. Springer-Verlag, 1991.
Helmuth Ritzer. Konzeption und Implementierung einer TMS-basierten Komponente zur Verwaltung von Abhängigkeiten bei der Konfiguration und Planung. Diplomarbeit, Universität Kaiserslautern, 1992.
Ingo Syska und Matthias Schick. Verwaltungskonzepte für die dynamische Wissensbasis. In: Roman Cunis, Andreas Günter und H. Strecker (Herausgeber), Das PLAKON-Buch. Springer, 1991.
Mark Steffik. Planning and Meta-Planning (MOLGEN: Part 2). Artificial Intelligence, 16: 141–170, 1981.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Paulokat, J., Ritzer, H. (1993). Unterstützung der Kontrolle bei der Konfigurierung durch ein problemklassenspezifisches TMS. In: Puppe, F., Günter, A. (eds) Expertensysteme 93. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78073-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-78073-8_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56464-5
Online ISBN: 978-3-642-78073-8
eBook Packages: Springer Book Archive