Modulare Regelprogrammierung

1 Einleitung.- 1.1 Motivation.- 1.2 Zielsetzung.- 1.3 Zusammenfassender Überblick über die Arbeit.- 2 Regelbasierte Programmierung.- 2.1 Grundlagen der Regelprogrammierung.- 2.2 Hauptprobleme und existierende Lösungsansätze.- 2.3 Folgerungen.- 3 Das Modulkonzept für Regelprogramme.- 3.1 Anforderungen an das Modulkonzept.- 3.2 Architektur von Regelsystemen.- 3.3 Typisierung von Fakten.- 3.4 Definition eines Regelmoduls.- 3.5 Verknüpfung von Regelmoduln durch Übergangsgraphen.- 3.6 Ausdrucksmächtigkeit von Übergangsgraphen.- 4 Systemunterstützung beim Regelprogrammieren.- 4.1 Möglichkeiten der Systemunterstützung.- 4.2 Unterstützung durch syntaxgesteuerte Editoren.- 4.3 Übersetzung in Regelform.- 4.4 Generische Regelmoduln.- 4.5 Ablaufumgebung und Testhilfsmittel.- 5 Parallel arbeitende Regelmoduln.- 5.1 Ziele und Anforderungen.- 5.2 Entwurfsaspekte bei parallelen Regelmoduln.- 5.3 Implementierungsvorschläge für parallele Regelmoduln.- 6 Schlußbemerkungen.- 6.1 Zusammenfassung.- 6.2 Implementierungen.- 6.3 Ausblick.- 7 Literaturverzeichnis.- Al Vollständige Syntax der verwendeten Regelsprache.- A2 Syntax und Ordnung der Faktentypen.- A3 Die Standardregeln jedes Regelmoduls.- A5 Glossar.- A6 Stichwortverzeichnis.