Salek, Kambiz: Implementation und Verifikation eines generischen wissensbasierten Netzwiederaufbau-Systems

1	EINLEITUNG	1
2	ARCHITEKTUR DES GESAMTSYSTEMS	7
3	AUSWAHLTREFFENDE DIENSTPROGRAMME	23
4	ZENTRALE STEUERUNGSKOMPONENTE	47
5	KONSISTENZPRÜFUNGS- UND WISSENSERWERBSKOMPONENTE	87
6	ERKLÄRUNGS- UND DIALOGKOMPONENTE	103
7	VERIFIKATION DES GENERISCHEN NETZWIEDERAUFBAU-SYSTEMS	123
8	ZUSAMMENFASSUNG UND AUSBLICK	145
	ANHANG	149
A	Verwendete Regel-Syntax	151
B	Beispiel für die prinzipielle Vorgehensweise bei der Abarbeitung einer Regel-Bedingung	153
C	Funktion der Wissenserwerbskomponente	155
	LITERATURVERZEICHNIS	163
	Veröffentlichungen im Rahmen dieser Arbeit	175
	Im Rahmen dieser Arbeit entstandene Studien- und Diplomarbeiten	177