Modulare Regelprogrammierung

Inhaltsverzeichnis

• 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.