Unterstützung der Kontrolle bei der Konfigurierung durch ein problemklassenspezifisches TMS

摘要: Ausgehend von den nichtmonotonen Abhangigkeiten zwischen Annahmen bei der Suche, die in vielen Konfigurationssystemen nicht oder nur ansatzweise reprasentiert werden, beschreiben wir Verwaltung und Operationalisierung IDAX. Das IDAX-System basiert auf einer problemklassenspezifischen Erweiterung eines Truth-Maintenance-Systems, das direkte Reprasentation automatische Abhangigkeiten, typischerweise wahrend Konfigurierung auftreten, ermoglicht. Die explizite ihre im TMS fuhrt zu wesentlichen Vereinfachung Kontrolle Suche Losungsraum.