Abstract: "Configuration problems are usually overspecified so that the real art lies in finding the right compromises. A competent configuration system can do that. It assesses a problem before jumping into the solution process. It identifies unsolvable subproblems for which compromises must b...

Ausführliche Beschreibung

Bibliographische Detailangaben

Format:	Buch
Sprache:	English
Veröffentlicht:	Sankt Augustin 1990
Schriftenreihe:	Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: Arbeitspapiere der GMD 473 Subreihe Künstliche Intelligenz 7
Schlagworte:	Knowledge acquisition (Expert systems)
Zusammenfassung:	Abstract: "Configuration problems are usually overspecified so that the real art lies in finding the right compromises. A competent configuration system can do that. It assesses a problem before jumping into the solution process. It identifies unsolvable subproblems for which compromises must be negotiated and locates critical ones that must be handled with priority. While problem solving it detects the real causes of deadends as early as possible and proposes relaxations for recovery. Our approach to competence is motivated by a configuration system for office room allocation. We characterize some manifestations of competent behavior and illustrate them from our application We derive a functional architecture with modules for feasibility tests, cost assessment, assessment of missing or unreliable knowledge, problem relaxation, etc. Basic to many of these modules is the ability to abstract a concrete problem, either by dropping requirements, by weakening the conditions of the requirements, or by suitably changing the world. We sketch a problem solving strategy which solves a concrete problem by decomposing it into abstractions and merging their abstract solutions.
Beschreibung:	10 S.